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
Alur, R., & Henzinger, T. A. (1999). Reactive modules. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008739929481
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4601
Alur, R., Henzinger, T. A., & Kupferman, O. (1999). Alternating-time temporal logic. In Proceedings of the International Symposium on Compositionality (Vol. 1536, pp. 23–60). Bad Malente, Germany: Springer. https://doi.org/10.1007/3-540-49213-5_2
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4602
Alur, R., De Alfaro, L., Henzinger, T. A., & Mang, F. (1999). Automating modular verification. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 82–97). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_8
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 8526
Kaloshin, V. (1999). An extension of the Artin-Mazur theorem. The Annals of Mathematics. JSTOR. https://doi.org/10.2307/121093
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 883
Kondrashov, A., & Kondrashov, F. (1999). Interactions among quantitative traits in the course of sympatric speciation. Nature. Nature Publishing Group. https://doi.org/10.1038/22514
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 11679
Henzinger, M. H., King, V., & Warnow, T. (1999). Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. Algorithmica. Springer Nature. https://doi.org/10.1007/pl00009268
View
| Files available
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11687
Dean, J., & Henzinger, M. H. (1999). Finding related pages in the world wide Web. Computer Networks. Elsevier. https://doi.org/10.1016/s1389-1286(99)00022-5
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11688
Henzinger, M. H., Heydon, A., Mitzenmacher, M., & Najork, M. (1999). Measuring index quality using random walks on the web. Computer Networks. Elsevier. https://doi.org/10.1016/s1389-1286(99)00016-x
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 11691
Goel, A., Henzinger, M. H., Plotkin, S., & Tardos, E. (1999). Scheduling data transfers in a network and the set scheduling problem. In Proceedings of the 31st annual ACM symposium on Theory of computing (pp. 189–197). Atlanta, GA, United States: Association for Computing Machinery. https://doi.org/10.1145/301250.301300
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11769
Henzinger, M. H., & King, V. (1999). Randomized fully dynamic graph algorithms with polylogarithmic time per operation. Journal of the ACM. Association for Computing Machinery. https://doi.org/10.1145/320211.320215
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11895 | 
Silverstein, C., Marais, H., Henzinger, M. H., & Moricz, M. (1999). Analysis of a very large web search engine query log. ACM SIGIR Forum. Association for Computing Machinery. https://doi.org/10.1145/331403.331405
[Published Version]
View
| DOI
| Download Published Version (ext.)
1999 | Published | Conference Paper | IST-REx-ID: 11925
Henzinger, M. H., & Leonardi , S. (1999). Scheduling multicasts on unit-capacity trees and meshes. In 10th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 438–447). Baltimore, MD, United States: Society for Industrial & Applied Mathematics.
View
1998 | Published | Journal Article | IST-REx-ID: 2583
Li, J., Ding, Y., Xiong, K., Li, J., Shigemoto, R., & Mizuno, N. (1998). Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. Neuroscience Research. Elsevier. https://doi.org/10.1016/S0168-0102(97)00132-6
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 2584
Kinoshita, A., Shigemoto, R., Ohishi, H., Van Der Putten, H., & Mizuno, N. (1998). 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. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 2585
Wada, E., Shigemoto, R., Kinoshita, A., Ohishi, H., & Mizuno, N. (1998). 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. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 2586
Watanabe, D., Inokawa, H., Hashimoto, K., Suzuki, N., Kano, M., Shigemoto, R., … Nakanishi, S. (1998). Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. Cell Press. https://doi.org/10.1016/S0092-8674(00)81779-1
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 2588
Kaupmann, K., Malitschek, B., Schuler, V., Heid, J., Froestl, W., Beck, P., … Bettler, B. (1998). GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. Nature Publishing Group. https://doi.org/10.1038/25360
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 2589
Baude, A., & Shigemoto, R. (1998). 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. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 2590
Jaarsma, D., Diño, M., Ohishi, H., Shigemoto, R., & Mugnaini, E. (1998). Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. Kluwer. https://doi.org/10.1023/A:1006982023657
View
| DOI
| PubMed | Europe PMC
1998 | Published | Book Chapter | IST-REx-ID: 2695
Erdös, L., & Yau, H. (1998). Linear Boltzmann equation as scaling limit of quantum Lorentz gas. In Advances in Differential Equations and Mathematical Physics (Vol. 217, pp. 137–155). American Mathematical Society. https://doi.org/10.1090/conm/217
View
| DOI