_id,doi,title
4263,10.1006/tpbi.2001.1557,Neutral evolution in spatially continuous populations
4347,10.1080/106351502753475862,Inferring the root of a phylogenetic tree
4349,10.1093/oxfordjournals.molbev.a004175,Bayesian model adequacy and choice in phylogenetics
4407,10.1016/S0304-3975(00)00308-X,Axioms for real-time logics
4413,10.1145/774572.774592,Convertibility verification and converter synthesis: Two faces of the same coin
4414,,Games in open systems verification and synthesis
4421,10.1007/3-540-45828-X_5,A Giotto-based helicopter control system
4422,10.1007/3-540-45793-3_20,Trading probability for fairness
4423,10.3182/20020721-6-ES-1901.01628,Embedded software design and system integration for rotorcraft UAV using platforms
4444,10.1145/512529.512567,"The embedded machine: predictable, portable real-time code"
4470,10.1007/3-540-45828-X_7,Time-safety checking for embedded programs
4471,10.1007/3-540-45465-9_55,Synthesis of uninitialized systems
4472,10.1007/3-540-45657-0_45,Temporal safety proofs for systems code
4473,10.1145/509705.509707,An assume-guarantee rule for checking simulation
4474,10.1006/inco.2001.3085,Fair simulation
4476,10.1145/503272.503279,Lazy abstraction
2604,10.1002/cne.1114,Light and electron microscopic study of the distribution of substance P-immunoreactive fibers and neurokinin-1 receptors in the skin of the rat lower lip
2605,10.1016/S0306-4522(01)00058-6,Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum
2606,10.1046/j.0953-816X.2001.01494.x,Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors
2607,10.1006/mcne.2001.0993,Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms