Hydrodynamic effects in fast AFM single molecule force measurements
H.L. Janovjak, J. Struckmeier, D. Mueller, European Biophysics Journal 34 (2005) 91–96.

Posterior mapping and posterior predictive distributions
J.P. Bollback, in:, R. Nielsen (Ed.), Statistical Methods in Molecular Evolution, Springer, 2005, pp. 439–462.

Methods, apparatus and computer program products for modeling three-dimensional colored objects
S. Williams, H. Edelsbrunner, P. Fu, (2005).

Extraction and simplification of iso-surfaces in tandem
D. Attali, D. Cohen Steiner, H. Edelsbrunner, in:, ACM, 2005, pp. 139–148.

The geometry of biomolecular solvation
H. Edelsbrunner, P. Koehl, in:, Combinatorial and Computational Geometry, Cambridge University Press, 2005, pp. 243–275.

Speciation and gene flow between snails of opposing chirality
A. Davison, S. Chiba, N.H. Barton, B. Clarke, PLoS Biology 3 (2005).

Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes
B. Nürnberger, N.H. Barton, L. Kruuk, T. Vines, Heredity 94 (2005) 247–257.

Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.

Boundary regularity of admissible operators
C. Lampert, Publicacions Matemàtiques 49 (2005) 179–195.

Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins
H.L. Janovjak, D. Mueller, A. Humphris, Biophysical Journal 88 (2005) 1423–1431.

Information-based clustering
N. Slonim, G. Atwal, G. Tkadik, W. Bialek, PNAS 102 (2005) 18297–18302.

Estimating mutual information and multi-information in large networks
N. Slonim, G. Atwal, G. Tkadik, W. Bialek, ArXiv (2005) 1–11.

Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons
D. Engel, P.M. Jonas, Neuron 45 (2005) 405–17.

Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziski, in:, Springer, 2005, pp. 141–161.

The drawback of mobility: invasive species in a globalised world
S. Cremer, J. Boomsma, in:, Elsevier, 2005.

The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node
M.K. Sixt, N. Kanazawa, M. Selg, T. Samson, G. Roos, D. Reinhardt, R. Pabst, M. Lutz, L. Sorokin, Immunity 22 (2005) 19–29.

Experimental validation of the docking orientation of Cd with its Cdk2-CycA protein substrate
J. Sohn, J. Parks, G. Buhrman, P. Brown, K. Kristjánsdóttir, A. Safi, H. Edelsbrunner, W. Yang, J. Rudolph, Biochemistry 44 (2005) 16563–16573.

Coarse and reliable geometric alignment for protein docking
Y. Wang, P. Agarwal, P. Brown, H. Edelsbrunner, J. Rudolph, in:, World Scientific Publishing, 2005, pp. 64–75.

Wn functions in gastrulation by controlling cell cohesion through Rac and E-cadherin
F. Ulrich, M. Krieg, E. Schötz, V. Link, I. Castanon, V. Schnabel, A. Taubenberger, D. Müller, P. Puech, C.-P.J. Heisenberg, Developmental Cell 9 (2005) 555–564.

The limitations of adaptive dynamics as a model of evolution
N.H. Barton, J. Polechova, Journal of Evolutionary Biology 18 (2005) 1186–1190.

Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, C.-P.J. Heisenberg, Journal of Cell Science 118 (2005) 4199–4206.

Shield formation at the onset of zebrafish gastrulation
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, C.-P.J. Heisenberg, Development 132 (2005) 1187–1198.

Speciation through competition: A critical review
J. Polechova, N.H. Barton, Evolution; International Journal of Organic Evolution 59 (2005) 1194–1210.

Evolution of recombination due to random drift
N.H. Barton, S. Otto, Genetics 169 (2005) 2353–2370.

Theoretical models of selection and mutationon quantitative traits
T. Johnson, N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 360 (2005) 1411–1425.

Synthesis of interface specifications for Java classes
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.

Trading end-to-end latency for composability
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.

A programmable microkernel for real-time systems
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.

A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.

Quantifying similarities between timed systems
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.

Permissive interfaces
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.

Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.

Automatic rectangular refinement of affine hybrid systems
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.

Semiperfect-information games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.

The complexity of stochastic Rabin and Streett games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.

Mean-payoff parity games
K. Chatterjee, T.A. Henzinger, M. Jurdziski, in:, IEEE, 2005, pp. 178–187.

Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.

Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.

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

Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.

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.

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.

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