de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.”3801__Journal of Theoretical Biology, vol. 227, no. 3, Elsevier, 2004, pp. 335–48, doi:3801.
LibreCat: https://research-explorer.ista.ac.at/record/4238
DOI: 3801

de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.” Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by A. Hanslmeier et al., Springer, 2004, pp. 83–87.
LibreCat: https://research-explorer.ista.ac.at/record/4230

de Vladar, Harold. Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares. Centro de estudios avazados, IVIC, 2004, doi:3810.
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous Signals. Springer, 2004, pp. 152–66, doi:1572.
LibreCat: https://research-explorer.ista.ac.at/record/4372
DOI: 1572

Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.
LibreCat: https://research-explorer.ista.ac.at/record/4424

Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
LibreCat: https://research-explorer.ista.ac.at/record/4445
DOI: 10.1145/1017753.1017774

Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

Henzinger, Thomas A., et al. “Extreme Model Checking.”10.1007/978-3-540-39910-0_16__Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
LibreCat: https://research-explorer.ista.ac.at/record/4461
DOI: 10.1007/978-3-540-39910-0_16

Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

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.
LibreCat: https://research-explorer.ista.ac.at/record/4525
DOI: 10.1007/978-3-540-24743-2_24

Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.”10.1016/j.ic.2004.06.001__Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
LibreCat: https://research-explorer.ista.ac.at/record/4556
DOI: 10.1016/j.ic.2004.06.001

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.
LibreCat: https://research-explorer.ista.ac.at/record/4578
DOI: 10.1007/978-3-540-27864-1_2

Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069Â  .
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069  

Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.
LibreCat: https://research-explorer.ista.ac.at/record/4581
DOI: 10.1109/ICSE.2004.1317455

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.
LibreCat: https://research-explorer.ista.ac.at/record/4629
DOI: 10.1007/978-3-540-24730-2_6

Cheung, Benny H. .., et al. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.”10.1016/j.cub.2004.06.027__Current Biology, vol. 14, no. 12, Elsevier, 2004, pp. 1105–11, doi:10.1016/j.cub.2004.06.027.
LibreCat: https://research-explorer.ista.ac.at/record/6155
DOI: 10.1016/j.cub.2004.06.027
PMID: 15203005

Mantzaras, John, et al. “Fuel Cell Modeling and Simulations.”10.2533/000942904777677029__CHIMIA International Journal for Chemistry, vol. 58, no. 12, Swiss Chemical Society, 2004, pp. 857–68, doi:10.2533/000942904777677029.
LibreCat: https://research-explorer.ista.ac.at/record/7334
DOI: 10.2533/000942904777677029

Santis, M., et al. “Modular Stack-Internal Air Humidification Concept-Verification in a 1KW Stack.”10.1002/fuce.200400028__Fuel Cells, vol. 4, no. 3, Wiley, 2004, pp. 214–18, doi:10.1002/fuce.200400028.
LibreCat: https://research-explorer.ista.ac.at/record/7333
DOI: 10.1002/fuce.200400028