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
Menou, K., & Haiman, Z. (2004). On the dark side of quasar evolution. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/423951
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Journal Article | IST-REx-ID: 1963
Mamedova, A., Holt, P., Carroll, J., & Sazanov, L. A. (2004). Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M401539200
View | DOI
 

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/10.1007/978-3-540-30206-3_12
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. In Proceedings of the 4th ACM international conference on Embedded software (pp. 104–113). Pisa, Italy: Association for Computing Machinery. 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. In Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 232–244). Venice, Italy: Association for Computing Machinery. 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. In Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation (pp. 1–13). Washington, DC, United States: Association for Computing Machinery. https://doi.org/10.1145/996841.996844
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461 | OA
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme Model Checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Berlin: Springer Nature. https://doi.org/10.1007/978-3-540-39910-0_16
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4525 | OA
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (pp. 357–371). Presented at the HSCC: Hybrid Systems - Computation and Control, Philadelphia, PA, United States: Springer Nature. https://doi.org/10.1007/978-3-540-24743-2_24
[Preprint] View | DOI | Download Preprint (ext.)
 

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, Enschede, Netherlands: IEEE. https://doi.org/10.1109/QEST.2004.10051
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4556 | OA
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
[Accepted Version] View | DOI | Download Accepted Version (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4558 | OA
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games. In Proceedings of the 15th annual ACM-SIAM symposium on Discrete algorithms (pp. 121–130). New Orleans, LA, United States: Association for Computing Machinery. https://doi.org/10.5555/982792.982808
[Preprint] View | DOI | Download Preprint (ext.)
 

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. In Proceedings of the 12th IEEE International Workshop on Program Comprehension (pp. 251–255). Bari, Italy: 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, Verona, Italy: 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. In Proceedings of the 26th International Conference on Software Engineering (pp. 326–335). Edinburgh, United Kingdom: 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, Barcelona, Spain: Springer Nature. https://doi.org/10.1007/978-3-540-24730-2_6
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., & de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.027
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 7706
Brunet, A., Sweeney, L. B., Sturgill, J. F., Chua, K., Greer, P., Lin, Y., … Greenberg, M. (2004). Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1094637
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 8517
Dolgopyat, D., Kaloshin, V., & Koralov, L. (2004). A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.20032
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 8518
Koralov, L., Kaloshin, V., & Dolgopyat, D. (2004). Sample path properties of the stochastic flows. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/aop/1078415827
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed