Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.

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

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

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

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.

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.

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.

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

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.

An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland
F. Pellicciotti, B. Brock, U. Strasser, P. Burlando, M. Funk, J. Corripio, Journal of Glaciology 51 (2005) 573–587.

In vivo performance of genetically encoded indicators of neural activity in flies
D. Reiff, A. Ihring, G. Guerrero, E. Isacoff, M.A. Jösch, J. Nakai, A. Borst, Journal of Neuroscience 25 (2005) 4766–4778.

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.

One-step multilevel microfabrication by reactiondiffusion
C.J. Campbell, R. Klajn, M. Fialkowski, B.A. Grzybowski, Langmuir 21 (2005) 418–423.

Applications, properties and synthesis of w-functionalized n-alkanethiols and disulfides - the building blocks of self-assembled monolayers
D. Witt, R. Klajn, P. Barski, B. Grzybowski, Current Organic Chemistry 8 (2005) 1763–1797.