P. Bremer, H. Edelsbrunner, B. Hamann, and V. Pascucci, “A topological hierarchy for functions on triangulated surfaces,” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 4. IEEE, pp. 385–396, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/3984
DOI: 10.1109/TVCG.2004.3

V. Natarajan and H. Edelsbrunner, “Simplification of three-dimensional density maps,” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 5. IEEE, pp. 587–597, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/3987
DOI: 10.1109/TVCG.2004.32

K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Loops in Reeb graphs of 2-manifolds,” Discrete &; Computational Geometry, vol. 32, no. 2. Springer, pp. 231–244, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/3985
DOI: 10.1007/s00454-004-1122-6

H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Local and global comparison of continuous functions,” presented at the VIS: IEEE Visualization, 2004, pp. 275–280.
LibreCat: https://research-explorer.ista.ac.at/record/3989
DOI: 10.1109/VISUAL.2004.68

J. Montero and C.-P. J. Heisenberg, “Gastrulation dynamics: cells move into focus,” Trends in Cell Biology, vol. 14, no. 11. Cell Press, pp. 620–627, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4172
DOI: 10.1016/j.tcb.2004.09.008

H. de Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” Journal of Theoretical Biology, vol. 227, no. 3. Elsevier, pp. 335–348, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4238
DOI: 3801

H. de Vladar, R. Cipriani, B. Scharifker, and J. 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, A. Hanslmeier, S. Kempe, and J. Seckbach, Eds. Springer, 2004, pp. 83–87.
LibreCat: https://research-explorer.ista.ac.at/record/4230

H. de Vladar, “Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares,” Centro de estudios avazados, IVIC, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
LibreCat: https://research-explorer.ista.ac.at/record/4372
DOI: 1572

R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4424

T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.
LibreCat: https://research-explorer.ista.ac.at/record/4445
DOI: 10.1145/1017753.1017774

T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp. 232–244.
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.
LibreCat: https://research-explorer.ista.ac.at/record/4461
DOI: 10.1007/978-3-540-39910-0_16

T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
LibreCat: https://research-explorer.ista.ac.at/record/4525
DOI: 10.1007/978-3-540-24743-2_24

K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,” presented at the QEST: Quantitative Evaluation of Systems, 2004, pp. 206–217.
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

K. Chatterjee, M. Jurdziski, and T. A. Henzinger, “Quantitative stochastic parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2004, pp. 121–130.
LibreCat: https://research-explorer.ista.ac.at/record/4558

K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” Information and Computation, vol. 194, no. 2. Elsevier, pp. 144–174, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4556
DOI: 10.1016/j.ic.2004.06.001

D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
LibreCat: https://research-explorer.ista.ac.at/record/4578
DOI: 10.1007/978-3-540-27864-1_2

D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in for model checking,” presented at the IWPC: Program Comprehension, 2004, pp. 251–255.
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069