de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.”3801__Journal of Theoretical Biology, vol. 227, no. 3, Elsevier, 2004, pp. 335–48, doi:3801.

de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.” Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by A. Hanslmeier et al., Springer, 2004, pp. 83–87.

de Vladar, Harold. Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares. Centro de estudios avazados, IVIC, 2004, doi:3810.

Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous Signals. Springer, 2004, pp. 152–66, doi:1572.

Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.

Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.

Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.

Henzinger, Thomas A., et al. “Extreme Model Checking.”10.1007/978-3-540-39910-0_16__Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.

Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.

Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.

Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.

Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.

Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.”10.1016/j.ic.2004.06.001__Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.

Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.

Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069Â  .

Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.

De Alfaro, Luca, et al. Model Checking Discounted Temporal Properties. Vol. 2988, Springer, 2004, pp. 77–92, doi:10.1007/978-3-540-24730-2_6.

Cheung, Benny H. .., et al. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.”10.1016/j.cub.2004.06.027__Current Biology, vol. 14, no. 12, Elsevier, 2004, pp. 1105–11, doi:10.1016/j.cub.2004.06.027.

Mantzaras, John, et al. “Fuel Cell Modeling and Simulations.”10.2533/000942904777677029__CHIMIA International Journal for Chemistry, vol. 58, no. 12, Swiss Chemical Society, 2004, pp. 857–68, doi:10.2533/000942904777677029.

Santis, M., et al. “Modular Stack-Internal Air Humidification Concept-Verification in a 1KW Stack.”10.1002/fuce.200400028__Fuel Cells, vol. 4, no. 3, Wiley, 2004, pp. 214–18, doi:10.1002/fuce.200400028.

Panchenko, Anna, et al. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.”10.1110/ps.03465504__Protein Science, vol. 13, no. 4, Wiley-Blackwell, 2004, pp. 884–92, doi:10.1110/ps.03465504.

Kondrashov, Fyodor, et al. “Bioinformatical Assay of Human Gene Morbidity.”10.1093/nar/gkh330__Nucleic Acids Research, vol. 32, no. 5, Oxford University Press, 2004, pp. 1731–37, doi:10.1093/nar/gkh330.

Kondrashov, Fyodor, and Eugene Koonin. “A Common Framework for Understanding the Origin of Genetic Dominance and Evolutionary Fates of Gene Duplications.”10.1016/j.tig.2004.05.001__Trends in Genetics, vol. 20, no. 7, Elsevier, 2004, pp. 287–91, doi:10.1016/j.tig.2004.05.001.

Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.”10.1038/ng1451__Nature Genetics, vol. 36, no. 11, Nature Publishing Group, 2004, pp. 1207–12, doi:10.1038/ng1451.

Zilberman, Daniel, et al. “Role of Arabidopsis ARGONAUT in RNA-Directed DNA Methylation Triggered by Inverted Repeats.”10.1016/j.cub.2004.06.055__Current Biology, vol. 14, no. 13, Elsevier, 2004, pp. 1214–20, doi:10.1016/j.cub.2004.06.055.

Xie, Zhixin, et al. “Genetic and Functional Diversification of Small RNA Pathways in Plants.”10.1371/journal.pbio.0020104__PLoS Biology, vol. 2, no. 5, Public Library of Science, 2004, pp. 0642–52, doi:10.1371/journal.pbio.0020104.

Zilberman, Daniel, and Steven Henikoff. “Silencing of Transposons in Plant Genomes: Kick Them When They’re Down.”10.1186/gb-2004-5-12-249__Genome Biology, vol. 5, no. 12, 249, Springer Nature, 2004, doi:10.1186/gb-2004-5-12-249.

Dolgopyat, Dmitry, et al. “A Limit Shape Theorem for Periodic Stochastic Dispersion.”10.1002/cpa.20032__Communications on Pure and Applied Mathematics, vol. 57, no. 9, Wiley, 2004, pp. 1127–58, doi:10.1002/cpa.20032.

Koralov, Leonid, et al. “Sample Path Properties of the Stochastic Flows.”10.1214/aop/1078415827__The Annals of Probability, vol. 32, no. 1A, Institute of Mathematical Statistics, 2004, pp. 1–27, doi:10.1214/aop/1078415827.

Bazykin, Georgii, et al. “Positive Selection at Sites of Multiple Amino Acid Replacements since Rat-Mouse Divergence.”10.1038/nature02601__Nature, vol. 429, no. 6991, Nature Publishing Group, 2004, pp. 558–62, doi:10.1038/nature02601.

Castillo Davis, Cristian, et al. “The Functional Genomic Distribution of Protein Divergence in Two Animal Phyla: Coevolution, Genomic Conflict, and Constraint.”10.1101/gr.2195604__Genome Research, vol. 14, no. 5, Cold Spring Harbor Laboratory Press, 2004, pp. 802–11, doi:10.1101/gr.2195604.

Chan, Simon W. L., et al. “RNA Silencing Genes Control de Novo DNA Methylation.”10.1126/science.1095989__Science, vol. 303, no. 5662, American Association for the Advancement of Science, 2004, p. 1336, doi:10.1126/science.1095989.

Liao, Zhihua, et al. “A New Geranylgeranyl Diphosphate Synthase Gene from Ginkgo Biloba, Which Intermediates the Biosynthesis of the Key Precursor for Ginkgolides.”10.1080/10425170410001667348__DNA Sequence, vol. 15, no. 2, Informa UK Limited, 2004, pp. 153–58, doi:10.1080/10425170410001667348.

Klajn, Rafal, et al. “Multicolour Micropatterning of Thin Films of Dry Gels.”10.1038/nmat1231__Nature Materials, vol. 3, Springer Nature, 2004, pp. 729–35, doi:10.1038/nmat1231.

Campbell, C. J., et al. “Color Micro- and Nanopatterning with Counter-Propagating Reaction-Diffusion Fronts.”10.1002/adma.200400383__Advanced Materials, vol. 16, no. 21, Wiley, 2004, pp. 1912–17, doi:10.1002/adma.200400383.

Brunet, Anne, et al. “Stress-Dependent Regulation of FOXO Transcription Factors by the SIR Deacetylase.”10.1126/science.1094637__Science, vol. 303, no. 5666, American Association for the Advancement of Science, 2004, pp. 2011–15, doi:10.1126/science.1094637.