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.
8915 Publications
2004 | Published | Journal Article | IST-REx-ID: 4238
Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology. Elsevier, 2004. https://doi.org/3801.
View
| DOI
2004 | Published | Book Chapter | IST-REx-ID: 4239
Vladar, Harold de, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis. “A Mechanism for the Prebiotic Emergence of Proteins.” In Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, 7:83–87. Springer, 2004. https://doi.org/3807.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 4253
Barton, Nicholas H, Alison Etheridge, and Anja Sturm. “Coalescence in a Random Background.” Annals of Applied Probability. Institute of Mathematical Statistics, 2004.
View
| Download (ext.)
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/1572.
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,” 104–13. ACM, 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,” 232–44. ACM, 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,” 1–13. ACM, 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. Springer, 2004. https://doi.org/10.1007/978-3-540-39910-0_16.
View
| DOI
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,” 2993:167–70. Springer, 2004. https://doi.org/10.1007/978-3-540-24743-2_24.
View
| DOI
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.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
View
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,” 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,” 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, 2004. https://doi.org/10.1007/978-3-540-24730-2_6.
View
| DOI
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