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 |
Menou, Kristen, and Zoltán Haiman. “On the Dark Side of Quasar Evolution.” The Astrophysical Journal. American Astronomical Society, 2004. https://doi.org/10.1086/423951.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2004 |
Published |
Journal Article |
IST-REx-ID: 1963
Mamedova, Aygun, Peter Holt, Joe Carroll, and Leonid A Sazanov. “Substrate-Induced Conformational Change in Bacterial Complex I.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2004. https://doi.org/10.1074/jbc.M401539200.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,” 152–66. Springer, 2004. https://doi.org/10.1007/978-3-540-30206-3_12.
View
| DOI
2004 |
Published |
Thesis |
IST-REx-ID: 4424
Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.
View
2004 |
Published |
Conference Paper |
IST-REx-ID: 4445
Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs.” In Proceedings of the 4th ACM International Conference on Embedded Software, 104–13. Association for Computing Machinery, 2004. https://doi.org/10.1145/1017753.1017774.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4458
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs.” In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 232–44. Association for Computing Machinery, 2004. https://doi.org/10.1145/964001.964021.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4459
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference.” In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, 1–13. Association for Computing Machinery, 2004. https://doi.org/10.1145/996841.996844.
View
| DOI
2004 |
Published |
Book Chapter |
IST-REx-ID: 4461 |
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.” In Verification: Theory and Practice, 2772:332–58. Lecture Notes in Computer Science. Berlin: Springer Nature, 2004. 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 |
Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,” 357–71. Springer Nature, 2004. 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, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,” 206–17. IEEE, 2004. https://doi.org/10.1109/QEST.2004.10051.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 4556 |
Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation. Elsevier, 2004. 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 |
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative Stochastic Parity Games.” In Proceedings of the 15th Annual ACM-SIAM Symposium on Discrete Algorithms, 121–30. Association for Computing Machinery, 2004. https://doi.org/10.5555/982792.982808.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2004 |
Published |
Conference Paper |
IST-REx-ID: 4577
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking.” In Proceedings of the 12th IEEE International Workshop on Program Comprehension, 251–55. IEEE, 2004. https://doi.org/10.1109/WPC.2004.1311069 .
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4578
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer, 2004. https://doi.org/10.1007/978-3-540-27864-1_2.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4581
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples.” In Proceedings of the 26th International Conference on Software Engineering, 326–35. IEEE, 2004. https://doi.org/10.1109/ICSE.2004.1317455.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4629
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,” 2988:77–92. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-24730-2_6.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 6155
Cheung, Benny H.H, Fausto Arellano-Carbajal, Irene Rybicki, and Mario de Bono. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.” Current Biology. Elsevier, 2004. https://doi.org/10.1016/j.cub.2004.06.027.
View
| DOI
| PubMed | Europe PMC
2004 |
Published |
Journal Article |
IST-REx-ID: 7706
Brunet, Anne, Lora B. Sweeney, J Fitzhugh Sturgill, Katrin Chua, Paul Greer, Yingxi Lin, Hien Tran, et al. “Stress-Dependent Regulation of FOXO Transcription Factors by the SIRT1 Deacetylase.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1094637.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 8517
Dolgopyat, Dmitry, Vadim Kaloshin, and Leonid Koralov. “A Limit Shape Theorem for Periodic Stochastic Dispersion.” Communications on Pure and Applied Mathematics. Wiley, 2004. https://doi.org/10.1002/cpa.20032.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 8518
Koralov, Leonid, Vadim Kaloshin, and Dmitry Dolgopyat. “Sample Path Properties of the Stochastic Flows.” The Annals of Probability. Institute of Mathematical Statistics, 2004. https://doi.org/10.1214/aop/1078415827.
View
| DOI