Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.

Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.

Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.

Neuronal substrates of complex behaviors in C. elegans
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.

Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.

Signal propagation and logic gating in networks of integrate-and-fire neurons
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.

Neural network dynamics
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.

DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes
R.K. Tran, J.G. Henikoff, D. Zilberman, R.F. Ditt, S.E. Jacobsen, S. Henikoff, Current Biology 15 (2005) 154–159.

Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis
R.K. Tran, D. Zilberman, C. de Bustos, R.F. Ditt, J.G. Henikoff, A.M. Lindroth, J. Delrow, T. Boyle, S. Kwong, T.D. Bryson, S.E. Jacobsen, S. Henikoff, Genome Biology 6 (2005).

Distribution of the strength of selection against amino acid replacements in human proteins
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.

SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds
P. Schanda, . Kupde, B. Brutscher, Journal of Biomolecular NMR 33 (2005) 199–211.

Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds
P. Schanda, B. Brutscher, Journal of the American Chemical Society 127 (2005) 8014–8015.

On diffusion in high-dimensional Hamiltonian systems
J. Bourgain, V. Kaloshin, Journal of Functional Analysis 229 (2005) 1–61.

The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution
F. Kondrashov, Biofizika 50 (2005) 389–395.

In search of the limits of evolution
F. Kondrashov, Nature Genetics 37 (2005) 9–10.

Prediction of pathogenic mutations in mitochondrially encoded human tRNAs
F. Kondrashov, Human Molecular Genetics 14 (2005) 2415–2419.

The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus
F. Kondrashov, Biofizika 50 (2005) 396–403.

A universal trend of amino acid gain and loss in protein evolution
I. Jordan, F. Kondrashov, I. Adzhube0, Y. Wolf, E. Koonin, A. Kondrashov, S. Sunyaev, Nature 433 (2005) 633–638.

Epigenetic inheritance in Arabidopsis: Selective silence
D. Zilberman, S. Henikoff, Current Opinion in Genetics and Development 15 (2005) 557–562.

Cutting into solids with micropatterned gels
S.K. Smoukov, K.J.M. Bishop, R. Klajn, C.J. Campbell, B.A. Grzybowski, Advanced Materials 17 (2005) 1361–1365.