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.
1940 Publications
2007 | Published | Book Chapter | IST-REx-ID: 4417
Abstract counterexample-based refinement for powerset domains
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
View
| DOI
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
2007 | Published | Conference Paper | IST-REx-ID: 4511
Quantitative generalizations of languages
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
2007 | Published | Conference Paper | IST-REx-ID: 4514
Games, time, and probability: Graph models for system design and analysis
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
2007 | Published | Conference (Editor) | IST-REx-ID: 4530
CSL: Computer Science Logic
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
View
| DOI
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
2007 | Published | Conference Paper | IST-REx-ID: 4537
Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
2007 | Published | Journal Article | IST-REx-ID: 4547
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
2007 | Published | Conference Paper | IST-REx-ID: 4570
Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
View
| DOI
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
2007 | Published | Conference Paper | IST-REx-ID: 4572
Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
2007 | Published | Conference Paper | IST-REx-ID: 4573
Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
2007 | Published | Journal Article | IST-REx-ID: 4626
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
View
| DOI
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
2007 | Published | Journal Article | IST-REx-ID: 17724 | 
Premerger localization of gravitational-wave standard sirens with LISA: Harmonic mode decomposition
B. Kocsis, Z. Haiman, K. Menou, Z. Frei, Physical Review D 76 (2007).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Kocsis, Z. Haiman, K. Menou, Z. Frei, Physical Review D 76 (2007).
2007 | Published | Journal Article | IST-REx-ID: 17732 |
Constraints on the abundance of highly ionized protocluster regions from the absence of large voids in the Lyα forest
C. Shang, A. Crotts, Z. Haiman, The Astrophysical Journal 671 (2007) 136–145.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Shang, A. Crotts, Z. Haiman, The Astrophysical Journal 671 (2007) 136–145.
2007 | Published | Conference Paper | IST-REx-ID: 17755
Detecting virialization shocks around galaxy clusters through the SZ effect
B. Kocsis, Z. Haiman, Z. Frei, in:, ESO Astrophysics Symposia, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 334–336.
View
| DOI
| Download None (ext.)
B. Kocsis, Z. Haiman, Z. Frei, in:, ESO Astrophysics Symposia, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 334–336.
2007 | Published | Journal Article | IST-REx-ID: 17768 |
A linear perturbation theory of inhomogeneous reionization
J. Zhang, L. Hui, Z. Haiman, Monthly Notices of the Royal Astronomical Society 375 (2007) 324–336.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Zhang, L. Hui, Z. Haiman, Monthly Notices of the Royal Astronomical Society 375 (2007) 324–336.
2007 | Published | Journal Article | IST-REx-ID: 17783 |
Is modified gravity required by observations? An empirical consistency test of dark energy models
S. Wang, L. Hui, M. May, Z. Haiman, Physical Review D 76 (2007).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Wang, L. Hui, M. May, Z. Haiman, Physical Review D 76 (2007).
2007 | Published | Conference Paper | IST-REx-ID: 17784
Mass function of remnant black holes in nearby galaxies
M.E. Gáspár, Z. Haiman, Z. Frei, in:, ESO Astrophysics Symposia, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007.
View
| DOI
| Download None (ext.)
M.E. Gáspár, Z. Haiman, Z. Frei, in:, ESO Astrophysics Symposia, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007.
2007 | Published | Journal Article | IST-REx-ID: 17791 |
Oxygen pumping: Probing intergalactic metals at the epoch of reionization
C. Hernández-Monteagudo, Z. Haiman, R. Jimenez, L. Verde, The Astrophysical Journal 660 (2007) L85–L88.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Hernández-Monteagudo, Z. Haiman, R. Jimenez, L. Verde, The Astrophysical Journal 660 (2007) L85–L88.
2007 | Published | Journal Article | IST-REx-ID: 17793 |
The ages, metallicities, and star formation histories of early‐type galaxies in the SDSS
R. Jimenez, M. Bernardi, Z. Haiman, B. Panter, A.F. Heavens, The Astrophysical Journal 669 (2007) 947–951.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Jimenez, M. Bernardi, Z. Haiman, B. Panter, A.F. Heavens, The Astrophysical Journal 669 (2007) 947–951.
2007 | Published | Conference Paper | IST-REx-ID: 17795
Finding the electromagnetic counterparts of standard sirens
B. Kocsis, Z. Frei, Z. Haiman, K. Menou, in:, Proceedings of the 2005 MPE/USM/MPA/ESO Joint Astronomy Conference, Springer Nature, Berlin, Heidelberg, 2007, pp. 82–86.
View
| DOI
B. Kocsis, Z. Frei, Z. Haiman, K. Menou, in:, Proceedings of the 2005 MPE/USM/MPA/ESO Joint Astronomy Conference, Springer Nature, Berlin, Heidelberg, 2007, pp. 82–86.
2007 | Published | Journal Article | IST-REx-ID: 1797
Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing
T. Viney, K. Bálint, D. Hillier, S. Siegert, Z. Boldogköi, L. Enquist, M. Meister, C. Cepko, B. Roska, Current Biology 17 (2007) 981–988.
View
| DOI
T. Viney, K. Bálint, D. Hillier, S. Siegert, Z. Boldogköi, L. Enquist, M. Meister, C. Cepko, B. Roska, Current Biology 17 (2007) 981–988.