Bremer, P., Edelsbrunner, H., Hamann, B., &; Pascucci, V. (2004). A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. IEEE.https://doi.org/10.1109/TVCG.2004.3 
LibreCat: https://research-explorer.ista.ac.at/record/3984
DOI: 10.1109/TVCG.2004.3

Natarajan, V., &; Edelsbrunner, H. (2004). Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. IEEE.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, K., Edelsbrunner, H., Harer, J., Natarajan, V., &; Pascucci, V. (2004). Loops in Reeb graphs of 2-manifolds. Discrete &; Computational Geometry. Springer.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, H., Harer, J., Natarajan, V., &; Pascucci, V. (2004). Local and global comparison of continuous functions (pp. 275–280). Presented at the VIS: IEEE Visualization, IEEE.https://doi.org/10.1109/VISUAL.2004.68 
LibreCat: https://research-explorer.ista.ac.at/record/3989
DOI: 10.1109/VISUAL.2004.68

Montero, J., &; Heisenberg, C.-P. J. (2004). Gastrulation dynamics: cells move into focus. Trends in Cell Biology. Cell Press.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

de Vladar, H., &; González, J. (2004). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier.https://doi.org/3801 
LibreCat: https://research-explorer.ista.ac.at/record/4238
DOI: 3801

de Vladar, H., Cipriani, R., Scharifker, B., &; Bubis, J. (2004). A mechanism for the prebiotic emergence of proteins. In A. Hanslmeier, S. Kempe, &; J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds (pp. 83–87). Springer.
LibreCat: https://research-explorer.ista.ac.at/record/4230

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

Maler, O., &; Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/1572 
LibreCat: https://research-explorer.ista.ac.at/record/4372
DOI: 1572

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

Henzinger, T. A., &; Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM.https://doi.org/10.1145/1017753.1017774 
LibreCat: https://research-explorer.ista.ac.at/record/4445
DOI: 10.1145/1017753.1017774

Henzinger, T. A., Jhala, R., Majumdar, R., &; Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM.https://doi.org/10.1145/964001.964021 
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

Henzinger, T. A., Jhala, R., Majumdar, R., &; Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer.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, T. A., Jhala, R., &; Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM.https://doi.org/10.1145/996841.996844 
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

Ghosal, A., Henzinger, T. A., Kirsch, C., &; Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer.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, K., De Alfaro, L., &; Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE.https://doi.org/10.1109/QEST.2004.10051 
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Chatterjee, K., Jurdziski, M., &; Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., &; Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier.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, D., Chlipala, A., Henzinger, T. A., Jhala, R., &; Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer.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, D., Henzinger, T. A., Jhala, R., &; Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE.https://doi.org/10.1109/WPC.2004.1311069Â   
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069