_id,doi,title
2487,10.1002/cne.903350209, Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study
2536,10.1016/S0021-9258(19)50280-0,Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate
2537,10.1523/JNEUROSCI.13-04-01372.1993,"Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4"
2538,10.1095/biolreprod49.4.675,Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization
2539,10.1016/s0021-9258(18)53849-7 ,Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits
2540,10.1016/0306-4522(93)90485-X,"Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat"
2541,10.1016/0304-3940(93)90311-8,Immunocytochemical localization of rat substance P receptor in the striatum
2542,10.1016/0304-3940(93)90227-C,"Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain"
2543,10.1016/0896-6273(93)90188-W, Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide
2544,10.1038/366687a0,Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb
2546,10.1016/0006-8993(93)91548-7,Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons
2723,10.1007/BF00761110,Ground-state density of the Pauli operator in the large field limit
1947,10.1016/0005-2728(93)90177-H,Activation and inhibition of mitochondrial transhydrogenase by metal ions
1948,10.1042/bst021260s,Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria 
1950,10.1042/bst0211010,Proton-translocating transhydrogenase in bacteria
4589,10.1006/inco.1993.1025,Real-time logics: Complexity and expressiveness
4616,10.1109/REAL.1993.393520 ,Automatic symbolic verification of embedded systems
4618,10.1007/3-540-57318-6_30,Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
4619,10.1145/167088.167242,Parametric real-time reasoning
4620,10.1007/3-540-56922-7_16,Computing accumulated delays in real-time systems