DOI,IST REx ID,Title of publication
10.1111/j.1469-7793.1997.593ba.x,3485,Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus
10.1111/j.1469-7793.1997.359be.x,3486,Action potential propagation into the presynaptic dendrites of rat mitral cells
10.1007/PL00009291,4022,Cutting dense point sets in half
10.1016/S0896-6273(01)80045-3,4174,Floating head and masterblind regulate neuronal patterning in the roof of the forebrain
10.1093/genetics/147.2.879,4285,The evolution of recombination: Removing the limits to natural selection
10.1007/3-540-63165-8_213,4441,Discrete-time control for rectangular hybrid automata
10.1007/3-540-63166-6_48,4494,HyTech: A model checker for hybrid systems
10.1007/3-540-63141-0_19,4496,Fair simulation
10.1007/3-540-63141-0_6,4583,Modularity for timed and hybrid systems
10.1007/3-540-61422-2_117,11804,Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
10.1007/3-540-61440-0_136,11910,Improved sampling with applications to dynamic graph algorithms
null,11927,"Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology"
10.1086/177628,17822,H 2 cooling of primordial gas triggered by UV irradiation
10.1086/177343,17834,Cosmological formation of low-mass objects
10.1007/BFb0020931,4612,Hybrid Systems III: Verification and Control
10.1007/BF01955043,4027,Lines in space: Combinatorics and algorithms
10.1242/dev.123.1.391,4164,"Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio"
10.1242/dev.123.1.1 ,4212,"The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio"
10.1007/3-540-61604-7_74,4443,State equivalences for rectangular hybrid automata
10.1007/3-540-61604-7_73,4495,A space-efficient on-the-fly algorithm for real-time model checking