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 K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. doi: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 K, Doyen L. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria; 2011. doi:10.15479/AT:IST-2011-0001
[Published Version]
View
| Files available
| DOI
2010 |Published| Book Chapter | IST-REx-ID: 2309
Stauber T, Novarino G, Jentsch T. The CLC family of chloride channels and transporters. In: Physiology and Pathology of Chloride Transporters and Channels in the Nervous System. Elsevier; 2010:209-231. doi:10.1016/B978-0-12-374373-2.00012-1
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2389 |
Hainzl C, Seiringer R. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. 2010;283(3):489-499. doi:10.1002/mana.200810195
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 2704
Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate. Annals of Mathematics. 2010;172(1):291-370. doi:10.4007/annals.2010.172.291
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 2761
Erdös L, Ramírez J, Schlein B, Yau H. Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation. Electronic Journal of Probability. 2010;15(18):526-603. doi:10.1214/EJP.v15-768
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2756
Erdös L, Solovej J. Ground state energy of large atoms in a self-generated magnetic field. Communications in Mathematical Physics. 2010;294(1):229-249. doi:10.1007/s00220-009-0869-2
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2763
Erdös L, Ramírez J, Schlein B, Tao T, Van V, Yau H. Bulk universality for Wigner Hermitian matrices with subexponential decay. Mathematical Research Letters. 2010;17(4):667-674.
View
2010 |Published| Book | IST-REx-ID: 3899
Edelsbrunner H, Harer J. Computational Topology: An Introduction. Vol 69. American Mathematical Society; 2010. doi:10.1090/mbk/069
View
| Files available
| DOI
| Download None (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3867 |
Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 2010;6(3):1-23. doi:10.2168/LMCS-6(3:10)2010
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 533
Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. Doomed program points. Formal Methods in System Design. 2010;37(2-3):171-199. doi:10.1007/s10703-010-0102-0
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 1038 |
Mark M, Danzl JG, Haller E, et al. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 2009;95(2):219-225. doi:10.1007/s00340-009-3407-1
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1041 |
Danzl JG, Mark M, Haller E, et al. Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. 2009;11. doi:10.1088/1367-2630/11/5/055036
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1043 |
Danzl JG, Mark M, Haller E, et al. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 2009;142:283-295. doi:10.1039/b820542f
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Book Chapter | IST-REx-ID: 164 |
Browning TD, Heath Brown R. Integral points on cubic hypersurfaces. In: Analytic Number Theory: Essays in Honour of Klaus Roth. Cambridge University Press; 2009:75-90.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 2149 |
Lemeshko M, Friedrich B. 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. 2009;79(1). doi:10.1103/PhysRevA.79.012718
View
| DOI
| Download (ext.)
2009 |Published| Book | IST-REx-ID: 227
Browning TD. Quantitative Arithmetic of Projective Varieties. Vol 277. Birkhäuser Basel; 2009. doi:10.1007/978-3-0346-0129-0
View
| DOI
2009 |Published| Book | IST-REx-ID: 2326
Lieb É, Seiringer R. The Stability of Matter in Quantum Mechanics. Cambridge University Press; 2009.
View
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2384 |
Giuliani A, Seiringer R. The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. 2009;135(5-6):915-934. doi:10.1007/s10955-009-9718-0
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2386 |
Seiringer R, Ueltschi D. Rigorous upper bound on the critical temperature of dilute Bose gases. Physical Review B - Condensed Matter and Materials Physics. 2009;80(1). doi:10.1103/PhysRevB.80.014502
View
| DOI
| Download (ext.)