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.
545 Publications
2011 |Published| Conference Paper | IST-REx-ID: 3345 | 
Chatterjee, Krishnendu, and Laurent Doyen. “Energy and Mean-Payoff Parity Markov Decision Processes,” 6907:206–18. Springer, 2011. https://doi.org/10.1007/978-3-642-22993-0_21.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Technical Report | IST-REx-ID: 5387 |
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0001.
[Published Version]
View
| Files available
| DOI
2010 |Published| Book Chapter | IST-REx-ID: 2309
Stauber, Tobias, Gaia Novarino, and Thomas Jentsch. “The CLC Family of Chloride Channels and Transporters.” In Physiology and Pathology of Chloride Transporters and Channels in the Nervous System, 209–31. Elsevier, 2010. https://doi.org/10.1016/B978-0-12-374373-2.00012-1.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2389 |
Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues of Schrödinger Type Operators with Degenerate Kinetic Energy.” Mathematische Nachrichten. Wiley-Blackwell, 2010. https://doi.org/10.1002/mana.200810195.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 2704
Erdös, László, Benjamin Schlein, and Horng Yau. “Derivation of the Gross-Pitaevskii Equation for the Dynamics of Bose-Einstein Condensate.” Annals of Mathematics. Princeton University Press, 2010. https://doi.org/10.4007/annals.2010.172.291.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 2761
Erdös, László, José Ramírez, Benjamin Schlein, and Horng Yau. “Universality of Sine-Kernel for Wigner Matrices with a Small Gaussian Perturbation.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2010. https://doi.org/10.1214/EJP.v15-768.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2756
Erdös, László, and Jan Solovej. “Ground State Energy of Large Atoms in a Self-Generated Magnetic Field.” Communications in Mathematical Physics. Springer, 2010. https://doi.org/10.1007/s00220-009-0869-2.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2763
Erdös, László, José Ramírez, Benjamin Schlein, Terence Tao, Vu Van, and Horng Yau. “Bulk Universality for Wigner Hermitian Matrices with Subexponential Decay.” Mathematical Research Letters. International Press, 2010.
View
2010 |Published| Book | IST-REx-ID: 3899
Edelsbrunner, Herbert, and John Harer. Computational Topology: An Introduction. Vol. 69. American Mathematical Society, 2010. https://doi.org/10.1090/mbk/069.
View
| Files available
| DOI
| Download None (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3867 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:10)2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-010-0102-0.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 1038 |
Mark, Manfred, Johann G Danzl, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Houssam Salami, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics. Springer, 2009. https://doi.org/10.1007/s00340-009-3407-1.
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1041 |
Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Russell Hart, Andreas Liem, Holger Zellmer, and Hanns Nägerl. “Deeply Bound Ultracold Molecules in an Optical Lattice.” New Journal of Physics. IOP Publishing Ltd., 2009. https://doi.org/10.1088/1367-2630/11/5/055036.
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1043 |
Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, Russell Hart, and Hanns Nägerl. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” Faraday Discussions. Royal Society of Chemistry, 2009. https://doi.org/10.1039/b820542f.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Book Chapter | IST-REx-ID: 164 |
Browning, Timothy D, and Roger Heath Brown. “Integral Points on Cubic Hypersurfaces.” In Analytic Number Theory: Essays in Honour of Klaus Roth, 75–90. Cambridge University Press, 2009.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 2149 |
Lemeshko, Mikhail, and Břetislav Friedrich. “Collisions of Paramagnetic Molecules in Magnetic Fields: An Analytic Model Based on Fraunhofer Diffraction of Matter Waves.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2009. https://doi.org/10.1103/PhysRevA.79.012718.
View
| DOI
| Download (ext.)
2009 |Published| Book | IST-REx-ID: 227
Browning, Timothy D. Quantitative Arithmetic of Projective Varieties. Vol. 277. Birkhäuser Basel, 2009. https://doi.org/10.1007/978-3-0346-0129-0.
View
| DOI
2009 |Published| Book | IST-REx-ID: 2326
Lieb, Élliott, and Robert Seiringer. The Stability of Matter in Quantum Mechanics. Cambridge University Press, 2009.
View
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2384 |
Giuliani, Alessandro, and Robert Seiringer. “The Ground State Energy of the Weakly Interacting Bose Gas at High Density.” Journal of Statistical Physics. Springer, 2009. https://doi.org/10.1007/s10955-009-9718-0.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2386 |
Seiringer, Robert, and Daniel Ueltschi. “Rigorous Upper Bound on the Critical Temperature of Dilute Bose Gases.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2009. https://doi.org/10.1103/PhysRevB.80.014502.
View
| DOI
| Download (ext.)