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. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria; 2009. doi:10.15479/AT:IST-2009-0004
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5393 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A Solver for Probabilistic Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0003
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi:10.1007/978-3-642-04027-6_9
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 1460 |
Hausel T, Rodríguez Villegas F. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 2008;174(3):555-624. doi:10.1007/s00222-008-0142-x
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 11113 |
Anderson DJ, Hetzer M. Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. 2008;121(2):137-142. doi:10.1242/jcs.005777
[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. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. 2008;3(4). doi:10.1371/journal.pone.0002061
[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, et al. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. 2008;454(7202):315-318. doi:10.1038/nature07112
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 1765 |
Göppl M, Fragner A, Baur M, et al. Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. 2008;104(11). doi:10.1063/1.3010859
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17721 |
Kramer RH, Haiman Z. The thickness of high-redshift quasar ionization fronts as a constraint on the ionizing spectral energy distribution. Monthly Notices of the Royal Astronomical Society. 2008;385(3):1561-1575. doi:10.1111/j.1365-2966.2008.12945.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17734 |
Kocsis B, Haiman Z, Menou K. Premerger localization of gravitational wave standard sirens with LISA: Triggered search for an electromagnetic counterpart. The Astrophysical Journal. 2008;684(2):870-887. doi:10.1086/590230
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17752 |
Lippai Z, Frei Z, Haiman Z. Prompt shocks in the gas disk around a recoiling supermassive black hole binary. The Astrophysical Journal. 2008;676(1):L5-L8. doi:10.1086/587034
[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. Oxygen pumping. II. Probing the inhomogeneous metal enrichment at the epoch of reionization with high‐frequency CMB observations. The Astrophysical Journal. 2008;672(1):33-39. doi:10.1086/523872
[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. Challenges to the DGP model from horizon-scale growth and geometry. Physical Review D. 2008;78(10). doi:10.1103/physrevd.78.103509
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 17773 |
Menou K, Haiman Z, Kocsis B. Cosmological physics with black holes (and possibly white dwarfs). New Astronomy Reviews. 2008;51(10-12):884-890. doi:10.1016/j.newar.2008.03.020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 17778 |
Dijkstra M, Haiman Z, Mesinger A, Wyithe JSB. 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. 2008;391(4):1961-1972. doi:10.1111/j.1365-2966.2008.14031.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17787 |
Furlanetto SR, Haiman Z, Oh SP. Fossil Ionized bubbles around dead quasars during reionization. The Astrophysical Journal. 2008;686(1):25-40. doi:10.1086/591047
[Preprint]
View
| DOI
| Download Preprint (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17788 |
Fang W, Haiman Z. An evolving entropy floor in the intracluster gas? The Astrophysical Journal. 2008;680(1):200-213. doi:10.1086/587780
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17789 |
Sethi S, Haiman Z. 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. 2008;673(1):1-13. doi:10.1086/523787
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17804 |
Omukai K, Schneider R, Haiman Z. Can supermassive black holes form in metal‐enriched high‐redshift protogalaxies? The Astrophysical Journal. 2008;686(2):801-814. doi:10.1086/591636
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv