DOI,IST REx ID,Title of publication
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"
10.1016/0168-0102(95)00961-R,2563,Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat
10.1007/978-3-0348-9092-2_13,2712,Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals
10.1007/BF02099152,2724,Magnetic Lieb-Thirring inequalities
10.1016/0005-2728(95)00096-2,1943,Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation
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.1101/gad.9.2.155,6162,Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1
10.1007/978-1-4419-1229-9_16,3454,Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices