The Hill-Robertson effect and the evolution of recombination
D. Roze, N.H. Barton, Genetics 173 (2006) 1793–1811.

Evolutionary Biology: How did the human species form?
N.H. Barton, Current Biology 16 (2006) 647–650.

Bibliothek 2.0 - Die Bibliothek der Zukunft?
P. Danowski, L. Heller, Bibliotheksdienst 40 (2006) 1250–1271.

SIMMAP: stochastic character mapping of discrete traits on phylogenies
J.P. Bollback, BMC Bioinformatics 7 (2006).

Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil
J. Conn, J. Vineis, J.P. Bollback, D. Onyabe, R. Wilkerson, M. Povoa, The American Journal of Tropical Medicine and Hygiene 74 (2006) 798–806.

Field Constraint Analysis
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.

Real Time Temporal Logic: Past, Present, Future
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 2–16.

From MITL to Timed Automata
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 274–289.

Preserving Secrecy Under Refinement
R. Alur, P. Cerny, S. Zdancewic, in:, Springer, 2006, pp. 107–118.

Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.

The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.

Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.

An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.

Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.

On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.

Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.

A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.

Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.

Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.

Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.