Schmidt Hieber, C., Jonas, P. M., &; Bischofberger, J. (2004). Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus. Nature. Nature Publishing Group.https://doi.org/10.1038/nature02553 

Jonas, P. M., Bischofberger, J., Fricker, D., &; Miles, R. (2004). Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons. Trends in Neurosciences. Elsevier.https://doi.org/doi:10.1016/j.tins.2003.10.010 

Heinze, J., Böttcher, A., &; Cremer, S. (2004). Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. Springer.https://doi.org/10.1007/s00040-004-0740-6 

Choi, V., Agarwal, P., Edelsbrunner, H., &; Rudolph, J. (2004). Local search heuristic for rigid protein docking (Vol. 3240, pp. 218–229). Presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, Springer.https://doi.org/10.1007/978-3-540-30219-3_19 

Bryant, R., Edelsbrunner, H., Koehl, P., &; Levitt, M. (2004). The area derivative of a space-filling diagram. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-004-1099-1 

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 

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 

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 

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 

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 

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 

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.

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 

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 

Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.

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 

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 

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 

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 

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