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.
5859 Publications
2009 |Published| Conference Paper | IST-REx-ID: 4545 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
2009 |Published| Conference Paper | IST-REx-ID: 4544 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View
| Files available
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
2009 |Published| Conference Paper | IST-REx-ID: 4569 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
2009 |Published| Conference Paper | IST-REx-ID: 4580 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View
| Files available
| DOI
| Download (ext.)
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
2009 |Published| Technical Report | IST-REx-ID: 5393 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 8026 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gating multiple signals through detailed balance of excitation and inhibition in spiking networks
T.P. Vogels, L.F. Abbott, Nature Neuroscience 12 (2009) 483–491.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
T.P. Vogels, L.F. Abbott, Nature Neuroscience 12 (2009) 483–491.
2009 |Published| Journal Article | IST-REx-ID: 88 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Journal Article | IST-REx-ID: 9148 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A model for the relationship between tropical precipitation and column water vapor
C.J. Muller, L.E. Back, P.A. O’Gorman, K.A. Emanuel, Geophysical Research Letters 36 (2009).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, L.E. Back, P.A. O’Gorman, K.A. Emanuel, Geophysical Research Letters 36 (2009).
2009 |Published| Journal Article | IST-REx-ID: 9147 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Saturation of the internal tides and induced mixing in the abyssal ocean
C.J. Muller, O. Bühler, Journal of Physical Oceanography 39 (2009) 2077–2096.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, O. Bühler, Journal of Physical Oceanography 39 (2009) 2077–2096.
2009 |Published| Journal Article | IST-REx-ID: 9453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Genome-wide demethylation of Arabidopsis endosperm
T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.
2008 |Published| Journal Article | IST-REx-ID: 1036 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 11113 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shaping the endoplasmic reticulum into the nuclear envelope
D.J. Anderson, M. Hetzer, Journal of Cell Science 121 (2008) 137–142.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D.J. Anderson, M. Hetzer, Journal of Cell Science 121 (2008) 137–142.
2008 |Published| Journal Article | IST-REx-ID: 11114 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions
R. Schulte, J. Talamas, C. Doucet, M. Hetzer, PLoS ONE 3 (2008).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Schulte, J. Talamas, C. Doucet, M. Hetzer, PLoS ONE 3 (2008).
2008 |Published| Journal Article | IST-REx-ID: 1460 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.