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


2004 | Published | Conference Paper | IST-REx-ID: 4558
K. Chatterjee, M. Jurdziński, and T. A. Henzinger, “Quantitative stochastic parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2004, pp. 121–130.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in for model checking,” presented at the IWPC: Program Comprehension, 2004, pp. 251–255.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” presented at the ICSE: Software Engineering, 2004, pp. 326–335.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4629
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 17717 | OA
S. M. Molnar, Z. Haiman, M. Birkinshaw, and R. F. Mushotzky, “Constraints on the energy content of the universe from a combination of galaxy cluster observables,” The Astrophysical Journal, vol. 601, no. 1. American Astronomical Society, pp. 22–27, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17725 | OA
A. Mesinger and Z. Haiman, “Evidence of a cosmological Strömgren surface and of significant neutral hydrogen surrounding the quasar SDSS J1030+0524,” The Astrophysical Journal, vol. 611, no. 2. American Astronomical Society, pp. L69–L72, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17726 | OA
Pirzkal N, Xu C, Malhotra S, Rhoads JE, Koekemoer AM, Moustakas LA, Walsh JR, Windhorst RA, Daddi E, Cimatti A, Ferguson HC, Gardner JP, Gronwall C, Haiman Z, Kummel M, Panagia N, Pasquali A, Stiavelli M, di Serego Alighieri S, Tsvetanov Z, Vernet J, Yan H. 2004. GRAPES, grism spectroscopy of the hubble ultra deep field: Description and data reduction. The Astrophysical Journal Supplement Series. 154(2), 501–508.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17728 | OA
M. Dijkstra, Z. Haiman, M. J. Rees, and D. H. Weinberg, “Photoionization feedback in low‐mass galaxies at high redshift,” The Astrophysical Journal, vol. 601, no. 2. American Astronomical Society, pp. 666–675, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17743 | OA
Z. Haiman, E. Quataert, and G. C. Bower, “Modeling the counts of faint radio‐loud quasars: Constraints on the supermassive black hole population and predictions for high redshift,” The Astrophysical Journal, vol. 612, no. 2. American Astronomical Society, pp. 698–705, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17745 | OA
A. Mesinger, Z. Haiman, and R. Cen, “Probing the reionization history using the spectra of high‐redshift sources,” The Astrophysical Journal, vol. 613, no. 1. American Astronomical Society, pp. 23–35, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 17747
Griffiths R, Petre R, Hasinger G, Predehl P, White NE, Aschenbach B, Barcons X, Bohringer H, Briel UG, Cominsky L, Corcoran MF, Dinger U, Egle WJ, Friedrich P, Haiman Z, Hartmann R, Henry JP, Hippmann H, Ingersoll J, Jahoda K, Jenstrom DT, Jordan S, Kendziorra E, Kettenring G, Kink W, Meidinger N, Miyaji T, Mohr J, Mueller S, Mushotzky RF, Pfeffermann E, Schuecker P, Schwope A, Shannon M, Strueder L, Varlese SJ. 2004. DUO: The dark universe observatory. SPIE Astronomical Telescopes + Instrumentation. UV and Gamma-Ray Space Telescope Systems vol. 5488.
View | DOI | Download None (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17758 | OA
D. W. Savin, P. S. Krsti, Z. Haiman, and P. C. Stancil, “Rate Coefficient for H+ + H2(X1Σg+, ν = 0, J = 0) → H(1s) + H2+ Charge Transfer and Some Cosmological Implications,” The Astrophysical Journal, vol. 606, no. 2. American Astronomical Society, pp. L167–L170, 2004.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17763 | OA
Z. Haiman, “Constraints from gravitational recoil on the growth of supermassive black holes at high redshift,” The Astrophysical Journal, vol. 613, no. 1. American Astronomical Society, pp. 36–40, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17770 | OA
S. Wang, J. Khoury, Z. Haiman, and M. May, “Constraining the evolution of dark energy with a combination of galaxy cluster observables,” Physical Review D, vol. 70, no. 12. American Physical Society, 2004.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Journal Article | IST-REx-ID: 17775 | OA
Z. Haiman, L. Ciotti, and J. P. Ostriker, “Reasoning from fossils: Learning from the local black hole population about the evolution of quasars,” The Astrophysical Journal, vol. 606, no. 2. American Astronomical Society, pp. 763–773, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17790 | OA
G. T. Richards et al., “A snapshot survey for gravitational lenses among z ≥ 4.0 quasars. I. The z >5.7 sample,” The Astronomical Journal, vol. 127, no. 3. American Astronomical Society, pp. 1305–1312, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17792 | OA
Z. Haiman, “Caught in the act?,” Nature, vol. 430, no. 7003. Springer Science and Business Media LLC, pp. 979–980, 2004.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Journal Article | IST-REx-ID: 864
A. Panchenko, F. Kondrashov, and S. Bryant, “Prediction of functional sites by analysis of sequence and structure conservation,” Protein Science, vol. 13, no. 4. Wiley-Blackwell, pp. 884–892, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 870
F. Kondrashov, A. Ogurtsov, and A. Kondrashov, “Bioinformatical assay of human gene morbidity,” Nucleic Acids Research, vol. 32, no. 5. Oxford University Press, pp. 1731–1737, 2004.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed