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, Rajeev, et al. “Automating Modular Verification.” Proceedings of the 10th International Conference on Concurrency Theory, vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97, doi:10.1007/3-540-48320-9_8.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 8526
Kaloshin, Vadim. “An Extension of the Artin-Mazur Theorem.” The Annals of Mathematics, vol. 150, no. 2, JSTOR, 1999, pp. 729–41, doi:10.2307/121093.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 883
Kondrashov, Alexey, and Fyodor Kondrashov. “Interactions among Quantitative Traits in the Course of Sympatric Speciation.” Nature, vol. 400, no. 6742, Nature Publishing Group, 1999, pp. 351–54, doi:10.1038/22514.
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 11679
Henzinger, Monika H., et al. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” Algorithmica, vol. 24, Springer Nature, 1999, pp. 1–13, doi:10.1007/pl00009268.
View
| Files available
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11687
Dean, Jeffrey, and Monika H. Henzinger. “Finding Related Pages in the World Wide Web.” Computer Networks, vol. 31, no. 11–16, Elsevier, 1999, pp. 1467–79, doi:10.1016/s1389-1286(99)00022-5.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11688
Henzinger, Monika H., et al. “Measuring Index Quality Using Random Walks on the Web.” Computer Networks, vol. 31, no. 11–16, Elsevier, 1999, pp. 1291–303, doi:10.1016/s1389-1286(99)00016-x.
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 11691
Goel, Ashish, et al. “Scheduling Data Transfers in a Network and the Set Scheduling Problem.” Proceedings of the 31st Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 1999, pp. 189–97, doi:10.1145/301250.301300.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11769
Henzinger, Monika H., and Valerie King. “Randomized Fully Dynamic Graph Algorithms with Polylogarithmic Time per Operation.” Journal of the ACM, vol. 46, no. 4, Association for Computing Machinery, 1999, pp. 502–16, doi:10.1145/320211.320215.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11895 | 
Silverstein, Craig, et al. “Analysis of a Very Large Web Search Engine Query Log.” ACM SIGIR Forum, vol. 33, no. 1, Association for Computing Machinery, 1999, pp. 6–12, doi:10.1145/331403.331405.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1999 | Published | Conference Paper | IST-REx-ID: 11925
Henzinger, Monika H., and Stefano Leonardi . “Scheduling Multicasts on Unit-Capacity Trees and Meshes.” 10th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial & Applied Mathematics, 1999, pp. 438–47.
View