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.
43 Publications
1994 | Published | Conference Paper | IST-REx-ID: 11857
Fully dynamic cycle-equivalence in graphs
M. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.
View
| DOI
M. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.
1994 | Published | Journal Article | IST-REx-ID: 2488
Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex
T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 60 (1994) 199–211.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 60 (1994) 199–211.
1994 | Published | Journal Article | IST-REx-ID: 2489
Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.
1994 | Published | Journal Article | IST-REx-ID: 2490
Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system
Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya, A. Ichikawa, Neuroscience 62 (1994) 919–928.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya, A. Ichikawa, Neuroscience 62 (1994) 919–928.
1994 | Published | Book Chapter | IST-REx-ID: 2545
Molecular diversity of glutamate receptors and their physiological functions
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto, in:, Experientia Supplementum, Birkhäuser, 1994, pp. 71–80.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto, in:, Experientia Supplementum, Birkhäuser, 1994, pp. 71–80.
1994 | Published | Conference Paper | IST-REx-ID: 2548
Induction mechanism of long term depression in cultured Purkinje neurons
T. Hirano, K. Kasono, R. Shigemoto, S. Nakanishi, in:, Biomedical Research Foundation, 1994, pp. 79–81.
View
T. Hirano, K. Kasono, R. Shigemoto, S. Nakanishi, in:, Biomedical Research Foundation, 1994, pp. 79–81.
1994 | Published | Journal Article | IST-REx-ID: 2549
Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat
Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 249–274.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 249–274.
1994 | Published | Journal Article | IST-REx-ID: 2550 | 
Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction
N. Okamoto, S. Hori, C. Akazawa, Y. Hayashi, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 269 (1994) 1231–1236.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N. Okamoto, S. Hori, C. Akazawa, Y. Hayashi, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 269 (1994) 1231–1236.
1994 | Published | Journal Article | IST-REx-ID: 2551
Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina
C. Akazawa, H. Ohishi, Y. Nakajima, N. Okamoto, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 171 (1994) 52–54.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
C. Akazawa, H. Ohishi, Y. Nakajima, N. Okamoto, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 171 (1994) 52–54.
1994 | Published | Journal Article | IST-REx-ID: 2552
Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, N. Mizuno, Neuroscience Letters 166 (1994) 135–138.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, N. Mizuno, Neuroscience Letters 166 (1994) 135–138.
1994 | Published | Journal Article | IST-REx-ID: 2553
Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney
Y. Sugimoto, T. Namba, R. Shigemoto, M. Negishi, A. Ichikawa, S. Narumiya, American Journal of Physiology 266 (1994) F823–F828.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
Y. Sugimoto, T. Namba, R. Shigemoto, M. Negishi, A. Ichikawa, S. Narumiya, American Journal of Physiology 266 (1994) F823–F828.
1994 | Published | Journal Article | IST-REx-ID: 2554
Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, S. Nakanishi, Cell 77 (1994) 361–369.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, S. Nakanishi, Cell 77 (1994) 361–369.
1994 | Published | Journal Article | IST-REx-ID: 2555
Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994) 1245–1255.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994) 1245–1255.
1994 | Published | Journal Article | IST-REx-ID: 2557
Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno, Neuron 13 (1994) 55–66.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno, Neuron 13 (1994) 55–66.
1994 | Published | Journal Article | IST-REx-ID: 2713
Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator
L. Erdös, Duke Mathematical Journal 76 (1994) 541–566.
View
| DOI
| Download None (ext.)
L. Erdös, Duke Mathematical Journal 76 (1994) 541–566.
1994 | Published | Conference Paper | IST-REx-ID: 4420
Proving safety properties of hybrid systems
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 431–454.
View
| DOI
| Download None (ext.)
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 431–454.
1994 | Published | Conference Paper | IST-REx-ID: 4440
Verification methods for the divergent runs of clock systems
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
1994 | Published | Journal Article | IST-REx-ID: 4501 |
Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
View
| DOI
| Download None (ext.)
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
1994 | Published | Journal Article | IST-REx-ID: 4503
Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
View
| DOI
| Download None (ext.)
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
1994 | Published | Conference Paper | IST-REx-ID: 4586
Finitary fairness
R. Alur, T.A. Henzinger, in:, Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61.