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 É, Seiringer R. The Stability of Matter in Quantum Mechanics. Cambridge University Press; 2009.
View | Download None (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 2330
Hainzl C, Seiringer R. A linear criterion for solutions of non-linear equations, with application to the BCS gap equation. In: Vol 500. American Mathematical Society; 2009:101-104. doi:10.1090/conm/500/09823
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2384 | OA
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: 2385 | OA
Lieb É, Seiringer R, Yngvason J. Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime. Physical Review A - Atomic, Molecular, and Optical Physics. 2009;79(6). doi:10.1103/PhysRevA.79.063626
View | DOI | Download (ext.)
 

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

2009 | Published | Journal Article | IST-REx-ID: 2387 | OA
Lewin M, Seiringer R. Strongly correlated phases in rapidly rotating Bose gases. Journal of Statistical Physics. 2009;137(5):1040-1062. doi:10.1007/s10955-009-9833-y
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2388 | OA
Predd J, Seiringer R, Lieb É, Osherson D, Poor H, Kulkarni S. Probabilistic coherence and proper scoring rules. IEEE Transactions on Information Theory. 2009;55(10):4786-4792. doi:10.1109/TIT.2009.2027573
View | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 2433 | OA
Matoušek J, Tancer M, Wagner U. Hardness of embedding simplicial complexes in ℝd. In: SIAM; 2009:855-864.
View | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2434
Buchin K, Razen A, Uno T, Wagner U. Transforming spanning trees: A lower bound. Computational Geometry: Theory and Applications. 2009;42(8):724-730. doi:10.1016/j.comgeo.2008.03.005
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 7080
Yang X-D, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 2009;89(22-24):2083-2091. doi:10.1080/14786430902865518
View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 7319
Reum M, Freunberger SA, Wokaun A, Büchi FN. Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. 2009;156(3). doi:10.1149/1.3043422
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 752
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and asynchrony: the many faces of set agreement. In: Vol 5878 LNCS. Springer; 2009:943-953. doi:10.1007/978-3-642-10631-6_95
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 7751
Robinson MR, Wilson AJ, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. 2009;181(4):1639-1648. doi:10.1534/genetics.108.086801
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi: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 D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009: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 | OA
Chatterjee K. 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 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 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 | OA
Chatterjee K, Henzinger TA, Horn F. 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 | OA
Chatterjee K, Doyen L, Henzinger TA. 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 | OA
Knuesel M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 2009;23(4):439-451. doi:10.1101/gad.1767009
View | DOI | Download None (ext.)
 

Filters and Search Terms

year=2009

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed