Trading memory for randomness
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Quantitative stochastic parity games
K. Chatterjee, M. Jurdziski, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
LibreCat: https://research-explorer.ista.ac.at/record/4556
DOI: 10.1016/j.ic.2004.06.001

The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
LibreCat: https://research-explorer.ista.ac.at/record/4578
DOI: 10.1007/978-3-540-27864-1_2

An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069  

Generating tests from counterexamples
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
LibreCat: https://research-explorer.ista.ac.at/record/4581
DOI: 10.1109/ICSE.2004.1317455

Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
LibreCat: https://research-explorer.ista.ac.at/record/4629
DOI: 10.1007/978-3-540-24730-2_6

Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
LibreCat: https://research-explorer.ista.ac.at/record/6155
DOI: 10.1016/j.cub.2004.06.027
PMID: 15203005

Fuel cell modeling and simulations
J. Mantzaras, S.A. Freunberger, F.N. Büchi, M. Roos, W. Brandstätter, M. Prestat, L.J. Gauckler, B. Andreaus, F. Hajbolouri, S.M. Senn, D. Poulikakos, A.K. Chaniotis, D. Larrain, N. Autissier, F. Maréchal, CHIMIA International Journal for Chemistry 58 (2004) 857–868.
LibreCat: https://research-explorer.ista.ac.at/record/7334
DOI: 10.2533/000942904777677029

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

Prediction of functional sites by analysis of sequence and structure conservation
A. Panchenko, F. Kondrashov, S. Bryant, Protein Science 13 (2004) 884–892.
LibreCat: https://research-explorer.ista.ac.at/record/864
DOI: 10.1110/ps.03465504

Bioinformatical assay of human gene morbidity
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Nucleic Acids Research 32 (2004) 1731–1737.
LibreCat: https://research-explorer.ista.ac.at/record/870
DOI: 10.1093/nar/gkh330

A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications
F. Kondrashov, E. Koonin, Trends in Genetics 20 (2004) 287–291.
LibreCat: https://research-explorer.ista.ac.at/record/875
DOI: 10.1016/j.tig.2004.05.001

Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs
A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
LibreCat: https://research-explorer.ista.ac.at/record/889
DOI: 10.1038/ng1451

Role of Arabidopsis ARGONAUT in RNA-directed DNA methylation triggered by inverted repeats
D. Zilberman, X. Cao, L.K. Johansen, Z. Xie, J.C. Carrington, S.E. Jacobsen, Current Biology 14 (2004) 1214–1220.
LibreCat: https://research-explorer.ista.ac.at/record/9493
DOI: 10.1016/j.cub.2004.06.055
PMID: 15242620 

Genetic and functional diversification of small RNA pathways in plants
Z. Xie, L.K. Johansen, A.M. Gustafson, K.D. Kasschau, A.D. Lellis, D. Zilberman, S.E. Jacobsen, J.C. Carrington, PLoS Biology 2 (2004) 0642–0652.
LibreCat: https://research-explorer.ista.ac.at/record/9517
DOI: 10.1371/journal.pbio.0020104
PMID: 15024409

Silencing of transposons in plant genomes: kick them when they're down
D. Zilberman, S. Henikoff, Genome Biology 5 (2004).
LibreCat: https://research-explorer.ista.ac.at/record/9511
DOI: 10.1186/gb-2004-5-12-249
PMID: 15575975

A limit shape theorem for periodic stochastic dispersion
D. Dolgopyat, V. Kaloshin, L. Koralov, Communications on Pure and Applied Mathematics 57 (2004) 1127–1158.
LibreCat: https://research-explorer.ista.ac.at/record/8517
DOI: 10.1002/cpa.20032

Sample path properties of the stochastic flows
L. Koralov, V. Kaloshin, D. Dolgopyat, The Annals of Probability 32 (2004) 1–27.
LibreCat: https://research-explorer.ista.ac.at/record/8518
DOI: 10.1214/aop/1078415827

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