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.

8924 Publications


1993 | Published | Conference Paper | IST-REx-ID: 4618
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
View | DOI | Download None (ext.)
 

1993 | Published | Conference Paper | IST-REx-ID: 4619
Parametric real-time reasoning
R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.
View | DOI | Download None (ext.)
 

1993 | Published | Conference Paper | IST-REx-ID: 4620
Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Computer Aided Verification, Springer, 1993, pp. 181–193.
View | DOI | Download None (ext.)
 

1993 | Published | Journal Article | IST-REx-ID: 2487
Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study
H. Ohishi, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 335 (1993) 252–266.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2536 | OA
Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate
Y. Nakajima, H. Iwakabe, C. Akazawa, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 11868–11873.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2537 | OA
Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4
Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Neuroscience 13 (1993) 1372–1378.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2538 | OA
Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization
M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, S. Nakanishi, Biology of Reproduction 49 (1993) 675–680.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2539 | OA
Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits
T. Ishii, K. Moriyoshi, H. Sugihara, K. Sakurada, H. Kadotani, M. Yokoi, C. Akazawa, R. Shigemoto, N. Mizuno, M. Masu, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 2836–2843.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2540
Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat
H. Ohishi, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 53 (1993) 1009–1018.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2541
Immunocytochemical localization of rat substance P receptor in the striatum
R. Shigemoto, Y. Nakaya, S. Nomura, R. Ogawa Meguro, H. Ohishi, T. Kaneko, S. Nakanishi, N. Mizuno, Neuroscience Letters 153 (1993) 157–160.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2542
Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain
R. Shigemoto, S. Nomura, H. Ohishi, H. Sugihara, S. Nakanishi, N. Mizuno, Neuroscience Letters 163 (1993) 53–57.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2543
Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide
H. Hashimoto, T. Ishihara, R. Shigemoto, K. Mori, S. Nagata, Neuron 11 (1993) 333–342.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2544
Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb
Y. Hayashi, A. Momiyama, T. Takahashi, H. Ohishi, R. Ogawa Meguro, R. Shigemoto, N. Mizuno, S. Nakanishi, Nature 366 (1993) 687–690.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2546 View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Published | Journal Article | IST-REx-ID: 2723
Ground-state density of the Pauli operator in the large field limit
L. Erdös, Letters in Mathematical Physics 29 (1993) 219–240.
View | DOI | Download None (ext.)
 

1992 | Published | Journal Article | IST-REx-ID: 1945 View | Download None (ext.) | PubMed | Europe PMC
 

1992 | Published | Journal Article | IST-REx-ID: 3469
Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells.
N. Burnashev, A. Khodorova, P.M. Jonas, P. Helm, W. Wisden, H. Monyer, P. Seeburg, B. Sakmann, Science 256 (1992) 1566–1570.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1992 | Published | Journal Article | IST-REx-ID: 3470 | OA [Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1992 | Published | Journal Article | IST-REx-ID: 3471 | OA
Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices
D. Colquhoun, P.M. Jonas, B. Sakmann, Journal of Physiology 458 (1992) 261–287.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1992 | Published | Journal Article | IST-REx-ID: 3472
A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve
D. Koh, P.M. Jonas, M. Bräu, W. Vogel, Journal of Membrane Biology 130 (1992) 149–162.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed