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 | 
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
2009 |Published| Technical Report | IST-REx-ID: 5394 |
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
2009 |Published| Technical Report | IST-REx-ID: 5392 |
Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
2009 |Published| Technical Report | IST-REx-ID: 5395 |
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
2009 |Published| Journal Article | IST-REx-ID: 599 |
The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
View
| DOI
| Download None (ext.)
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
2009 |Published| Journal Article | IST-REx-ID: 6144
Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans
A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.
View
| DOI
| PubMed | Europe PMC
A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.
2009 |Published| Journal Article | IST-REx-ID: 6145
Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling
M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, M. de Bono, Cell Metabolism 9 (2009) 375–385.
View
| DOI
| PubMed | Europe PMC
M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, M. de Bono, Cell Metabolism 9 (2009) 375–385.
2009 |Published| Conference Paper | IST-REx-ID: 752
Of choices, failures and asynchrony: the many faces of set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2009, pp. 943–953.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2009, pp. 943–953.
2009 |Published| Journal Article | IST-REx-ID: 88 |
Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).
2009 |Published| Conference Paper | IST-REx-ID: 964
Giant nernst effect due to fluctuating cooper Pairs in superconductors
M. Serbyn, M. Skvortsov, A. Varlamov, V. Galitski, in:, American Institute of Physics, 2009, pp. 140–145.
View
| DOI
M. Serbyn, M. Skvortsov, A. Varlamov, V. Galitski, in:, American Institute of Physics, 2009, pp. 140–145.
2009 |Published| Journal Article | IST-REx-ID: 908
Translation termination in pyrrolysine-utilizing archaea
E. Alkalaeva, B. Eliseev, A. Ambrogelly, P. Vlasov, F. Kondrashov, S. Gundllapalli, L. Frolova, D. Söll, L. Kisselev, FEBS Letters 583 (2009) 3455–3460.
View
| DOI
E. Alkalaeva, B. Eliseev, A. Ambrogelly, P. Vlasov, F. Kondrashov, S. Gundllapalli, L. Frolova, D. Söll, L. Kisselev, FEBS Letters 583 (2009) 3455–3460.
2008 |Published| Journal Article | IST-REx-ID: 1036 |
Control of interaction-induced dephasing of bloch oscillations
M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, G. Rojas Kopeinig, H. Nägerl, Physical Review Letters 100 (2008).
View
| DOI
| Download None (ext.)
| arXiv
M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, G. Rojas Kopeinig, H. Nägerl, Physical Review Letters 100 (2008).
2008 |Published| Journal Article | IST-REx-ID: 1037 |
Metastable feshbach molecules in high rotational states
S. Knoop, M. Mark, F. Ferlaino, J.G. Danzl, T. Kraemer, H. Nägerl, R. Grimm, Physical Review Letters 100 (2008).
View
| DOI
| Download None (ext.)
| arXiv
S. Knoop, M. Mark, F. Ferlaino, J.G. Danzl, T. Kraemer, H. Nägerl, R. Grimm, Physical Review Letters 100 (2008).
2008 |Published| Journal Article | IST-REx-ID: 1039 |
Quantum gas of deeply bound ground state molecules
J.G. Danzl, E. Haller, M. Gustavsson, M. Mark, R. Hart, N. Bouloufa, O. Dulieu, H. Ritsch, H. Nägerl, Science 321 (2008) 1062–1066.
View
| DOI
| Download None (ext.)
| arXiv
J.G. Danzl, E. Haller, M. Gustavsson, M. Mark, R. Hart, N. Bouloufa, O. Dulieu, H. Ritsch, H. Nägerl, Science 321 (2008) 1062–1066.
2008 |Published| Journal Article | IST-REx-ID: 1296
Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.
View
| DOI
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.
2008 |Published| Journal Article | IST-REx-ID: 1460 |
Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
View
| DOI
| Download (ext.)
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
2008 |Published| Journal Article | IST-REx-ID: 1719
Dynamics of anisotropic tissue growth
T. Bittig, O. Wartlick, A. Kicheva, M. González Gaitárr, F. Julicher, New Journal of Physics 10 (2008).
View
| DOI
T. Bittig, O. Wartlick, A. Kicheva, M. González Gaitárr, F. Julicher, New Journal of Physics 10 (2008).
2008 |Published| Journal Article | IST-REx-ID: 1717
The Decapentaplegic morphogen gradient a precise definition
A. Kicheva, M. González Gaitán, Current Opinion in Cell Biology 20 (2008) 137–143.
View
| DOI
A. Kicheva, M. González Gaitán, Current Opinion in Cell Biology 20 (2008) 137–143.
2008 |Published| Journal Article | IST-REx-ID: 1751
Positioning of strained islands by interaction with surface nanogrooves
G. Katsaros, J. Tersoff, M. Stoffel, A. Rastelli, P. Acosta Diaz, G. Kar, G. Costantini, O. Schmidt, K. Kern, Physical Review Letters 101 (2008).
View
| DOI
G. Katsaros, J. Tersoff, M. Stoffel, A. Rastelli, P. Acosta Diaz, G. Kar, G. Costantini, O. Schmidt, K. Kern, Physical Review Letters 101 (2008).
2008 |Published| Journal Article | IST-REx-ID: 1749
Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography
A. Rastelli, M. Stoffel, Â. Malachias, T. Merdzhanova, G. Katsaros, K. Kern, T. Metzger, O. Schmidt, Nano Letters 8 (2008) 1404–1409.
View
| DOI
A. Rastelli, M. Stoffel, Â. Malachias, T. Merdzhanova, G. Katsaros, K. Kern, T. Metzger, O. Schmidt, Nano Letters 8 (2008) 1404–1409.