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.
253 Publications
1999 | Journal Article | IST-REx-ID: 4442
Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
View
| DOI
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
1999 | Conference Paper | IST-REx-ID: 4485
Rectangular hybrid games
T.A. Henzinger, B. Horowitz, R. Majumdar, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–335.
View
| DOI
T.A. Henzinger, B. Horowitz, R. Majumdar, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–335.
1999 | Journal Article | IST-REx-ID: 2593 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, Y. De Koninck, Journal of Neuroscience 19 (1999) 3545–3555.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, Y. De Koninck, Journal of Neuroscience 19 (1999) 3545–3555.
1997 | Journal Article | IST-REx-ID: 8528
Prevalence in the space of finitely smooth maps
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
View
| DOI
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
1996 | Journal Article | IST-REx-ID: 2569
GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat
H. Jia, B. Wang, Z. Rao, J. Shi, R. Shigemoto, T. Kaneko, N. Mizuno, Neuroscience Letters 210 (1996) 49–52.
View
| DOI
| PubMed | Europe PMC
H. Jia, B. Wang, Z. Rao, J. Shi, R. Shigemoto, T. Kaneko, N. Mizuno, Neuroscience Letters 210 (1996) 49–52.
1996 | Journal Article | IST-REx-ID: 2567
Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat
J. Li, Y. Ding, R. Shigemoto, N. Mizuno, Brain Research 719 (1996) 207–212.
View
| DOI
| PubMed | Europe PMC
J. Li, Y. Ding, R. Shigemoto, N. Mizuno, Brain Research 719 (1996) 207–212.
1996 | Conference Poster | IST-REx-ID: 4030 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Effects of molecular shape representations on boundary element method for protein electrostatics computations
J. Liang, H. Edelsbrunner, S. Subramaniam, Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations, Cell Press, 1996.
View
| DOI
| Download None (ext.)
J. Liang, H. Edelsbrunner, S. Subramaniam, Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations, Cell Press, 1996.
1995 | Journal Article | IST-REx-ID: 2561
Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat
H. Ohishi, S. Nomura, Y. Ding, R. Shigemoto, E. Wada, A. Kinoshita, J. Li, A. Neki, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1995) 85–88.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
H. Ohishi, S. Nomura, Y. Ding, R. Shigemoto, E. Wada, A. Kinoshita, J. Li, A. Neki, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1995) 85–88.
1995 | Journal Article | IST-REx-ID: 3478 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons
N. Spruston, P.M. Jonas, B. Sakmann, Journal of Physiology 482 (1995) 325–352.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
N. Spruston, P.M. Jonas, B. Sakmann, Journal of Physiology 482 (1995) 325–352.
1995 | Conference Paper | IST-REx-ID: 4587
Local liveness for compositional modeling of fair reactive systems
R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 166–179.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 166–179.
1994 | 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 | 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.
1993 | Journal Article | IST-REx-ID: 4175
Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity
D. Lindholm, G. Dechant, C.-P.J. Heisenberg, H. Thoenen, European Journal of Neuroscience 5 (1993) 1455–1464.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
D. Lindholm, G. Dechant, C.-P.J. Heisenberg, H. Thoenen, European Journal of Neuroscience 5 (1993) 1455–1464.
1991 | Journal Article | IST-REx-ID: 1946
Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide
S. Zaǐtsev, L.A. Sazanov, A. Koshkin, G. Sud’Ina, S. Varfolomeev, FEBS Letters 291 (1991) 84–86.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
S. Zaǐtsev, L.A. Sazanov, A. Koshkin, G. Sud’Ina, S. Varfolomeev, FEBS Letters 291 (1991) 84–86.
1991 | Book Chapter | IST-REx-ID: 2530
Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel
S. Nakanishi, H. Ohkubo, A. Kakizuka, Y. Yokota, R. Shigemoto, Y. Sasai, T. Takumi, in:, Recent Progress in Hormone Research, The Endocrine Society, 1991, pp. 59–83.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
S. Nakanishi, H. Ohkubo, A. Kakizuka, Y. Yokota, R. Shigemoto, Y. Sasai, T. Takumi, in:, Recent Progress in Hormone Research, The Endocrine Society, 1991, pp. 59–83.
1990 | Journal Article | IST-REx-ID: 4065
Covering convex sets with non-overlapping polygons
H. Edelsbrunner, A. Robison, X. Shen, Discrete Mathematics 81 (1990) 153–164.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, A. Robison, X. Shen, Discrete Mathematics 81 (1990) 153–164.
1990 | Journal Article | IST-REx-ID: 4074
Combinatorial complexity bounds for arrangements of curves and spheres
K. Clarkson, H. Edelsbrunner, L. Guibas, M. Sharir, E. Welzl, Discrete & Computational Geometry 5 (1990) 99–160.
View
| DOI
| Download None (ext.)
K. Clarkson, H. Edelsbrunner, L. Guibas, M. Sharir, E. Welzl, Discrete & Computational Geometry 5 (1990) 99–160.
1988 | Journal Article | IST-REx-ID: 2523
Direct projections from the subthalamic nucleus of Luys to the spinal cord in the Japanese monkey
N. Mizuno, T. Ueyama, K. Itoh, T. Satoda, T. Tashiro, R. Shigemoto, Neuroscience Letters 89 (1988) 13–18.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N. Mizuno, T. Ueyama, K. Itoh, T. Satoda, T. Tashiro, R. Shigemoto, Neuroscience Letters 89 (1988) 13–18.
1987 | Book | IST-REx-ID: 3900
Algorithms in Combinatorial Geometry
H. Edelsbrunner, Algorithms in Combinatorial Geometry, Springer, Berlin ; Heidelberg, 1987.
View
| Files available
| DOI
H. Edelsbrunner, Algorithms in Combinatorial Geometry, Springer, Berlin ; Heidelberg, 1987.
1986 | Journal Article | IST-REx-ID: 4323
Sibling competition and the advantage of mixed families
N.H. Barton, R.J. Post, Journal of Theoretical Biology 120 (1986) 381–387.
View
| DOI
N.H. Barton, R.J. Post, Journal of Theoretical Biology 120 (1986) 381–387.