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.
8915 Publications
1999 | Published | Journal Article | IST-REx-ID: 4582
Reactive modules
R. Alur, T.A. Henzinger, Formal Methods in System Design 15 (1999) 7–48.
View
| DOI
R. Alur, T.A. Henzinger, Formal Methods in System Design 15 (1999) 7–48.
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: 8526
An extension of the Artin-Mazur theorem
V. Kaloshin, The Annals of Mathematics 150 (1999) 729–741.
View
| DOI
V. Kaloshin, The Annals of Mathematics 150 (1999) 729–741.
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.
1999 | Published | Journal Article | IST-REx-ID: 11679
Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M.H. Henzinger, V. King, T. Warnow, Algorithmica 24 (1999) 1–13.
View
| Files available
| DOI
M.H. Henzinger, V. King, T. Warnow, Algorithmica 24 (1999) 1–13.
1999 | Published | Journal Article | IST-REx-ID: 11687
Finding related pages in the world wide Web
J. Dean, M.H. Henzinger, Computer Networks 31 (1999) 1467–1479.
View
| DOI
J. Dean, M.H. Henzinger, Computer Networks 31 (1999) 1467–1479.
1999 | Published | Journal Article | IST-REx-ID: 11688
Measuring index quality using random walks on the web
M.H. Henzinger, A. Heydon, M. Mitzenmacher, M. Najork, Computer Networks 31 (1999) 1291–1303.
View
| DOI
M.H. Henzinger, A. Heydon, M. Mitzenmacher, M. Najork, Computer Networks 31 (1999) 1291–1303.
1999 | Published | Conference Paper | IST-REx-ID: 11691
Scheduling data transfers in a network and the set scheduling problem
A. Goel, M.H. Henzinger, S. Plotkin, E. Tardos, in:, Proceedings of the 31st Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 1999, pp. 189–197.
View
| DOI
A. Goel, M.H. Henzinger, S. Plotkin, E. Tardos, in:, Proceedings of the 31st Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 1999, pp. 189–197.
1999 | Published | Journal Article | IST-REx-ID: 11769
Randomized fully dynamic graph algorithms with polylogarithmic time per operation
M.H. Henzinger, V. King, Journal of the ACM 46 (1999) 502–516.
View
| DOI
M.H. Henzinger, V. King, Journal of the ACM 46 (1999) 502–516.
1999 | Published | Journal Article | IST-REx-ID: 11895 | 
Analysis of a very large web search engine query log
C. Silverstein, H. Marais, M.H. Henzinger, M. Moricz, ACM SIGIR Forum 33 (1999) 6–12.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Silverstein, H. Marais, M.H. Henzinger, M. Moricz, ACM SIGIR Forum 33 (1999) 6–12.
1999 | Published | Conference Paper | IST-REx-ID: 11925
Scheduling multicasts on unit-capacity trees and meshes
M.H. Henzinger, S. Leonardi , in:, 10th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial & Applied Mathematics, 1999, pp. 438–447.
View
M.H. Henzinger, S. Leonardi , in:, 10th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial & Applied Mathematics, 1999, pp. 438–447.
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: 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: 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 | 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 | 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.