DOI,IST REx ID,Title of publication
10.1007/3-540-61604-7_73,4495,A space-efficient on-the-fly algorithm for real-time model checking
10.1109/LICS.1996.561342 ,4519,The theory of hybrid automata
10.1007/3-540-61474-5,4585, 8th International Conference on Computer Aided Verification
10.1109/LICS.1996.561320,4588,Reactive modules
10.1145/227595.227602,4610,The benefits of relaxing punctuality
10.1109/32.489079,4611,Automatic symbolic verification of embedded systems
10.1007/BFb0020931,4612,Hybrid Systems III: Verification and Control
10.1016/0306-4522(96)00316-8,2492,Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum
10.1016/0304-3940(95)12248-6,2562,"Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody"
10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0,2564,Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat
10.1016/0304-3940(95)12299-0,2565,"Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons"
10.1016/0304-3940(96)12489-7,2566,"Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat"
10.1016/0006-8993(96)00064-9,2567,Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat
10.1016/0304-3940(96)12519-2,2568,"Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat"
10.1016/0304-3940(96)12654-9,2569,GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat
10.1038/381523a0,2570,Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone
10.1126/science.273.5275.645,2571,Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2
10.1002/(SICI)1096-9861(19960805)371:4<567::AID-CNE6>3.3.CO;2-M,2572,Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study
10.1016/0165-3806(96)00080-6,2573,Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum
10.1111/j.1460-9568.1996.tb01611.x,2574, Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus