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.
7131 Publications
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
2008 | Published | Journal Article | IST-REx-ID: 17778 |
Dijkstra M, Haiman Z, Mesinger A, Wyithe JSB. 2008. Fluctuations in the high-redshift Lyman-Werner background: Close halo pairs as the origin of supermassive black holes. Monthly Notices of the Royal Astronomical Society. 391(4), 1961–1972.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17787 |
Furlanetto SR, Haiman Z, Oh SP. 2008. Fossil Ionized bubbles around dead quasars during reionization. The Astrophysical Journal. 686(1), 25–40.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17788 |
Fang W, Haiman Z. 2008. An evolving entropy floor in the intracluster gas? The Astrophysical Journal. 680(1), 200–213.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17789 |
Sethi S, Haiman Z. 2008. Can we detect the anisotropic shapes of quasar H ii regions during reionization through the small‐scale redshifted 21 cm power spectrum? The Astrophysical Journal. 673(1), 1–13.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17804 |
Omukai K, Schneider R, Haiman Z. 2008. Can supermassive black holes form in metal‐enriched high‐redshift protogalaxies? The Astrophysical Journal. 686(2), 801–814.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv