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| Journal Article | IST-REx-ID: 2348 | 
A discrete density matrix theory for atoms in strong magnetic fields
C. Hainzl, R. Seiringer, Communications in Mathematical Physics 217 (2001) 229–248.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Hainzl, R. Seiringer, Communications in Mathematical Physics 217 (2001) 229–248.
2001 |Published| Journal Article | IST-REx-ID: 2347 |
A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 224 (2001) 17–31.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 224 (2001) 17–31.
2001 |Published| Journal Article | IST-REx-ID: 2345 |
On the maximal ionization of atoms in strong magnetic fields
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
View
| DOI
| Download None (ext.)
| arXiv
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
2001 |Published| Journal Article | IST-REx-ID: 2341 |
Atoms with bosonic "electrons" in strong magnetic fields
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.
View
| DOI
| Download None (ext.)
| arXiv
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.
2001 |Published| Journal Article | IST-REx-ID: 2346 |
Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 55 (2001) 133–142.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 55 (2001) 133–142.
2001 |Published| Conference Paper | IST-REx-ID: 2340 |
Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
View
| DOI
| Download None (ext.)
| arXiv
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
2001 |Published| Journal Article | IST-REx-ID: 1452 |
Examples of mirror partners arising from integrable systems
T. Hausel, M. Thaddeus, Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics 333 (2001) 313–318.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, M. Thaddeus, Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics 333 (2001) 313–318.
2001 |Published| Journal Article | IST-REx-ID: 888 |
Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, E. Koonin, Genome Biology 2 (2001).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, E. Koonin, Genome Biology 2 (2001).
2001 |Published| Journal Article | IST-REx-ID: 1453 |
Geometric construction of new Yang-Mills instantons over Taub-NUT space
G. Etesi, T. Hausel, Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 514 (2001) 189–199.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Etesi, T. Hausel, Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 514 (2001) 189–199.
2001 |Published| Journal Article | IST-REx-ID: 1454 |
Geometric interpretation of Schwarzschild instantons
G. Etesi, T. Hausel, Journal of Geometry and Physics 37 (2001) 126–136.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Etesi, T. Hausel, Journal of Geometry and Physics 37 (2001) 126–136.
2001 |Published| Journal Article | IST-REx-ID: 855
Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a 'weak'context of the start codon
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
View
| DOI
| PubMed | Europe PMC
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
2001 |Published| Journal Article | IST-REx-ID: 874 |
Multidimensional epistasis and the disadvantage of sex
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
2001 |Published| Journal Article | IST-REx-ID: 867
Origin of alternative splicing by tandem exon duplication
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
[Published Version]
View
| DOI
| PubMed | Europe PMC
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
2001 |Published| Journal Article | IST-REx-ID: 851
Use of mutation spectra analysis software
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
View
| DOI
| PubMed | Europe PMC
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
2001 |Published| Journal Article | IST-REx-ID: 841
Footprints of primordial introns on the eukaryotic genome: still no clear traces
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
View
| DOI
| PubMed | Europe PMC
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
2000 |Published| Conference Paper | IST-REx-ID: 2325
Inequalities for Schrödinger operators and applications to the stability of matter problem
R. Seiringer, in:, American Mathematical Society, 2000, pp. 53–72.
View
| DOI
R. Seiringer, in:, American Mathematical Society, 2000, pp. 53–72.
2000 |Published| Journal Article | IST-REx-ID: 2343 |
On the ordering of energy levels in homogeneous magnetic fields
B. Baumgartner, R. Seiringer, Letters in Mathematical Physics 54 (2000) 213–226.
View
| DOI
| Download (ext.)
B. Baumgartner, R. Seiringer, Letters in Mathematical Physics 54 (2000) 213–226.
2000 |Published| Conference Paper | IST-REx-ID: 4637
The control of synchronous systems
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
2000 |Published| Conference Paper | IST-REx-ID: 4638
Detecting errors before reaching them
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on Computer Aided Verification, Springer, 2000, pp. 186–201.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on Computer Aided Verification, Springer, 2000, pp. 186–201.
2000 |Published| Conference Paper | IST-REx-ID: 4627
Concurrent omega-regular games
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–154.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–154.