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.
50 Publications
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