Chatterjee, K., De Alfaro, L., &; Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE.https://doi.org/10.1109/QEST.2004.10051 
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Chatterjee, K., Jurdziski, M., &; Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., &; Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier.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, D., Chlipala, A., Henzinger, T. A., Jhala, R., &; Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer.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, D., Henzinger, T. A., Jhala, R., &; Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE.https://doi.org/10.1109/WPC.2004.1311069Â   
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069  

Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., &; Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE.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, L., Faella, M., Henzinger, T. A., Majumdar, R., &; Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer.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, B. H. ., Arellano-Carbajal, F., Rybicki, I., &; de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. Elsevier.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, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M.,https://doi.org/10.2533/000942904777677029__Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. Swiss Chemical Society.https://doi.org/10.2533/000942904777677029 
LibreCat: https://research-explorer.ista.ac.at/record/7334
DOI: 10.2533/000942904777677029

Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., &; Büchi, F. N. (2004). Modular stack-internal air humidification concept-verification in a 1kW stack. Fuel Cells. Wiley.https://doi.org/10.1002/fuce.200400028 
LibreCat: https://research-explorer.ista.ac.at/record/7333
DOI: 10.1002/fuce.200400028

Panchenko, A., Kondrashov, F., &; Bryant, S. (2004). Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. Wiley-Blackwell.https://doi.org/10.1110/ps.03465504 
LibreCat: https://research-explorer.ista.ac.at/record/864
DOI: 10.1110/ps.03465504

Kondrashov, F., Ogurtsov, A., &; Kondrashov, A. (2004). Bioinformatical assay of human gene morbidity. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gkh330 
LibreCat: https://research-explorer.ista.ac.at/record/870
DOI: 10.1093/nar/gkh330

Kondrashov, F., &; Koonin, E. (2004). A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics. Elsevier.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, A., &; Kondrashov, F. (2004). Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. Nature Publishing Group.https://doi.org/10.1038/ng1451 
LibreCat: https://research-explorer.ista.ac.at/record/889
DOI: 10.1038/ng1451

Zilberman, D., Cao, X., Johansen, L. K., Xie, Z., Carrington, J. C., &; Jacobsen, S. E. (2004). Role of Arabidopsis ARGONAUT in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. Elsevier.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, Z., Johansen, L. K., Gustafson, A. M., Kasschau, K. D., Lellis, A. D., Zilberman, D.,https://doi.org/10.1371/journal.pbio.0020104__Carrington, J. C. (2004). Genetic and functional diversification of small RNA pathways in plants. PLoS Biology. Public Library of Science.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, D., &; Henikoff, S. (2004). Silencing of transposons in plant genomes: kick them when they’re down. Genome Biology. Springer Nature.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, D., Kaloshin, V., &; Koralov, L. (2004). A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. Wiley.https://doi.org/10.1002/cpa.20032 
LibreCat: https://research-explorer.ista.ac.at/record/8517
DOI: 10.1002/cpa.20032

Koralov, L., Kaloshin, V., &; Dolgopyat, D. (2004). Sample path properties of the stochastic flows. The Annals of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/aop/1078415827 
LibreCat: https://research-explorer.ista.ac.at/record/8518
DOI: 10.1214/aop/1078415827

Bazykin, G., Kondrashov, F., Ogurtsov, A., Sunyaev, S., &; Kondrashov, A. (2004). Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. Nature Publishing Group.https://doi.org/10.1038/nature02601 
LibreCat: https://research-explorer.ista.ac.at/record/898
DOI: 10.1038/nature02601