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.
6978 Publications
2001 |Published| Conference Paper | IST-REx-ID: 2340 | 
Seiringer, Robert. “Bosons in a Trap: Asymptotic Exactness of the Gross-Pitaevskii Ground State Energy Formula.” edited by Michael Demuth and Bert Schultze, 126:307–14. Birkhäuser, 2001. https://doi.org/10.1007/978-3-0348-8231-6.
View
| DOI
| Download None (ext.)
| arXiv
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: 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: 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
2001 |Published| Journal Article | IST-REx-ID: 1454 |
Etesi, Gábor, and Tamás Hausel. “Geometric Interpretation of Schwarzschild Instantons.” Journal of Geometry and Physics. Elsevier, 2001. https://doi.org/10.1016/S0393-0440(00)00040-1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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: 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: 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: 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: 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
2000 |Published| Conference Paper | IST-REx-ID: 2325
Seiringer, Robert. “Inequalities for Schrödinger Operators and Applications to the Stability of Matter Problem ,” 529:53–72. American Mathematical Society, 2000. https://doi.org/10.1090/conm/529.
View
| DOI
2000 |Published| Journal Article | IST-REx-ID: 2343 |
Baumgartner, Bernhard, and Robert Seiringer. “On the Ordering of Energy Levels in Homogeneous Magnetic Fields.” Letters in Mathematical Physics. Springer, 2000. https://doi.org/ 10.1023/A:1010978807635.
View
| DOI
| Download (ext.)
2000 |Published| Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems.” In Proceedings of the 11th International Conference on Concurrency Theory, 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000. https://doi.org/10.1007/3-540-44618-4_33.
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4638
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “Detecting Errors before Reaching Them.” In Proceedings of the 12th International Conference on Computer Aided Verification, 1855:186–201. Springer, 2000. https://doi.org/10.1007/10722167_17.
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4627
De Alfaro, Luca, and Thomas A Henzinger. “Concurrent Omega-Regular Games.” In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 141–54. IEEE, 2000. https://doi.org/10.1109/LICS.2000.855763.
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” In Proceedings of the 1st International Conference on Theoretical Computer Science , 1872:549–63. Springer, 2000. https://doi.org/10.1007/3-540-44929-9_38.
View
| DOI
2000 |Published| Journal Article | IST-REx-ID: 4598
Alur, Rajeev, Thomas A Henzinger, Gerardo Lafferriere, and George Pappas. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE. IEEE, 2000. https://doi.org/10.1109/5.871304 .
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract Interpretation of Game Properties.” In Proceedings of the 7th International Symposium on Static Analysis, 1824:220–39. Springer, 2000. https://doi.org/10.1007/978-3-540-45099-3_12.
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.” In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:130–44. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_14.
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.” In Proceedings of the 2000 International Conference on Computer-Aided Design, 245–52. IEEE, 2000. https://doi.org/10.1109/ICCAD.2000.896481.
View
| DOI