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.
111 Publications
2004 | Published | Journal Article | IST-REx-ID: 4253
Barton, Nicholas H., et al. “Coalescence in a Random Background.” Annals of Applied Probability, vol. 14, no. 2, Institute of Mathematical Statistics, 2004, pp. 754–85.
View
| Download (ext.)
2004 | Published | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.
View
2004 | Published | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
View
| DOI
2004 | Published | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
2004 | Published | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069 .
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro, Luca, et al. Model Checking Discounted Temporal Properties. Vol. 2988, Springer, 2004, pp. 77–92, doi:10.1007/978-3-540-24730-2_6.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 7706
Brunet, Anne, 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, 2004, pp. 2011–15, doi:10.1126/science.1094637.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 8517
Dolgopyat, Dmitry, et al. “A Limit Shape Theorem for Periodic Stochastic Dispersion.” Communications on Pure and Applied Mathematics, vol. 57, no. 9, Wiley, 2004, pp. 1127–58, doi:10.1002/cpa.20032.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 8518
Koralov, Leonid, et al. “Sample Path Properties of the Stochastic Flows.” The Annals of Probability, vol. 32, no. 1A, Institute of Mathematical Statistics, 2004, pp. 1–27, doi:10.1214/aop/1078415827.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 864
Panchenko, Anna, et al. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.” Protein Science, vol. 13, no. 4, Wiley-Blackwell, 2004, pp. 884–92, doi:10.1110/ps.03465504.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 870
Kondrashov, Fyodor, et al. “Bioinformatical Assay of Human Gene Morbidity.” Nucleic Acids Research, vol. 32, no. 5, Oxford University Press, 2004, pp. 1731–37, doi:10.1093/nar/gkh330.
View
| DOI