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


2001 | Published | Journal Article | IST-REx-ID: 11755
Henzinger MH. 2001. Hyperlink analysis for the Web. IEEE Internet Computing. 5(1), 45–50.
View | DOI | WoS
 

2001 | Published | Journal Article | IST-REx-ID: 841
Wolf Y, Kondrashov F, Koonin E. 2001. Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics. 17(9), 499–501.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 851
Rogozin I, Kondrashov F, Glazko G. 2001. Use of mutation spectra analysis software. Human Mutation. 17(2), 83–102.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 8521
Kaloshin V, Hunt BR. 2001. 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. 7(5), 28–36.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 8522
Kaloshin V, Hunt BR. 2001. 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. 7(4), 17–27.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 8524
Kaloshin V, Rodnianski I. 2001. Diophantine properties of elements of SO(3). Geometric And Functional Analysis. 11(5), 953–970.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 855
Rogozin I, Kochetov A, Kondrashov F, Koonin E, Milanesi L. 2001. Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon. Bioinformatics. 17(10), 890–900.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 867
Kondrashov F, Koonin E. 2001. Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. 10(23), 2661–2669.
[Published Version] View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 874 | OA
Kondrashov F, Kondrashov A. 2001. Multidimensional epistasis and the disadvantage of sex. PNAS. 98(21), 12089–12092.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 888 | OA
Jordan I, Kondrashov F, Rogozin I, Tatusov R, Wolf Y, Koonin E. 2001. Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins . Genome Biology. 2(12), research0053.1.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer R. 2001. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. PDE: Partial Differential Equations and Spectral Theory, Operator Theory: Advances and Applications, vol. 126, 307–314.
View | DOI | Download None (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner B, Seiringer R. 2001. Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. 2(1), 41–76.
View | DOI | Download None (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2345 | OA
Seiringer R. 2001. On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General. 34(9), 1943–1948.
View | DOI | Download None (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2346 | OA
Hainzl C, Seiringer R. 2001. Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics. Letters in Mathematical Physics. 55(2), 133–142.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2347 | OA
Lieb É, Seiringer R, Yngvason J. 2001. A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas. Communications in Mathematical Physics. 224(1), 17–31.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2348 | OA
Hainzl C, Seiringer R. 2001. A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics. 217(1), 229–248.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2419
Wagner U, Welzl E. 2001. A continuous analogue of the Upper Bound Theorem. Discrete & Computational Geometry. 26(2), 205–219.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4564
Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. 2001. A reusable and platform-independent framework for distributed control systems. Proceedings of the 20th Digital Avionics Systems Conference. DASC: Digital Avionics Systems Conference, 1–11.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 4599
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. 2001. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 18(2), 97–116.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, Henzinger TA, Kang M, Kirsch C, Majumdar R, Mang F, Wang B. 2001. jMocha: A model-checking tool that exploits design structure. Proceedings of the 23rd International Conference on Software Engineering. ICSE: Software Engineering, 835–836.
View | DOI
 

Filters and Search Terms

year=2001

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed