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.
6978 Publications
1999 |Published| Conference Paper | IST-REx-ID: 4601
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, Proceedings of the International Symposium on Compositionality, Springer, 1999, pp. 23–60.
View
| DOI
R. Alur, T.A. Henzinger, O. Kupferman, in:, Proceedings of the International Symposium on Compositionality, Springer, 1999, pp. 23–60.
1999 |Published| Conference Paper | IST-REx-ID: 4602
Automating modular verification
R. Alur, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97.
View
| DOI
R. Alur, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97.
1999 |Published| Journal Article | IST-REx-ID: 3582 | 
Topology preserving edge contraction
T. Dey, H. Edelsbrunner, S. Guha, D. Nekhayev, Publications de l’Institut Mathématique 66 (1999) 23–45.
View
| Download None (ext.)
T. Dey, H. Edelsbrunner, S. Guha, D. Nekhayev, Publications de l’Institut Mathématique 66 (1999) 23–45.
1999 |Published| Journal Article | IST-REx-ID: 2592 |
Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion
M. Masugi, M. Yokoi, R. Shigemoto, K. Muguruma, Y. Watanabe, G. Sansig, H. Van Der Putten, S. Nakanishi, Journal of Neuroscience 19 (1999) 955–963.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Masugi, M. Yokoi, R. Shigemoto, K. Muguruma, Y. Watanabe, G. Sansig, H. Van Der Putten, S. Nakanishi, Journal of Neuroscience 19 (1999) 955–963.
1999 |Published| Journal Article | IST-REx-ID: 2593 |
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.
1999 |Published| Journal Article | IST-REx-ID: 2591
Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve
W. Kummer, R. Shigemoto, R. Haberberger, Neuroscience Letters 259 (1999) 119–122.
View
| DOI
| PubMed | Europe PMC
W. Kummer, R. Shigemoto, R. Haberberger, Neuroscience Letters 259 (1999) 119–122.
1999 |Published| Journal Article | IST-REx-ID: 883
Interactions among quantitative traits in the course of sympatric speciation
A. Kondrashov, F. Kondrashov, Nature 400 (1999) 351–354.
View
| DOI
| PubMed | Europe PMC
A. Kondrashov, F. Kondrashov, Nature 400 (1999) 351–354.
1998 |Published| Journal Article | IST-REx-ID: 1450 |
Vanishing of intersection numbers on the moduli space of Higgs bundles
T. Hausel, Advances in Theoretical and Mathematical Physics 2 (1998) 1011–1040.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, Advances in Theoretical and Mathematical Physics 2 (1998) 1011–1040.
1998 |Published| Journal Article | IST-REx-ID: 1449 |
Compactification of moduli of Higgs bundles
T. Hausel, Journal Fur Die Reine Und Angewandte Mathematik 1998 (1998) 169–192.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, Journal Fur Die Reine Und Angewandte Mathematik 1998 (1998) 169–192.
1998 |Published| Journal Article | IST-REx-ID: 1956 |
The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes
L.A. Sazanov, P. Burrows, P. Nixon, PNAS 95 (1998) 1319–1324.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
L.A. Sazanov, P. Burrows, P. Nixon, PNAS 95 (1998) 1319–1324.
1998 |Published| Journal Article | IST-REx-ID: 1955 |
Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes
P. Burrows, L.A. Sazanov, Z. Sváb, P. Maliga, P. Nixon, EMBO Journal 17 (1998) 868–876.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
P. Burrows, L.A. Sazanov, Z. Sváb, P. Maliga, P. Nixon, EMBO Journal 17 (1998) 868–876.
1998 |Published| Journal Article | IST-REx-ID: 1954
The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves
L.A. Sazanov, P. Burrows, P. Nixon, FEBS Letters 429 (1998) 115–118.
View
| DOI
| PubMed | Europe PMC
L.A. Sazanov, P. Burrows, P. Nixon, FEBS Letters 429 (1998) 115–118.
1998 |Published| Journal Article | IST-REx-ID: 2584
Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study
A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, N. Mizuno, Journal of Comparative Neurology 393 (1998) 332–352.
View
| DOI
| PubMed | Europe PMC
A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, N. Mizuno, Journal of Comparative Neurology 393 (1998) 332–352.
1998 |Published| Journal Article | IST-REx-ID: 2585
Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat
E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, N. Mizuno, Journal of Comparative Neurology 393 (1998) 493–504.
View
| DOI
| PubMed | Europe PMC
E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, N. Mizuno, Journal of Comparative Neurology 393 (1998) 493–504.
1998 |Published| Journal Article | IST-REx-ID: 2586
Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination
D. Watanabe, H. Inokawa, K. Hashimoto, N. Suzuki, M. Kano, R. Shigemoto, T. Hirano, K. Toyama, S. Kaneko, M. Yokoi, K. Moriyoshi, M. Suzuki, K. Kobayashi, T. Nagatsu, R. Kreitman, I. Pastan, S. Nakanishi, Cell 95 (1998) 17–27.
View
| DOI
| PubMed | Europe PMC
D. Watanabe, H. Inokawa, K. Hashimoto, N. Suzuki, M. Kano, R. Shigemoto, T. Hirano, K. Toyama, S. Kaneko, M. Yokoi, K. Moriyoshi, M. Suzuki, K. Kobayashi, T. Nagatsu, R. Kreitman, I. Pastan, S. Nakanishi, Cell 95 (1998) 17–27.
1998 |Published| Journal Article | IST-REx-ID: 2583
Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat
J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, N. Mizuno, Neuroscience Research 30 (1998) 219–225.
View
| DOI
| PubMed | Europe PMC
J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, N. Mizuno, Neuroscience Research 30 (1998) 219–225.
1998 |Published| Journal Article | IST-REx-ID: 2590
Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex
D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, E. Mugnaini, Journal of Neurocytology 27 (1998) 303–327.
View
| DOI
| PubMed | Europe PMC
D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, E. Mugnaini, Journal of Neurocytology 27 (1998) 303–327.
1998 |Published| Journal Article | IST-REx-ID: 2588
GABA(B)-receptor subtypes assemble into functional heteromeric complexes
K. Kaupmann, B. Malitschek, V. Schuler, J. Heid, W. Froestl, P. Beck, J. Mosbacher, S. Bischoff, Á. Kulik, R. Shigemoto, A. Karschin, B. Bettler, Nature 396 (1998) 683–687.
View
| DOI
| PubMed | Europe PMC
K. Kaupmann, B. Malitschek, V. Schuler, J. Heid, W. Froestl, P. Beck, J. Mosbacher, S. Bischoff, Á. Kulik, R. Shigemoto, A. Karschin, B. Bettler, Nature 396 (1998) 683–687.
1998 |Published| Journal Article | IST-REx-ID: 2589
Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study
A. Baude, R. Shigemoto, Journal of Comparative Neurology 402 (1998) 181–196.
View
| DOI
| PubMed | Europe PMC
A. Baude, R. Shigemoto, Journal of Comparative Neurology 402 (1998) 181–196.
1998 |Published| Book Chapter | IST-REx-ID: 2695
Linear Boltzmann equation as scaling limit of quantum Lorentz gas
L. Erdös, H. Yau, in:, Advances in Differential Equations and Mathematical Physics, American Mathematical Society, 1998, pp. 137–155.
View
| DOI
L. Erdös, H. Yau, in:, Advances in Differential Equations and Mathematical Physics, American Mathematical Society, 1998, pp. 137–155.