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.
6372 Publications
2009 | Published | Journal Article | IST-REx-ID: 4242 | 
Barton, Nicholas H, and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution. Wiley, 2009. https://doi.org/10.1111/j.1558-5646.2009.00622.x.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4383 |
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. https://doi.org/10.1007/978-3-642-04027-6_9.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
Henzinger, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,” 5643:337–52. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_27.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. https://doi.org/10.1007/978-3-642-03409-1_2.
[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: 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: 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: 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: 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: 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 | Book Chapter | IST-REx-ID: 164 |
Browning, Timothy D, and Roger Heath Brown. “Integral Points on Cubic Hypersurfaces.” In Analytic Number Theory: Essays in Honour of Klaus Roth, 75–90. Cambridge University Press, 2009.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1766 |
Leek, Peter, Stefan Filipp, Patrick Maurer, Matthias Baur, R Bianchetti, Johannes M Fink, M Göppl, L. Steffen, and Andreas Wallraff. “Using Sideband Transitions for Two-Qubit Operations in Superconducting Circuits.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2009. https://doi.org/10.1103/PhysRevB.79.180511.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 1767 |
Baur, Matthias, Stefan Filipp, R Bianchetti, Johannes M Fink, M Göppl, L. Steffen, Peter Leek, Alexandre Blais, and Andreas Wallraff. “Measurement of Autler-Townes and Mollow Transitions in a Strongly Driven Superconducting Qubit.” Physical Review Letters. American Physical Society, 2009. https://doi.org/10.1103/PhysRevLett.102.243602.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 1768 |
Filipp, Stefan, Patrick Maurer, Peter Leek, Matthias Baur, R Bianchetti, Johannes M Fink, M Göppl, et al. “Two-Qubit State Tomography Using a Joint Dispersive Readout.” Physical Review Letters. American Physical Society, 2009. https://doi.org/10.1103/PhysRevLett.102.200402.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 1769 |
Fink, Johannes M, R Bianchetti, Matthias Baur, M Göppl, L. Steffen, Stefan Filipp, Peter Leek, Alexandre Blais, and Andreas Wallraff. “Dressed Collective Qubit States and the Tavis-Cummings Model in Circuit QED.” Physical Review Letters. American Physical Society, 2009. https://doi.org/10.1103/PhysRevLett.103.083601.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 1770 |
Bianchetti, R, Stefan Filipp, Matthias Baur, Johannes M Fink, M Göppl, Peter Leek, L. Steffen, Alexandre Blais, and Andreas Wallraff. “Dynamics of Dispersive Single-Qubit Readout in Circuit Quantum Electrodynamics.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2009. https://doi.org/10.1103/PhysRevA.80.043840.
View
| DOI
| Download (ext.)