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.
5611 Publications
2009 |
Published |
Journal Article |
IST-REx-ID: 2193 |
Lemeshko M, Friedrich B. 2009. Probing weakly bound molecules with nonresonant light. Physical Review Letters. 103(5).
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 228 |
Browning TD, Heath Brown R. 2009. Rational points on quartic hypersurfaces. Journal fur die Reine und Angewandte Mathematik. (629), 37–88.
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 229 |
Browning TD. 2009. Linear growth for Châtelet surfaces. Mathematische Annalen. 346(1), 41–50.
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2384 |
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 |
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 |
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 |
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 |
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 |
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 |
Conference Paper |
IST-REx-ID: 4569 |
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 |
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 |
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 |
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 |
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 |
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 |
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.)
2009 |
Published |
Journal Article |
IST-REx-ID: 9147 |
Muller CJ, Bühler O. 2009. Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. 39(9), 2077–2096.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 9148 |
Muller CJ, Back LE, O’Gorman PA, Emanuel KA. 2009. A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. 36(16), L16804.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 9453 |
Hsieh T-F, Ibarra CA, Silva P, Zemach A, Eshed-Williams L, Fischer RL, Zilberman D. 2009. Genome-wide demethylation of Arabidopsis endosperm. Science. 324(5933), 1451–1454.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |
Published |
Journal Article |
IST-REx-ID: 1038 |
Mark M, Danzl JG, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Salami H, Bergeman T, Ritsch H, Hart R, Nägerl H. 2009. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 95(2), 219–225.
View
| DOI
| Download None (ext.)
| arXiv