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.
6985 Publications
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: 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: 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: 6144
Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. 2009. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 458(7241), 1030–1033.
View
| DOI
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 6145
Cohen M, Reale V, Olofsson B, Knights A, Evans P, de Bono M. 2009. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. 9(4), 375–385.
View
| DOI
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 88 |
Higginbotham AP, Semonin O, Bruce S, Chan C, Maindi M, Donnelly T, Maurer M, Bang W, Churina I., Osterholz J, Kim I, Bernstein A, Ditmire T. 2009. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 80(6), 063503.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 1036 |
Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. 2008. Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. 100(8).
View
| DOI
| Download None (ext.)
| arXiv
2008 |Published| Journal Article | IST-REx-ID: 1037 |
Knoop S, Mark M, Ferlaino F, Danzl JG, Kraemer T, Nägerl H, Grimm R. 2008. Metastable feshbach molecules in high rotational states. Physical Review Letters. 100(8).
View
| DOI
| Download None (ext.)
| arXiv
2008 |Published| Journal Article | IST-REx-ID: 1039 |
Danzl JG, Haller E, Gustavsson M, Mark M, Hart R, Bouloufa N, Dulieu O, Ritsch H, Nägerl H. 2008. Quantum gas of deeply bound ground state molecules. Science. 321(5892), 1062–1066.
View
| DOI
| Download None (ext.)
| arXiv
2008 |Published| Journal Article | IST-REx-ID: 1460 |
Hausel T, Rodríguez Villegas F. 2008. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 174(3), 555–624.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 1749
Rastelli A, Stoffel M, Malachias Â, Merdzhanova T, Katsaros G, Kern K, Metzger T, Schmidt O. 2008. Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography. Nano Letters. 8(5), 1404–1409.
View
| DOI