Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9112 Publications
1995 | Conference Paper | IST-REx-ID: 4502 | 
Henzinger TA, Kopke P, Puri A, Varaiya P. 1995. What’s decidable about hybrid automata? Proceedings of the 27th annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 373–382.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 417–428.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. 1995. Hybrid automata with finite bisimulations. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 324–335.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of fair reactive systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 166–179.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 4613
Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 138(1), 3–34.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 6162
de Bono M, Zarkower D, Hodgkin J. 1995. Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. 9(2), 155–167.
View
| DOI
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 1949 |
Sazanov LA, Jackson J. 1994. Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters. 344(2–3), 109–116.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 1953 |
Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. 1994. Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. FEBS Letters. 355(2), 114–116.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2488
Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience. 60(1), 199–211.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2489
Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. 1994. Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. 347(1), 150–160.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2490
Sugimoto Y, Shigemoto R, Namba T, Negishi M, Mizuno N, Narumiya S, Ichikawa A. 1994. Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system. Neuroscience. 62(3), 919–928.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Book Chapter | IST-REx-ID: 2545
Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. 1994.Molecular diversity of glutamate receptors and their physiological functions. In: Experientia Supplementum. vol. 71, 71–80.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2549
Nakaya Y, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. Journal of Comparative Neurology. 347(2), 249–274.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2550 |
Okamoto N, Hori S, Akazawa C, Hayashi Y, Shigemoto R, Mizuno N, Nakanishi S. 1994. Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry. 269(2), 1231–1236.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2553
Sugimoto Y, Namba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. 1994. Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. 266(5), F823–F828.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. 1994. Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. 166(2), 135–138.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2551
Akazawa C, Ohishi H, Nakajima Y, Okamoto N, Shigemoto R, Nakanishi S, Mizuno N. 1994. Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience Letters. 171(1–2), 52–54.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Conference Paper | IST-REx-ID: 2548
Hirano T, Kasono K, Shigemoto R, Nakanishi S. 1994. Induction mechanism of long term depression in cultured Purkinje neurons. Unknown (0388-6107), Biomedical Research, vol. 15, 79–81.
View
1994 | Journal Article | IST-REx-ID: 2555
Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. 1994. Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. 12(6), 1245–1255.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC