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

2009 | Published | Conference Paper | IST-REx-ID: 2330
Hainzl C, Seiringer R. 2009. A linear criterion for solutions of non-linear equations, with application to the BCS gap equation. Spectral and Scattering Theory for Quantum Magnetic Systems, Contemporary Mathematics, vol. 500, 101–104.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2384 | OA
Giuliani A, Seiringer R. 2009. The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. 135(5–6), 915–934.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2385 | OA
Lieb É, Seiringer R, Yngvason J. 2009. Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime. Physical Review A - Atomic, Molecular, and Optical Physics. 79(6).
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2386 | OA
Seiringer R, Ueltschi D. 2009. Rigorous upper bound on the critical temperature of dilute Bose gases. Physical Review B - Condensed Matter and Materials Physics. 80(1).
View | DOI | Download (ext.)
 

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

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

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

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

2009 | Published | Journal Article | IST-REx-ID: 7080
Yang X-D, Riseborough PS, Modic KA, Fisher RA, Opeil CP, Finlayson TR, Cooley JC, Smith JL, Goddard PA, Silhanek AV, Lashley JC. 2009. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 89(22–24), 2083–2091.
View | Files available | DOI
 

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

2009 | Published | Conference Paper | IST-REx-ID: 752
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2009. Of choices, failures and asynchrony: the many faces of set agreement. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 5878 LNCS, 943–953.
View | DOI
 

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

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.
[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. 2009. Alpaga: A tool for solving parity games with imperfect information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 5505, 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
[Published Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 599 | OA
Knuesel M, Meyer K, Bernecky C, Taatjes D. 2009. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 23(4), 439–451.
View | DOI | Download None (ext.)
 

Filters and Search Terms

year=2009

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed