DOI,IST REx ID,Title of publication
10.1111/j.1558-5646.1995.tb04431.x,4298,"Appendix to ""A simulation study of multilocus clines"" by S J E Baird"
null,4428,Automatic analysis of hybrid systems
10.1007/3-540-60472-3_14,4447,HyTech: The Cornell Hybrid Technology Tool
10.1007/3-540-60472-3_13,4448,A note on abstract-interpretation strategies for hybrid automata
10.1007/3-540-60045-0_53,4450,Algorithmic analysis of nonlinear hybrid systems
10.1007/3-540-60630-0_3,4497,A user guide to HyTech
10.1109/SFCS.1995.492576,4498,Computing simulations on finite and infinite graphs
10.1109/REAL.1995.495196 ,4499,HyTech: The next generation
10.1007/3-540-60084-1_93,4500,The expressive power of clocks
10.1145/225058.225162,4502,What's decidable about hybrid automata?
10.1007/3-540-60084-1_85,4518,Hybrid automata with finite bisimulations
10.1007/3-540-60045-0_49,4587,Local liveness for compositional modeling of fair reactive systems
10.1016/0304-3975(94)00202-T,4613,The algorithmic analysis of hybrid systems
10.1007/978-1-4020-2686-7_21,2465,Auxin transport
10.1002/cne.903600402,2491,"Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain"
10.1016/0006-8993(95)00022-I,2556,Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat
null,2558,Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents
10.1016/0092-8674(95)90354-2,2559,Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene
10.1016/0304-3940(95)11991-5,2560,Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat
10.1016/0304-3940(95)12207-9,2561,"Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat"
