Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,”https://doi.org/10.1109/QEST.2004.10051__206–17. IEEE, 2004.https://doi.org/10.1109/QEST.2004.10051 .
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Chatterjee, Krishnendu, Marcin Jurdziski, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.”https://doi.org/10.1016/j.ic.2004.06.001__Information and Computation. Elsevier, 2004.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, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,”https://doi.org/10.1007/978-3-540-27864-1_2__3148:2–18. Springer, 2004.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, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,”https://doi.org/10.1109/WPC.2004.1311069Â  __251–55. IEEE, 2004.https://doi.org/10.1109/WPC.2004.1311069Â   .
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069  

Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,”https://doi.org/10.1109/ICSE.2004.1317455__326–35. IEEE, 2004.https://doi.org/10.1109/ICSE.2004.1317455 .
LibreCat: https://research-explorer.ista.ac.at/record/4581
DOI: 10.1109/ICSE.2004.1317455

De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,”https://doi.org/10.1007/978-3-540-24730-2_6__2988:77–92. Springer, 2004.https://doi.org/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.H, Fausto Arellano-Carbajal, Irene Rybicki, and Mario de Bono. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.”https://doi.org/10.1016/j.cub.2004.06.027__Current Biology. Elsevier, 2004.https://doi.org/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, Stefan Alexander Freunberger, Felix N. Büchi, Markus Roos, Wilhelm Brandstätter, Michel Prestat, Ludwig J. Gauckler, et al. “Fuel Cell Modeling and Simulations.”https://doi.org/10.2533/000942904777677029__CHIMIA International Journal for Chemistry. Swiss Chemical Society, 2004.https://doi.org/10.2533/000942904777677029 .
LibreCat: https://research-explorer.ista.ac.at/record/7334
DOI: 10.2533/000942904777677029

Santis, M., D. Schmid, M. Ruge, Stefan Alexander Freunberger, and F.N. Büchi. “Modular Stack-Internal Air Humidification Concept-Verification in a 1KW Stack.”https://doi.org/10.1002/fuce.200400028__Fuel Cells. Wiley, 2004.https://doi.org/10.1002/fuce.200400028 .
LibreCat: https://research-explorer.ista.ac.at/record/7333
DOI: 10.1002/fuce.200400028

Panchenko, Anna, Fyodor Kondrashov, and Stephen Bryant. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.”https://doi.org/10.1110/ps.03465504__Protein Science. Wiley-Blackwell, 2004.https://doi.org/10.1110/ps.03465504 .
LibreCat: https://research-explorer.ista.ac.at/record/864
DOI: 10.1110/ps.03465504

Kondrashov, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Bioinformatical Assay of Human Gene Morbidity.”https://doi.org/10.1093/nar/gkh330__Nucleic Acids Research. Oxford University Press, 2004.https://doi.org/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.”https://doi.org/10.1016/j.tig.2004.05.001__Trends in Genetics. Elsevier, 2004.https://doi.org/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.”https://doi.org/10.1038/ng1451__Nature Genetics. Nature Publishing Group, 2004.https://doi.org/10.1038/ng1451 .
LibreCat: https://research-explorer.ista.ac.at/record/889
DOI: 10.1038/ng1451

Zilberman, Daniel, Xiaofeng Cao, Lisa K. Johansen, Zhixin Xie, James C. Carrington, and Steven E. Jacobsen. “Role of Arabidopsis ARGONAUT in RNA-Directed DNA Methylation Triggered by Inverted Repeats.”https://doi.org/10.1016/j.cub.2004.06.055__Current Biology. Elsevier, 2004.https://doi.org/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, Lisa K. Johansen, Adam M. Gustafson, Kristin D. Kasschau, Andrew D.https://doi.org/10.1371/journal.pbio.0020104__Lellis, Daniel Zilberman, Steven E. Jacobsen, and James C. Carrington. “Genetic and Functional Diversification of Small RNA Pathways in Plants.”https://doi.org/10.1371/journal.pbio.0020104__PLoS Biology. Public Library of Science, 2004.https://doi.org/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.”https://doi.org/10.1186/gb-2004-5-12-249__Genome Biology. Springer Nature, 2004.https://doi.org/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, Vadim Kaloshin, and Leonid Koralov. “A Limit Shape Theorem for Periodic Stochastic Dispersion.”https://doi.org/10.1002/cpa.20032__Communications on Pure and Applied Mathematics. Wiley, 2004.https://doi.org/10.1002/cpa.20032 .
LibreCat: https://research-explorer.ista.ac.at/record/8517
DOI: 10.1002/cpa.20032

Koralov, Leonid, Vadim Kaloshin, and Dmitry Dolgopyat. “Sample Path Properties of the Stochastic Flows.”https://doi.org/10.1214/aop/1078415827__The Annals of Probability. Institute of Mathematical Statistics, 2004.https://doi.org/10.1214/aop/1078415827 .
LibreCat: https://research-explorer.ista.ac.at/record/8518
DOI: 10.1214/aop/1078415827

Bazykin, Georgii, Fyodor Kondrashov, Aleksey Ogurtsov, Shamil Sunyaev, and Alexey Kondrashov. “Positive Selection at Sites of Multiple Amino Acid Replacements since Rat-Mouse Divergence.”https://doi.org/10.1038/nature02601__Nature. Nature Publishing Group, 2004.https://doi.org/10.1038/nature02601 .
LibreCat: https://research-explorer.ista.ac.at/record/898
DOI: 10.1038/nature02601