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.

134 Publications


2004 | Published | Journal Article | IST-REx-ID: 18742 | OA
K. Menou and Z. Haiman, “On the dark side of quasar evolution,” The Astrophysical Journal, vol. 615, no. 1. American Astronomical Society, pp. 130–134, 2004.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Journal Article | IST-REx-ID: 1963
A. Mamedova, P. Holt, J. Carroll, and L. A. Sazanov, “Substrate-induced conformational change in bacterial complex I,” Journal of Biological Chemistry, vol. 279, no. 22. American Society for Biochemistry and Molecular Biology, pp. 23830–23836, 2004.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4372
O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
View | DOI
 

2004 | Published | Thesis | IST-REx-ID: 4424
R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4445
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” in Proceedings of the 4th ACM international conference on Embedded software, Pisa, Italy, 2004, pp. 104–113.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” in Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Venice, Italy, 2004, pp. 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” in Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Washington, DC, United States, 2004, pp. 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461 | OA
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme Model Checking,” in Verification: Theory and Practice, vol. 2772, Berlin: Springer Nature, 2004, pp. 332–358.
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4525 | OA
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, Philadelphia, PA, United States, 2004, pp. 357–371.
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4555
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,” presented at the QEST: Quantitative Evaluation of Systems, Enschede, Netherlands, 2004, pp. 206–217.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4556 | OA
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” Information and Computation, vol. 194, no. 2. Elsevier, pp. 144–174, 2004.
[Accepted Version] View | DOI | Download Accepted Version (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4558 | OA
K. Chatterjee, M. Jurdziński, and T. A. Henzinger, “Quantitative stochastic parity games,” in Proceedings of the 15th annual ACM-SIAM symposium on Discrete algorithms, New Orleans, LA, United States, 2004, pp. 121–130.
[Preprint] View | DOI | Download Preprint (ext.)
 

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,” in Proceedings of the 12th IEEE International Workshop on Program Comprehension, Bari, Italy, 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, Verona, Italy, 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,” in Proceedings of the 26th International Conference on Software Engineering, Edinburgh, United Kingdom, 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, Barcelona, Spain, 2004, vol. 2988, pp. 77–92.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 6155
B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12. Elsevier, pp. 1105–1111, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 7706
A. Brunet et al., “Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase,” Science, vol. 303, no. 5666. American Association for the Advancement of Science, pp. 2011–2015, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 8517
D. Dolgopyat, V. Kaloshin, and L. Koralov, “A limit shape theorem for periodic stochastic dispersion,” Communications on Pure and Applied Mathematics, vol. 57, no. 9. Wiley, pp. 1127–1158, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 8518
L. Koralov, V. Kaloshin, and D. Dolgopyat, “Sample path properties of the stochastic flows,” The Annals of Probability, vol. 32, no. 1A. Institute of Mathematical Statistics, pp. 1–27, 2004.
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed