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 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