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.
223 Publications
2008 | Published | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. 2008. Interface theories with component reuse. EMSOFT: Embedded Software , 79–88.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. 2008. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 106(1), 1–7.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, Iercan D, Kirsch C, Pinello C, Sangiovanni Vincentelli A. 2008. Logical reliability of interacting real-time tasks. DATE: Design, Automation and Test in Europe, 909–914.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. 2008. Program analysis with dynamic change of precision. ASE: Automated Software Engineering, 29–38.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 584
Hosten O, Kwiat P. 2008. Spin hall effect of light via weak measurements: Sharp and smooth index variations. QELS: Quantum Electronics and Laser Science Conference, Optics InfoBase Conference Papers, .
View
| Download None (ext.)
2008 | Published | Journal Article | IST-REx-ID: 1749
Rastelli A, Stoffel M, Malachias Â, Merdzhanova T, Katsaros G, Kern K, Metzger T, Schmidt O. 2008. Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography. Nano Letters. 8(5), 1404–1409.
View
| DOI
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 | Conference Paper | IST-REx-ID: 17751
Bryan GL, McGreer ID, Mesinger A, Haiman Z. 2008. Feedback effects on population III star formation. AIP Conference Proceedings. FIRST STARS III: First Stars II Conference.
View
| DOI
| Download None (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.)