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.
7146 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4569 | 
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5395 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
[Published Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5392 |
Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5393 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 1460 |
Hausel T, Rodríguez Villegas F. 2008. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 174(3), 555–624.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 11113 |
Anderson DJ, Hetzer M. 2008. Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. 121(2), 137–142.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11114 |
Schulte R, Talamas J, Doucet C, Hetzer M. 2008. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. 3(4), e2061.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 1763 |
Fink JM, Göppl M, Baur M, Bianchetti R, Leek P, Blais A, Wallraff A. 2008. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. 454(7202), 315–318.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 1765 |
Göppl M, Fragner A, Baur M, Bianchetti R, Filipp S, Fink JM, Leek P, Puebla G, Steffen L, Wallraff A. 2008. Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. 104(11).
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17721 |
Kramer RH, Haiman Z. 2008. The thickness of high-redshift quasar ionization fronts as a constraint on the ionizing spectral energy distribution. Monthly Notices of the Royal Astronomical Society. 385(3), 1561–1575.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17734 |
Kocsis B, Haiman Z, Menou K. 2008. Premerger localization of gravitational wave standard sirens with LISA: Triggered search for an electromagnetic counterpart. The Astrophysical Journal. 684(2), 870–887.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17752 |
Lippai Z, Frei Z, Haiman Z. 2008. Prompt shocks in the gas disk around a recoiling supermassive black hole binary. The Astrophysical Journal. 676(1), L5–L8.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17756 |
Hernandez‐Monteagudo C, Haiman Z, Verde L, Jimenez R. 2008. Oxygen pumping. II. Probing the inhomogeneous metal enrichment at the epoch of reionization with high‐frequency CMB observations. The Astrophysical Journal. 672(1), 33–39.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17762 |
Fang W, Wang S, Hu W, Haiman Z, Hui L, May M. 2008. Challenges to the DGP model from horizon-scale growth and geometry. Physical Review D. 78(10), 103509.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 17773 |
Menou K, Haiman Z, Kocsis B. 2008. Cosmological physics with black holes (and possibly white dwarfs). New Astronomy Reviews. 51(10–12), 884–890.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv