_id,doi,title
4426,10.1007/BFb0020961,Linear phase-portrait approximations for nonlinear hybrid systems
4427,10.1007/BFb0027241,Using HyTech to synthesize control parameters for a steam boiler
4443,10.1007/3-540-61604-7_74,State equivalences for rectangular hybrid automata
4495,10.1007/3-540-61604-7_73,A space-efficient on-the-fly algorithm for real-time model checking
4519,10.1109/LICS.1996.561342 ,The theory of hybrid automata
2465,10.1007/978-1-4020-2686-7_21,Auxin transport
2491,10.1002/cne.903600402,"Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain"
2556,10.1016/0006-8993(95)00022-I,Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat
2558,,Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents
2559,10.1016/0092-8674(95)90354-2,Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene
2560,10.1016/0304-3940(95)11991-5,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
2561,10.1016/0304-3940(95)12207-9,"Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat"
2563,10.1016/0168-0102(95)00961-R,Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat
2712,10.1007/978-3-0348-9092-2_13,Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals
2724,10.1007/BF02099152,Magnetic Lieb-Thirring inequalities
11677,10.1007/bf01189067,Fully dynamic biconnectivity in graphs
11684,10.1109/SFCS.1995.492668,Fully dynamic biconnectivity and transitive closure
1943,10.1016/0005-2728(95)00096-2,Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation
4587,10.1007/3-540-60045-0_49,Local liveness for compositional modeling of fair reactive systems
4613,10.1016/0304-3975(94)00202-T,The algorithmic analysis of hybrid systems