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 TA. Reactive modules. Formal Methods in System Design. 1999;15(1):7-48. doi:10.1023/A:1008739929481
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4601
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the International Symposium on Compositionality. Vol 1536. Springer; 1999:23-60. doi:10.1007/3-540-49213-5_2
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4602
Alur R, De Alfaro L, Henzinger TA, Mang F. Automating modular verification. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:82-97. doi:10.1007/3-540-48320-9_8
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 8526
Kaloshin V. An extension of the Artin-Mazur theorem. The Annals of Mathematics. 1999;150(2):729-741. doi:10.2307/121093
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 883
Kondrashov A, Kondrashov F. Interactions among quantitative traits in the course of sympatric speciation. Nature. 1999;400(6742):351-354. doi:10.1038/22514
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 11679
Henzinger MH, King V, Warnow T. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. Algorithmica. 1999;24:1-13. doi:10.1007/pl00009268
View
| Files available
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11687
Dean J, Henzinger MH. Finding related pages in the world wide Web. Computer Networks. 1999;31(11-16):1467-1479. doi:10.1016/s1389-1286(99)00022-5
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11688
Henzinger MH, Heydon A, Mitzenmacher M, Najork M. Measuring index quality using random walks on the web. Computer Networks. 1999;31(11-16):1291-1303. doi:10.1016/s1389-1286(99)00016-x
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 11691
Goel A, Henzinger MH, Plotkin S, Tardos E. Scheduling data transfers in a network and the set scheduling problem. In: Proceedings of the 31st Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 1999:189-197. doi:10.1145/301250.301300
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11769
Henzinger MH, King V. Randomized fully dynamic graph algorithms with polylogarithmic time per operation. Journal of the ACM. 1999;46(4):502-516. doi:10.1145/320211.320215
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11895 | 
Silverstein C, Marais H, Henzinger MH, Moricz M. Analysis of a very large web search engine query log. ACM SIGIR Forum. 1999;33(1):6-12. doi:10.1145/331403.331405
[Published Version]
View
| DOI
| Download Published Version (ext.)
1999 | Published | Conference Paper | IST-REx-ID: 11925
Henzinger MH, Leonardi S. Scheduling multicasts on unit-capacity trees and meshes. In: 10th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial & Applied Mathematics; 1999:438-447.
View
1998 | Published | Journal Article | IST-REx-ID: 2583
Li J, Ding Y, Xiong K, Li J, Shigemoto R, Mizuno N. 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. 1998;30(3):219-225. doi: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. 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. 1998;393(3):332-352. doi: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. 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. 1998;393(4):493-504. doi: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, et al. Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. 1998;95(1):17-27. doi: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, et al. GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. 1998;396(6712):683-687. doi:10.1038/25360
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 2589
Baude A, Shigemoto R. 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. 1998;402(2):181-196. doi: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. Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. 1998;27(5):303-327. doi:10.1023/A:1006982023657
View
| DOI
| PubMed | Europe PMC
1998 | Published | Book Chapter | IST-REx-ID: 2695
Erdös L, Yau H. Linear Boltzmann equation as scaling limit of quantum Lorentz gas. In: Advances in Differential Equations and Mathematical Physics. Vol 217. American Mathematical Society; 1998:137-155. doi:10.1090/conm/217
View
| DOI