ISTA Research Explorer

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

Search / Filter

1994 | Published | Journal Article | IST-REx-ID: 4033

Selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, SIAM Journal on Computing 23 (1994) 1138–1151.

View | DOI | Download None (ext.)

1994 | Published | Journal Article | IST-REx-ID: 4037 |

Three-dimensional alpha shapes
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.

View | DOI | Download None (ext.)

1994 | Published | Journal Article | IST-REx-ID: 4038

Algorithms for bichromatic line-segment problems and polyhedral terrains
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Algorithmica 11 (1994) 116–132.

View | DOI | Download None (ext.)

1994 | Published | Journal Article | IST-REx-ID: 4039

Ray shooting in polygons using geodesic triangulations
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, Algorithmica 12 (1994) 54–68.

View | DOI | Download None (ext.)

1994 | Published | Journal Article | IST-REx-ID: 4179 |

Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons
A. Leingärtner, C.-P.J. Heisenberg, R. Kolbeck, H. Thoenen, D. Lindholm, Journal of Biological Chemistry 269 (1994) 828–830.

View | DOI | Download None (ext.)

1994 | Published | Journal Article | IST-REx-ID: 4202

NMDA potentiates NGF-induced sprouting of septal cholinergic fibres
C.-P.J. Heisenberg, J. Cooper, J. Berke, M. Sofroniew, Neuroreport 5 (1994) 413–416.

View | DOI | Download None (ext.)

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.)

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.)

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.)

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.)

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 |

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 |

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 |

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 |

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