_id,doi,title
4276,10.1017/S0016672300239220,Population genetics of multiple loci
4433,10.1007/3-540-46419-0_21,Fair bisimulation
4434,10.1007/3-540-46430-1_15,Robust undecidability of timed and hybrid systems
4435,10.1007/3-540-46419-0_11,Symbolic model checking for rectangular hybrid systems
4439,10.1007/3-540-46541-3_2,A classification of symbolic transition systems
4481,10.1007/3-540-46430-1_14,Beyond HyTech: Hybrid systems analysis using interval numerical methods
4482,10.1007/978-3-540-45099-3_12,Abstract interpretation of game properties
4483,10.1109/ICCAD.2000.896481,Decomposing refinement proofs using assume-guarantee reasoning
4512,10.1007/3-540-44929-9_38,Masaccio: A formal model for embedded components
4513,10.1007/978-3-642-59615-5,The theory of hybrid automata
2591,10.1016/S0304-3940(98)00926-4,Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve
2592,10.1523/JNEUROSCI.19-03-00955.1999,Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion
2593,10.1523/JNEUROSCI.19-09-03545.1999,NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord
2594,10.1016/S0304-3940(99)00283-9,The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord
2595,10.1016/S0028-3908(99)00124-0,mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones
2596,10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D,Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^
2597,10.1016/S0028-3908(99)00103-3,Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses
2711,10.1007/978-3-0348-8745-8_20,Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation
2730,10.1215/S0012-7094-99-09604-7,"Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate"
2783,10.1063/1.870178 ,Flow state multiplicity in convection