Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Topological Hierarchy for Functions on Triangulated Surfaces.”https://doi.org/10.1109/TVCG.2004.3__IEEE Transactions on Visualization and Computer Graphics. IEEE, 2004.https://doi.org/10.1109/TVCG.2004.3 .
LibreCat: https://research-explorer.ista.ac.at/record/3984
DOI: 10.1109/TVCG.2004.3

Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.”https://doi.org/10.1109/TVCG.2004.32__IEEE Transactions on Visualization and Computer Graphics. IEEE, 2004.https://doi.org/10.1109/TVCG.2004.32 .
LibreCat: https://research-explorer.ista.ac.at/record/3987
DOI: 10.1109/TVCG.2004.32

Cole Mclaughlin, Kree, Herbert Edelsbrunner, John Harer, Vijay Natarajan, and Valerio Pascucci. “Loops in Reeb Graphs of 2-Manifolds.”https://doi.org/10.1007/s00454-004-1122-6__Discrete &; Computational Geometry. Springer, 2004.https://doi.org/10.1007/s00454-004-1122-6 .
LibreCat: https://research-explorer.ista.ac.at/record/3985
DOI: 10.1007/s00454-004-1122-6

Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Local and Global Comparison of Continuous Functions,”https://doi.org/10.1109/VISUAL.2004.68__275–80. IEEE, 2004.https://doi.org/10.1109/VISUAL.2004.68 .
LibreCat: https://research-explorer.ista.ac.at/record/3989
DOI: 10.1109/VISUAL.2004.68

Montero, Juan, and Carl-Philipp J Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.”https://doi.org/10.1016/j.tcb.2004.09.008__Trends in Cell Biology. Cell Press, 2004.https://doi.org/10.1016/j.tcb.2004.09.008 .
LibreCat: https://research-explorer.ista.ac.at/record/4172
DOI: 10.1016/j.tcb.2004.09.008

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

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 A. Hanslmeier, S. Kempe, and J. Seckbach, 83–87. Springer, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4230

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

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

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

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

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,”https://doi.org/10.1145/964001.964021__232–44. ACM, 2004.https://doi.org/10.1145/964001.964021 .
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.”https://doi.org/10.1007/978-3-540-39910-0_16__In Verification: Theory and Practice, 2772:332–58. Springer, 2004.https://doi.org/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, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,”https://doi.org/10.1145/996841.996844__1–13. ACM, 2004.https://doi.org/10.1145/996841.996844 .
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,”https://doi.org/10.1007/978-3-540-24743-2_24__2993:167–70. Springer, 2004.https://doi.org/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, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,”https://doi.org/10.1109/QEST.2004.10051__206–17. IEEE, 2004.https://doi.org/10.1109/QEST.2004.10051 .
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Chatterjee, Krishnendu, Marcin Jurdziski, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.”https://doi.org/10.1016/j.ic.2004.06.001__Information and Computation. Elsevier, 2004.https://doi.org/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, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,”https://doi.org/10.1007/978-3-540-27864-1_2__3148:2–18. Springer, 2004.https://doi.org/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, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,”https://doi.org/10.1109/WPC.2004.1311069Â  __251–55. IEEE, 2004.https://doi.org/10.1109/WPC.2004.1311069Â   .
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069