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. 1999. Automating modular verification. Proceedings of the 10th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1664, 82–97.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 8526
Kaloshin V. 1999. An extension of the Artin-Mazur theorem. The Annals of Mathematics. 150(2), 729–741.
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. 400(6742), 351–354.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 11679
Henzinger MH, King V, Warnow T. 1999. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. Algorithmica. 24, 1–13.
View | Files available | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 11687
Dean J, Henzinger MH. 1999. Finding related pages in the world wide Web. Computer Networks. 31(11–16), 1467–1479.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 11688
Henzinger MH, Heydon A, Mitzenmacher M, Najork M. 1999. Measuring index quality using random walks on the web. Computer Networks. 31(11–16), 1291–1303.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 11691
Goel A, Henzinger MH, Plotkin S, Tardos E. 1999. Scheduling data transfers in a network and the set scheduling problem. Proceedings of the 31st annual ACM symposium on Theory of computing. STOC: Symposium on Theory of Computing, 189–197.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 11769
Henzinger MH, King V. 1999. Randomized fully dynamic graph algorithms with polylogarithmic time per operation. Journal of the ACM. 46(4), 502–516.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 11895 | OA
Silverstein C, Marais H, Henzinger MH, Moricz M. 1999. Analysis of a very large web search engine query log. ACM SIGIR Forum. 33(1), 6–12.
[Published Version] View | DOI | Download Published Version (ext.)
 

1999 | Published | Conference Paper | IST-REx-ID: 11925
Henzinger MH, Leonardi  S. 1999. Scheduling multicasts on unit-capacity trees and meshes. 10th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 438–447.
View
 

Filters and Search Terms

year=1999

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed