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.

8923 Publications


1995 | Published | Conference Paper | IST-REx-ID: 4450
T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 225–238.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4497
T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4498
M. H. Henzinger, T. A. Henzinger, and P. Kopke, “Computing simulations on finite and infinite graphs,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United States of America, 1995, pp. 453–462.
View | DOI
 

1995 | Published | Conference Paper | IST-REx-ID: 4499
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in Proceedings 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 1995, pp. 56–65.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4500
T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 417–428.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4502 | OA
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” in Proceedings of the 27th annual ACM symposium on Theory of computing, Las Vegas, NV, United States of America, 1995, pp. 373–382.
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4518
T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 324–335.
View | DOI | Download None (ext.)
 

1994 | Published | Journal Article | IST-REx-ID: 2488
T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex,” Neuroscience, vol. 60, no. 1. Elsevier, pp. 199–211, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 2489
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, and N. Mizuno, “Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats,” Journal of Comparative Neurology, vol. 347, no. 1. Wiley-Blackwell, pp. 150–160, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 2490
Y. Sugimoto et al., “Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system,” Neuroscience, vol. 62, no. 3. Elsevier, pp. 919–928, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Book Chapter | IST-REx-ID: 2545
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, and R. Shigemoto, “Molecular diversity of glutamate receptors and their physiological functions,” in Experientia Supplementum, vol. 71, Birkhäuser, 1994, pp. 71–80.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Conference Paper | IST-REx-ID: 2548
T. Hirano, K. Kasono, R. Shigemoto, and S. Nakanishi, “Induction mechanism of long term depression in cultured Purkinje neurons,” presented at the Unknown (0388-6107), 1994, vol. 15, no. SUPPL. 1, pp. 79–81.
View
 

1994 | Published | Journal Article | IST-REx-ID: 2549
Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat,” Journal of Comparative Neurology, vol. 347, no. 2. Wiley-Blackwell, pp. 249–274, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 2550 | OA
N. Okamoto et al., “Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction,” Journal of Biological Chemistry, vol. 269, no. 2. American Society for Biochemistry and Molecular Biology, pp. 1231–1236, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 2551
C. Akazawa et al., “Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina,” Neuroscience Letters, vol. 171, no. 1–2. Elsevier, pp. 52–54, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 2552
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, and N. Mizuno, “Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat,” Neuroscience Letters, vol. 166, no. 2. Elsevier, pp. 135–138, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 2553
Y. Sugimoto, T. Namba, R. Shigemoto, M. Negishi, A. Ichikawa, and S. Narumiya, “Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney,” American Journal of Physiology, vol. 266, no. 5. American Physiological Society, pp. F823–F828, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 2554
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, and S. Nakanishi, “Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells,” Cell, vol. 77, no. 3. Cell Press, pp. 361–369, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 2555
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, and T. Hirano, “Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells,” Neuron, vol. 12, no. 6. Elsevier, pp. 1245–1255, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 2557
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex,” Neuron, vol. 13, no. 1. Elsevier, pp. 55–66, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed