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,” 500:101–4. American Mathematical Society, 2009. https://doi.org/10.1090/conm/500/09823.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2384 | OA
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: 2385 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Yrast Line of a Rapidly Rotating Bose Gas: Gross-Pitaevskii Regime.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2009. https://doi.org/10.1103/PhysRevA.79.063626.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2386 | OA
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.)
 

2009 | Published | Journal Article | IST-REx-ID: 2387 | OA
Lewin, Mathieu, and Robert Seiringer. “Strongly Correlated Phases in Rapidly Rotating Bose Gases.” Journal of Statistical Physics. Springer, 2009. https://doi.org/10.1007/s10955-009-9833-y.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2388 | OA
Predd, Joel, Robert Seiringer, Élliott Lieb, Daniel Osherson, Harold Poor, and Sanjeev Kulkarni. “Probabilistic Coherence and Proper Scoring Rules.” IEEE Transactions on Information Theory. IEEE, 2009. https://doi.org/10.1109/TIT.2009.2027573.
View | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 2433 | OA
Matoušek, Jiří, Martin Tancer, and Uli Wagner. “Hardness of Embedding Simplicial Complexes in ℝd,” 855–64. SIAM, 2009.
View | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2434
Buchin, Kevin, Andreas Razen, Takeaki Uno, and Uli Wagner. “Transforming Spanning Trees: A Lower Bound.” Computational Geometry: Theory and Applications. Elsevier, 2009. https://doi.org/10.1016/j.comgeo.2008.03.005.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 7080
Yang, X.-D., P.S. Riseborough, Kimberly A Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” Philosophical Magazine. Taylor & Francis, 2009. https://doi.org/10.1080/14786430902865518.
View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 7319
Reum, Mathias, Stefan Alexander Freunberger, Alexander Wokaun, and Felix N. Büchi. “Measuring the Current Distribution with Sub-Millimeter Resolution in PEFCs: II. Impact of Operating Parameters.” Journal of The Electrochemical Society. The Electrochemical Society, 2009. https://doi.org/10.1149/1.3043422.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 752
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement,” 5878 LNCS:943–53. Springer, 2009. https://doi.org/10.1007/978-3-642-10631-6_95.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 7751
Robinson, Matthew Richard, Alastair J. Wilson, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske E. B. Kruuk. “The Impact of Environmental Heterogeneity on Genetic Architecture in a Wild Population of Soay Sheep.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.108.086801.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_14.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. https://doi.org/10.1007/978-3-642-00768-2_7.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0004.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0003.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0002.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0001.
[Published Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 599 | OA
Knuesel, Matthew, Krista Meyer, Carrie Bernecky, and Dylan Taatjes. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development. Cold Spring Harbor Laboratory Press, 2009. https://doi.org/10.1101/gad.1767009.
View | DOI | Download None (ext.)
 

Filters and Search Terms

year=2009

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed