Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
LibreCat: https://research-explorer.ista.ac.at/record/4558

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.
LibreCat: https://research-explorer.ista.ac.at/record/4556
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.
LibreCat: https://research-explorer.ista.ac.at/record/4578
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Â  .
LibreCat: https://research-explorer.ista.ac.at/record/4577
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.
LibreCat: https://research-explorer.ista.ac.at/record/4581
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.
LibreCat: https://research-explorer.ista.ac.at/record/4629
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.
LibreCat: https://research-explorer.ista.ac.at/record/6155
DOI: 10.1016/j.cub.2004.06.027
PMID: 15203005

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.
LibreCat: https://research-explorer.ista.ac.at/record/7334
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.
LibreCat: https://research-explorer.ista.ac.at/record/7333
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.
LibreCat: https://research-explorer.ista.ac.at/record/864
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.
LibreCat: https://research-explorer.ista.ac.at/record/870
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.
LibreCat: https://research-explorer.ista.ac.at/record/875
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.
LibreCat: https://research-explorer.ista.ac.at/record/889
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.
LibreCat: https://research-explorer.ista.ac.at/record/9493
DOI: 10.1016/j.cub.2004.06.055
PMID: 15242620 

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.
LibreCat: https://research-explorer.ista.ac.at/record/9517
DOI: 10.1371/journal.pbio.0020104
PMID: 15024409

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.
LibreCat: https://research-explorer.ista.ac.at/record/9511
DOI: 10.1186/gb-2004-5-12-249
PMID: 15575975

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.
LibreCat: https://research-explorer.ista.ac.at/record/8517
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.
LibreCat: https://research-explorer.ista.ac.at/record/8518
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.
LibreCat: https://research-explorer.ista.ac.at/record/898
DOI: 10.1038/nature02601