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 | Journal Article | IST-REx-ID: 4253
Barton NH, Etheridge A, Sturm A. 2004. Coalescence in a Random Background. Annals of Applied Probability. 14(2), 754–785.
View | Download (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4372
Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.
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 TA, Kirsch C. 2004. A typed assembly language for real-time programs. EMSOFT: Embedded Software , 104–113.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. 2004. Abstractions from proofs. POPL: Principles of Programming Languages, 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. PLDI: Programming Languages Design and Implementation, 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. 2004.Extreme model checking. In: Verification: Theory and Practice. LNCS, vol. 2772, 332–358.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4525
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. 2004. Event-driven programming with logical execution times. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2993, 167–170.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. 2004. Trading memory for randomness. QEST: Quantitative Evaluation of Systems, 206–217.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4556
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2004. Stack size analysis for interrupt-driven programs. Information and Computation. 194(2), 144–174.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4558
Chatterjee K, Jurdziński M, Henzinger TA. 2004. Quantitative stochastic parity games. SODA: Symposium on Discrete Algorithms, 121–130.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2004. An eclipse plug-in for model checking. IWPC: Program Comprehension, 251–255.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. The BLAST query language for software verification. SAS: Static Analysis Symposium, LNCS, vol. 3148, 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating tests from counterexamples. ICSE: Software Engineering, 326–335.
View | DOI
 

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

2004 | Published | Journal Article | IST-REx-ID: 17717 | OA
Molnar SM, Haiman Z, Birkinshaw M, Mushotzky RF. 2004. Constraints on the energy content of the universe from a combination of galaxy cluster observables. The Astrophysical Journal. 601(1), 22–27.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 17725 | OA
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. 611(2), L69–L72.
[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
Dijkstra M, Haiman Z, Rees MJ, Weinberg DH. 2004. Photoionization feedback in low‐mass galaxies at high redshift. The Astrophysical Journal. 601(2), 666–675.
[Published Version] View | DOI | Download Published Version (ext.)
 

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

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed