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.
89 Publications
- 1
- 2
- 3
- 4 (current)
- 5
2001 | Published | Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, Thomas A Henzinger, and Ranjit Jhala. “Compositional Methods for Probabilistic Systems.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:351–65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_24.
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Symbolic Algorithms for Infinite-State Games.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:536–50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_36.
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems, Part II.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:566–81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_38.
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 4635
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” In Proceedings of the 10th International Conference on World Wide Web, 86–87. ACM, 2001.
View
| Download None (ext.)
2001 | Published | Conference Paper | IST-REx-ID: 4636
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives.” In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 279–90. IEEE, 2001. https://doi.org/10.1109/LICS.2001.932504.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 841
Wolf, Yuri, Fyodor Kondrashov, and Eugene Koonin. “Footprints of Primordial Introns on the Eukaryotic Genome: Still No Clear Traces .” Trends in Genetics. Elsevier, 2001. https://doi.org/10.1016/S0168-9525(01)02376-9.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 851
Rogozin, Igor, Fyodor Kondrashov, and Galina Glazko. “Use of Mutation Spectra Analysis Software.” Human Mutation. Wiley-Blackwell, 2001. https://doi.org/10.1002/1098-1004(200102)17:2<83::AID-HUMU1>3.0.CO;2-E.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 8521
Kaloshin, Vadim, and Brian R. Hunt. “A Stretched Exponential Bound on the Rate of Growth of the Number of Periodic Points for Prevalent Diffeomorphisms II.” Electronic Research Announcements of the American Mathematical Society. American Mathematical Society, 2001. https://doi.org/10.1090/s1079-6762-01-00091-9.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 8522
Kaloshin, Vadim, and Brian R. Hunt. “A Stretched Exponential Bound on the Rate of Growth of the Number of Periodic Points for Prevalent Diffeomorphisms I.” Electronic Research Announcements of the American Mathematical Society. American Mathematical Society, 2001. https://doi.org/10.1090/s1079-6762-01-00090-7.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 8524
Kaloshin, Vadim, and I. Rodnianski. “Diophantine Properties of Elements of SO(3).” Geometric And Functional Analysis. Springer Nature, 2001. https://doi.org/10.1007/s00039-001-8222-8.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 855
Rogozin, Igor, Alex Kochetov, Fyodor Kondrashov, Eugene Koonin, and Luciano Milanesi. “Presence of ATG Triplets in 5′ Untranslated Regions of Eukaryotic CDNAs Correlates with a ’weak’context of the Start Codon.” Bioinformatics. Oxford University Press, 2001. https://doi.org/10.1093/bioinformatics/17.10.890.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 867
Kondrashov, Fyodor, and Eugene Koonin. “Origin of Alternative Splicing by Tandem Exon Duplication.” Human Molecular Genetics. Oxford University Press, 2001. https://doi.org/10.1093/hmg/10.23.2661.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 874 | 
Kondrashov, Fyodor, and Alexey Kondrashov. “Multidimensional Epistasis and the Disadvantage of Sex.” PNAS. National Academy of Sciences, 2001. https://doi.org/10.1073/pnas.211214298.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 888 |
Jordan, Ingo, Fyodor Kondrashov, Igor Rogozin, Roman Tatusov, Yuri Wolf, and Eugene Koonin. “Constant Relative Rate of Protein Evolution and Detection of Functional Diversification among Bacterial, Archaeal and Eukaryotic Proteins .” Genome Biology. BioMed Central, 2001. https://doi.org/10.1186/gb-2001-2-12-research0053.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 11125
Hetzer, Martin, Hemmo H. Meyer, Tobias C. Walther, Daniel Bilbao-Cortes, Graham Warren, and Iain W. Mattaj. “Distinct AAA-ATPase P97 Complexes Function in Discrete Steps of Nuclear Assembly.” Nature Cell Biology. Springer Nature, 2001. https://doi.org/10.1038/ncb1201-1086.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 11755
Henzinger, Monika H. “Hyperlink Analysis for the Web.” IEEE Internet Computing. Institute of Electrical and Electronics Engineers, 2001. https://doi.org/10.1109/4236.895141.
View
| DOI
| WoS
2001 | Published | Journal Article | IST-REx-ID: 11892
Henzinger, Monika H, and Valerie King. “Maintaining Minimum Spanning Forests in Dynamic Graphs.” SIAM Journal on Computing. Society for Industrial & Applied Mathematics, 2001. https://doi.org/10.1137/s0097539797327209.
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 11914
Bharat, K., Bay-Wei Chang, Monika H Henzinger, and M. Ruhl. “Who Links to Whom: Mining Linkage between Web Sites.” In 1st IEEE International Conference on Data Mining, 51–58. Institute of Electrical and Electronics Engineers, 2001. https://doi.org/10.1109/ICDM.2001.989500.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 1452 |
Hausel, Tamás, and Michael Thaddeus. “Examples of Mirror Partners Arising from Integrable Systems.” Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics. Elsevier, 2001. https://doi.org/10.1016/S0764-4442(01)02057-2.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Published | Journal Article | IST-REx-ID: 1453 |
Etesi, Gábor, and Tamás Hausel. “Geometric Construction of New Yang-Mills Instantons over Taub-NUT Space.” Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. Elsevier, 2001. https://doi.org/10.1016/S0370-2693(01)00821-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
- 1
- 2
- 3
- 4 (current)
- 5