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.
9789 Publications
2004 | Published | Journal Article | IST-REx-ID: 4253
Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random Background. Annals of Applied Probability. Institute of Mathematical Statistics.
View
| Download (ext.)
2004 | Published | Conference Paper | IST-REx-ID: 4372
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1572
View
| DOI
2004 | Published | Thesis | IST-REx-ID: 4424
Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.
View
2004 | Published | Conference Paper | IST-REx-ID: 4445
Henzinger, T. A., & Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4458
Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/964001.964021
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View
| DOI
2004 | Published | Book Chapter | IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4555
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2004.10051
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 4556
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2004.06.001
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4558
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
2004 | Published | Conference Paper | IST-REx-ID: 4577
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE. https://doi.org/10.1109/WPC.2004.1311069
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2004.1317455
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 17717 | 
Molnar, S. M., Haiman, Z., Birkinshaw, M., & Mushotzky, R. F. (2004). Constraints on the energy content of the universe from a combination of galaxy cluster observables. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/380295
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17725 |
Mesinger, A., & Haiman, Z. (2004). Evidence of a cosmological Strömgren surface and of significant neutral hydrogen surrounding the quasar SDSS J1030+0524. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/423935
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17726 |
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 |
Dijkstra, M., Haiman, Z., Rees, M. J., & Weinberg, D. H. (2004). Photoionization feedback in low‐mass galaxies at high redshift. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/380603
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Published | Journal Article | IST-REx-ID: 17743 |
Haiman, Z., Quataert, E., & Bower, G. C. (2004). Modeling the counts of faint radio‐loud quasars: Constraints on the supermassive black hole population and predictions for high redshift. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/422834
[Published Version]
View
| DOI
| Download Published Version (ext.)