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 | 
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. https://doi.org/10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4544 |
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,” 197–206. SIAM, 2009. https://doi.org/10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4569 |
Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Conference Paper | IST-REx-ID: 4580 |
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. https://doi.org/10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Technical Report | IST-REx-ID: 5393 |
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0003.
[Published Version]
View
| Files available
| DOI
2009 |Published| Technical Report | IST-REx-ID: 5394 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
2009 |Published| Technical Report | IST-REx-ID: 5392 |
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0004.
[Published Version]
View
| Files available
| DOI
2009 |Published| Technical Report | IST-REx-ID: 5395 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0001.
[Published Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 599 |
Knuesel, Matthew, Krista Meyer, Carrie Bernecky, and Dylan Taatjes. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development. Cold Spring Harbor Laboratory Press, 2009. https://doi.org/10.1101/gad.1767009.
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 8026 |
Vogels, Tim P, and L F Abbott. “Gating Multiple Signals through Detailed Balance of Excitation and Inhibition in Spiking Networks.” Nature Neuroscience. Springer Nature, 2009. https://doi.org/10.1038/nn.2276.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 88 |
Higginbotham, Andrew P, Octavi Semonin, S Bruce, C Chan, M Maindi, Tom Donnelly, M Maurer, et al. “Generation of Mie Size Microdroplet Aerosols with Applications in Laser-Driven Fusion Experiments.” Review of Scientific Instruments. American Institute of Physics, 2009. https://doi.org/10.1063/1.3155302.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 9148 |
Muller, Caroline J, Larissa E. Back, Paul A. O’Gorman, and Kerry A. Emanuel. “A Model for the Relationship between Tropical Precipitation and Column Water Vapor.” Geophysical Research Letters. American Geophysical Union, 2009. https://doi.org/10.1029/2009gl039667.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |Published| Journal Article | IST-REx-ID: 9147 |
Muller, Caroline J, and Oliver Bühler. “Saturation of the Internal Tides and Induced Mixing in the Abyssal Ocean.” Journal of Physical Oceanography. American Meteorological Society, 2009. https://doi.org/10.1175/2009jpo4141.1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |Published| Journal Article | IST-REx-ID: 9453 |
Hsieh, Tzung-Fu, Christian A. Ibarra, Pedro Silva, Assaf Zemach, Leor Eshed-Williams, Robert L. Fischer, and Daniel Zilberman. “Genome-Wide Demethylation of Arabidopsis Endosperm.” Science. American Association for the Advancement of Science, 2009. https://doi.org/10.1126/science.1172417.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 1036 |
Gustavsson, Mattias, Elmar Haller, Manfred Mark, Johann G Danzl, Gabriel Rojas Kopeinig, and Hanns Nägerl. “Control of Interaction-Induced Dephasing of Bloch Oscillations.” Physical Review Letters. American Physical Society, 2008. https://doi.org/10.1103/PhysRevLett.100.080404.
View
| DOI
| Download None (ext.)
| arXiv
2008 |Published| Journal Article | IST-REx-ID: 1037 |
Knoop, Steven, Michael Mark, Francesca Ferlaino, Johann G Danzl, Tobias Kraemer, Hanns Nägerl, and Rudolf Grimm. “Metastable Feshbach Molecules in High Rotational States.” Physical Review Letters. American Physical Society, 2008. https://doi.org/10.1103/PhysRevLett.100.083002.
View
| DOI
| Download None (ext.)
| arXiv
2008 |Published| Journal Article | IST-REx-ID: 1039 |
Danzl, Johann G, Elmar Haller, Mattias Gustavsson, Manfred Mark, Russell Hart, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, and Hanns Nägerl. “Quantum Gas of Deeply Bound Ground State Molecules.” Science. American Association for the Advancement of Science, 2008. https://doi.org/10.1126/science.1159909.
View
| DOI
| Download None (ext.)
| arXiv
2008 |Published| Journal Article | IST-REx-ID: 11113 |
Anderson, Daniel J., and Martin Hetzer. “Shaping the Endoplasmic Reticulum into the Nuclear Envelope.” Journal of Cell Science. The Company of Biologists, 2008. https://doi.org/10.1242/jcs.005777.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 11114 |
Schulte, Roberta, Jessica Talamas, Christine Doucet, and Martin Hetzer. “Single Bead Affinity Detection (SINBAD) for the Analysis of Protein-Protein Interactions.” PLoS ONE. Public Library of Science, 2008. https://doi.org/10.1371/journal.pone.0002061.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 1460 |
Hausel, Tamás, and Fernando Rodríguez Villegas. “Mixed Hodge Polynomials of Character Varieties: With an Appendix by Nicholas M. Katz.” Inventiones Mathematicae. Springer, 2008. https://doi.org/10.1007/s00222-008-0142-x.
View
| DOI
| Download (ext.)