C. Schmidt Hieber, P. M. Jonas, and J. Bischofberger, “Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus,” Nature, vol. 429, no. 6988. Nature Publishing Group, pp. 184–7, 2004.

P. M. Jonas, J. Bischofberger, D. Fricker, and R. Miles, “Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons,” Trends in Neurosciences, vol. 27, no. 1. Elsevier, pp. 30–40, 2004.

J. Heinze, A. Böttcher, and S. Cremer, “Production of winged and wingless males in the ant, Cardiocondyla minutior,” Insectes Sociaux, vol. 51, no. 3. Springer, pp. 275–278, 2004.

V. Choi, P. Agarwal, H. Edelsbrunner, and J. Rudolph, “Local search heuristic for rigid protein docking,” presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, 2004, vol. 3240, pp. 218–229.

R. Bryant, H. Edelsbrunner, P. Koehl, and M. Levitt, “The area derivative of a space-filling diagram,” Discrete &; Computational Geometry, vol. 32, no. 3. Springer, pp. 293–308, 2004.

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.

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.

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.

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.

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.

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.

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.

H. de Vladar, “Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares,” Centro de estudios avazados, IVIC, 2004.

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.

R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.

T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.

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.

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.

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.

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.

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.

K. Chatterjee, M. Jurdziski, and T. A. Henzinger, “Quantitative stochastic parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2004, pp. 121–130.

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.

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.

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.

D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” presented at the ICSE: Software Engineering, 2004, pp. 326–335.

L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.

B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12. Elsevier, pp. 1105–1111, 2004.

J. Mantzaras et al., “Fuel cell modeling and simulations,” CHIMIA International Journal for Chemistry, vol. 58, no. 12. Swiss Chemical Society, pp. 857–868, 2004.

M. Santis, D. Schmid, M. Ruge, S. A. Freunberger, and F. N. Büchi, “Modular stack-internal air humidification concept-verification in a 1kW stack,” Fuel Cells, vol. 4, no. 3. Wiley, pp. 214–218, 2004.

A. Panchenko, F. Kondrashov, and S. Bryant, “Prediction of functional sites by analysis of sequence and structure conservation,” Protein Science, vol. 13, no. 4. Wiley-Blackwell, pp. 884–892, 2004.

F. Kondrashov, A. Ogurtsov, and A. Kondrashov, “Bioinformatical assay of human gene morbidity,” Nucleic Acids Research, vol. 32, no. 5. Oxford University Press, pp. 1731–1737, 2004.

F. Kondrashov and E. Koonin, “A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications,” Trends in Genetics, vol. 20, no. 7. Elsevier, pp. 287–291, 2004.

A. Kern and F. Kondrashov, “Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs,” Nature Genetics, vol. 36, no. 11. Nature Publishing Group, pp. 1207–1212, 2004.

D. Zilberman, X. Cao, L. K. Johansen, Z. Xie, J. C. Carrington, and S. E. Jacobsen, “Role of Arabidopsis ARGONAUT in RNA-directed DNA methylation triggered by inverted repeats,” Current Biology, vol. 14, no. 13. Elsevier, pp. 1214–1220, 2004.

Z. Xie et al., “Genetic and functional diversification of small RNA pathways in plants,” PLoS Biology, vol. 2, no. 5. Public Library of Science, pp. 0642–0652, 2004.

D. Zilberman and S. Henikoff, “Silencing of transposons in plant genomes: kick them when they’re down,” Genome Biology, vol. 5, no. 12. Springer Nature, 2004.

D. Dolgopyat, V. Kaloshin, and L. Koralov, “A limit shape theorem for periodic stochastic dispersion,” Communications on Pure and Applied Mathematics, vol. 57, no. 9. Wiley, pp. 1127–1158, 2004.

L. Koralov, V. Kaloshin, and D. Dolgopyat, “Sample path properties of the stochastic flows,” The Annals of Probability, vol. 32, no. 1A. Institute of Mathematical Statistics, pp. 1–27, 2004.

G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, and A. Kondrashov, “Positive selection at sites of multiple amino acid replacements since rat-mouse divergence,” Nature, vol. 429, no. 6991. Nature Publishing Group, pp. 558–562, 2004.

C. Castillo Davis, F. Kondrashov, D. Hartl, and R. Kulathinal, “The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint,” Genome Research, vol. 14, no. 5. Cold Spring Harbor Laboratory Press, pp. 802–811, 2004.

S. W.-L. Chan, D. Zilberman,  Zhixin Xie,  Lisa K. Johansen, J. C. Carrington, and S. E. Jacobsen, “RNA silencing genes control de novo DNA methylation,” Science, vol. 303, no. 5662. American Association for the Advancement of Science, p. 1336, 2004.

Z. Liao et al., “A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides,” DNA Sequence, vol. 15, no. 2. Informa UK Limited, pp. 153–158, 2004.

R. Klajn et al., “Multicolour micropatterning of thin films of dry gels,” Nature Materials, vol. 3. Springer Nature, pp. 729–735, 2004.

C. J. Campbell, M. Fialkowski, R. Klajn, I. T. Bensemann, and B. A. Grzybowski, “Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts,” Advanced Materials, vol. 16, no. 21. Wiley, pp. 1912–1917, 2004.

A. Brunet et al., “Stress-dependent regulation of FOXO transcription factors by the SIR deacetylase,” Science, vol. 303, no. 5666. American Association for the Advancement of Science, pp. 2011–2015, 2004.