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.
9828 Publications
2005 | Published | Conference Paper | IST-REx-ID: 4557
K. Chatterjee, T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided planning,” presented at the UAI: Uncertainty in Artificial Intelligence, 2005, pp. 104–111.
View
| Download (ext.)
2005 | Published | Conference Paper | IST-REx-ID: 4560
A. Chakrabarti, K. Chatterjee, T. A. Henzinger, O. Kupferman, and R. Majumdar, “Verifying quantitative properties using bound functions,” presented at the CHARME: Correct Hardware Design and Verification Methods, 2005, vol. 3725, pp. 50–64.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 17715 |
Z. Haiman and R. Cen, “Constraining reionization with the evolution of the luminosity function of Lyα emitting galaxies,” The Astrophysical Journal, vol. 623, no. 2. American Astronomical Society, pp. 627–631, 2005.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 | Published | Journal Article | IST-REx-ID: 17720 |
D. S. Spiegel, M. Zamojski, A. Gersch, J. Donovan, and Z. Haiman, “Can we probe the atmospheric composition of an extrasolar planet from its reflection spectrum in a high‐magnification microlensing event?,” The Astrophysical Journal, vol. 628, no. 1. American Astronomical Society, pp. 478–486, 2005.
[Published Version]
View
| DOI
| Download Published Version (ext.)