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.
7115 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4545 | 
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: 4580 |
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: 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: 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: 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 | Book Chapter | IST-REx-ID: 164 |
Integral points on cubic hypersurfaces
T.D. Browning, R. Heath Brown, in:, Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, R. Heath Brown, in:, Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
2009 | Published | Conference Paper | IST-REx-ID: 165
Resent progress on the quantitative arithmetic of del Pezzo surfaces
T.D. Browning, in:, T. Aoki, S. Kanemitsu, J. Liu (Eds.), World Scientific Publishing, 2009, pp. 1–18.
View
| DOI
T.D. Browning, in:, T. Aoki, S. Kanemitsu, J. Liu (Eds.), World Scientific Publishing, 2009, pp. 1–18.
2009 | Published | Book Chapter | IST-REx-ID: 168
Solubility of Fermat equations
T.D. Browning, R. Dietmann, in:, Quadratic Forms - Algebra, Arithmetic and Geometry, American Mathematical Society, 2009, pp. 99–106.
View
| DOI
| Download (ext.)
T.D. Browning, R. Dietmann, in:, Quadratic Forms - Algebra, Arithmetic and Geometry, American Mathematical Society, 2009, pp. 99–106.
2009 | Published | Journal Article | IST-REx-ID: 1718
Temporal dynamics of patterning by morphogen gradients
E. Kutějová, J. Briscoe, A. Kicheva, Current Opinion in Genetics & Development 19 (2009) 315–322.
View
| DOI
E. Kutějová, J. Briscoe, A. Kicheva, Current Opinion in Genetics & Development 19 (2009) 315–322.
2009 | Published | Journal Article | IST-REx-ID: 1720
Morphogen gradient formation
O. Wartlick, A. Kicheva, M. González Gaitán, Cold Spring Harbor Perspectives in Biology 1 (2009).
View
| DOI
O. Wartlick, A. Kicheva, M. González Gaitán, Cold Spring Harbor Perspectives in Biology 1 (2009).
2009 | Published | Journal Article | IST-REx-ID: 1766 |
Using sideband transitions for two-qubit operations in superconducting circuits
P. Leek, S. Filipp, P. Maurer, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, A. Wallraff, Physical Review B - Condensed Matter and Materials Physics 79 (2009).
View
| DOI
| Download (ext.)
P. Leek, S. Filipp, P. Maurer, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, A. Wallraff, Physical Review B - Condensed Matter and Materials Physics 79 (2009).
2009 | Published | Journal Article | IST-REx-ID: 1767 |
Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit
M. Baur, S. Filipp, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
View
| DOI
| Download (ext.)
M. Baur, S. Filipp, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
2009 | Published | Journal Article | IST-REx-ID: 1768 |
Two-qubit state tomography using a joint dispersive readout
S. Filipp, P. Maurer, P. Leek, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, J. Gambetta, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
View
| DOI
| Download (ext.)
S. Filipp, P. Maurer, P. Leek, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, J. Gambetta, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
2009 | Published | Journal Article | IST-REx-ID: 1769 |
Dressed collective qubit states and the Tavis-Cummings model in circuit QED
J.M. Fink, R. Bianchetti, M. Baur, M. Göppl, L. Steffen, S. Filipp, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 103 (2009).
View
| DOI
| Download (ext.)
J.M. Fink, R. Bianchetti, M. Baur, M. Göppl, L. Steffen, S. Filipp, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 103 (2009).
2009 | Published | Journal Article | IST-REx-ID: 1770 |
Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 80 (2009).
View
| DOI
| Download (ext.)
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 80 (2009).
2009 | Published | Journal Article | IST-REx-ID: 1771 |
Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics
J.M. Fink, M. Baur, R. Bianchetti, S. Filipp, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physica Scripta T T137 (2009).
View
| DOI
| Download (ext.)
J.M. Fink, M. Baur, R. Bianchetti, S. Filipp, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physica Scripta T T137 (2009).
2009 | Published | Journal Article | IST-REx-ID: 1798
Genetic address book for retinal cell types
S. Siegert, B. Scherf, K. Del Punta, N. Didkovsky, N. Heintz, B. Roska, Nature Neuroscience 12 (2009) 1197–1204.
View
| DOI
S. Siegert, B. Scherf, K. Del Punta, N. Didkovsky, N. Heintz, B. Roska, Nature Neuroscience 12 (2009) 1197–1204.
2009 | Published | Journal Article | IST-REx-ID: 1799
Approach sensitivity in the retina processed by a multifunctional neural circuit
T. Münch, R. Da Silveira, S. Siegert, T. Viney, G. Awatramani, B. Roska, Nature Neuroscience 12 (2009) 1308–1316.
View
| DOI
T. Münch, R. Da Silveira, S. Siegert, T. Viney, G. Awatramani, B. Roska, Nature Neuroscience 12 (2009) 1308–1316.