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.
543 Publications
2010 |Published| Book Chapter | IST-REx-ID: 2309
The CLC family of chloride channels and transporters
T. Stauber, G. Novarino, T. Jentsch, in:, Physiology and Pathology of Chloride Transporters and Channels in the Nervous System, Elsevier, 2010, pp. 209–231.
View
| DOI
T. Stauber, G. Novarino, T. Jentsch, in:, Physiology and Pathology of Chloride Transporters and Channels in the Nervous System, Elsevier, 2010, pp. 209–231.
2010 |Published| Journal Article | IST-REx-ID: 2389 | 
Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy
C. Hainzl, R. Seiringer, Mathematische Nachrichten 283 (2010) 489–499.
View
| DOI
| Download (ext.)
C. Hainzl, R. Seiringer, Mathematische Nachrichten 283 (2010) 489–499.
2010 |Published| Journal Article | IST-REx-ID: 2704
Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate
L. Erdös, B. Schlein, H. Yau, Annals of Mathematics 172 (2010) 291–370.
View
| DOI
| Download (ext.)
L. Erdös, B. Schlein, H. Yau, Annals of Mathematics 172 (2010) 291–370.
2010 |Published| Journal Article | IST-REx-ID: 2761
Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation
L. Erdös, J. Ramírez, B. Schlein, H. Yau, Electronic Journal of Probability 15 (2010) 526–603.
View
| DOI
L. Erdös, J. Ramírez, B. Schlein, H. Yau, Electronic Journal of Probability 15 (2010) 526–603.
2010 |Published| Journal Article | IST-REx-ID: 2756
Ground state energy of large atoms in a self-generated magnetic field
L. Erdös, J. Solovej, Communications in Mathematical Physics 294 (2010) 229–249.
View
| DOI
L. Erdös, J. Solovej, Communications in Mathematical Physics 294 (2010) 229–249.
2010 |Published| Journal Article | IST-REx-ID: 2763
Bulk universality for Wigner Hermitian matrices with subexponential decay
L. Erdös, J. Ramírez, B. Schlein, T. Tao, V. Van, H. Yau, Mathematical Research Letters 17 (2010) 667–674.
View
L. Erdös, J. Ramírez, B. Schlein, T. Tao, V. Van, H. Yau, Mathematical Research Letters 17 (2010) 667–674.
2010 |Published| Book | IST-REx-ID: 3899
Computational Topology: An Introduction
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
View
| Files available
| DOI
| Download None (ext.)
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
2010 |Published| Journal Article | IST-REx-ID: 3867 |
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
2010 |Published| Journal Article | IST-REx-ID: 533
Doomed program points
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
View
| DOI
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
2009 |Published| Journal Article | IST-REx-ID: 1038 |
Dark resonances for ground-state transfer of molecular quantum gases
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
View
| DOI
| Download None (ext.)
| arXiv
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
2009 |Published| Journal Article | IST-REx-ID: 1041 |
Deeply bound ultracold molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
View
| DOI
| Download None (ext.)
| arXiv
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
2009 |Published| Journal Article | IST-REx-ID: 1043 |
Precision molecular spectroscopy for ground state transfer of molecular quantum gases
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.
2009 |Published| Book Chapter | IST-REx-ID: 164 |
Integral points on cubic hypersurfaces
T.D. Browning, R. Heath Brown, in:, Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, R. Heath Brown, in:, Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
2009 |Published| Journal Article | IST-REx-ID: 2149 |
Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View
| DOI
| Download (ext.)
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
2009 |Published| Book | IST-REx-ID: 227
Quantitative Arithmetic of Projective Varieties
T.D. Browning, Quantitative Arithmetic of Projective Varieties, Birkhäuser Basel, 2009.
View
| DOI
T.D. Browning, Quantitative Arithmetic of Projective Varieties, Birkhäuser Basel, 2009.
2009 |Published| Book | IST-REx-ID: 2326
The Stability of Matter in Quantum Mechanics
É. Lieb, R. Seiringer, The Stability of Matter in Quantum Mechanics, Cambridge University Press, 2009.
View
| Download None (ext.)
É. Lieb, R. Seiringer, The Stability of Matter in Quantum Mechanics, Cambridge University Press, 2009.
2009 |Published| Journal Article | IST-REx-ID: 2384 |
The ground state energy of the weakly interacting Bose gas at high density
A. Giuliani, R. Seiringer, Journal of Statistical Physics 135 (2009) 915–934.
View
| DOI
| Download (ext.)
A. Giuliani, R. Seiringer, Journal of Statistical Physics 135 (2009) 915–934.
2009 |Published| Journal Article | IST-REx-ID: 2386 |
Rigorous upper bound on the critical temperature of dilute Bose gases
R. Seiringer, D. Ueltschi, Physical Review B - Condensed Matter and Materials Physics 80 (2009).
View
| DOI
| Download (ext.)
R. Seiringer, D. Ueltschi, Physical Review B - Condensed Matter and Materials Physics 80 (2009).
2009 |Published| Book Chapter | IST-REx-ID: 3747
Cell Biology: Networks, regulation, pathways
G. Tkačik, W. Bialek, in:, R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science, Springer, 2009, pp. 719–741.
View
| DOI
G. Tkačik, W. Bialek, in:, R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science, Springer, 2009, pp. 719–741.
2009 |Published| Journal Article | IST-REx-ID: 3869
Qualitative logics and equivalences for probabilistic systems
K. Chatterjee, L. De Alfaro, M. Faella, A. Legay, Logical Methods in Computer Science 5 (2009).
View
| DOI
K. Chatterjee, L. De Alfaro, M. Faella, A. Legay, Logical Methods in Computer Science 5 (2009).