Sciweavers

3330 search results - page 54 / 666
» software 2010
Sort
View
BC
2010
87views more  BC 2010»
13 years 5 months ago
Bifurcations of lurching waves in a thalamic neuronal network
Thomas M. Wasylenko, Jaime Cisternas, Carlo R. Lai...
ENTCS
2010
80views more  ENTCS 2010»
13 years 5 months ago
OOPS: An S5n Prover for Educational Settings
Gert van Valkenhoef, Elske van der Vaart, Rineke V...
ENTCS
2010
67views more  ENTCS 2010»
13 years 5 months ago
A Pure Object-Oriented Embedding of Attribute Grammars
Anthony M. Sloane, Lennart C. L. Kats, Eelco Visse...
ENTCS
2010
110views more  ENTCS 2010»
13 years 5 months ago
Domain-Specific Languages for Composable Editor Plugins
Lennart C. L. Kats, Karl Trygve Kalleberg, Eelco V...