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.
232 Publications
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 |
Conference Paper |
IST-REx-ID: 2330
Hainzl, Christian, and Robert Seiringer. A Linear Criterion for Solutions of Non-Linear Equations, with Application to the BCS Gap Equation. Vol. 500, American Mathematical Society, 2009, pp. 101–04, doi:10.1090/conm/500/09823.
View
| DOI
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, vol. 135, no. 5–6, Springer, 2009, pp. 915–34, doi:10.1007/s10955-009-9718-0.
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2385 |
Lieb, Élliott, et al. “Yrast Line of a Rapidly Rotating Bose Gas: Gross-Pitaevskii Regime.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 6, American Physical Society, 2009, doi:10.1103/PhysRevA.79.063626.
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, vol. 80, no. 1, American Physical Society, 2009, doi:10.1103/PhysRevB.80.014502.
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2387 |
Lewin, Mathieu, and Robert Seiringer. “Strongly Correlated Phases in Rapidly Rotating Bose Gases.” Journal of Statistical Physics, vol. 137, no. 5, Springer, 2009, pp. 1040–62, doi:10.1007/s10955-009-9833-y.
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2388 |
Predd, Joel, et al. “Probabilistic Coherence and Proper Scoring Rules.” IEEE Transactions on Information Theory, vol. 55, no. 10, IEEE, 2009, pp. 4786–92, doi:10.1109/TIT.2009.2027573.
View
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 2433 |
Matoušek, Jiří, et al. Hardness of Embedding Simplicial Complexes in ℝd. SIAM, 2009, pp. 855–64.
View
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2434
Buchin, Kevin, et al. “Transforming Spanning Trees: A Lower Bound.” Computational Geometry: Theory and Applications, vol. 42, no. 8, Elsevier, 2009, pp. 724–30, doi:10.1016/j.comgeo.2008.03.005.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 7080
Yang, X. D., et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” Philosophical Magazine, vol. 89, no. 22–24, Taylor & Francis, 2009, pp. 2083–91, doi:10.1080/14786430902865518.
View
| Files available
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 7319
Reum, Mathias, et al. “Measuring the Current Distribution with Sub-Millimeter Resolution in PEFCs: II. Impact of Operating Parameters.” Journal of The Electrochemical Society, vol. 156, no. 3, B301, The Electrochemical Society, 2009, doi:10.1149/1.3043422.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 752
Alistarh, Dan-Adrian, et al. Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement. Vol. 5878 LNCS, Springer, 2009, pp. 943–53, doi:10.1007/978-3-642-10631-6_95.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 7751
Robinson, Matthew Richard, et al. “The Impact of Environmental Heterogeneity on Genetic Architecture in a Wild Population of Soay Sheep.” Genetics, vol. 181, no. 4, Genetics Society of America, 2009, pp. 1639–48, doi:10.1534/genetics.108.086801.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4569 |
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |
Published |
Conference Paper |
IST-REx-ID: 4580 |
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Technical Report |
IST-REx-ID: 5392 |
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.
[Published Version]
View
| Files available
| DOI
2009 |
Published |
Technical Report |
IST-REx-ID: 5393 |
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
[Published Version]
View
| Files available
| DOI
2009 |
Published |
Technical Report |
IST-REx-ID: 5394 |
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
2009 |
Published |
Technical Report |
IST-REx-ID: 5395 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
[Published Version]
View
| Files available
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 599 |
Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:10.1101/gad.1767009.
View
| DOI
| Download None (ext.)