Proteomics of early zebrafish embryos
V. Link, A. Shevchenko, C.-P.J. Heisenberg, BMC Developmental Biology 6 (2006) 1–9.

Analysis and visualization of cell movement in the developing zebrafish brain
T. Langenberg, T. Dracz, A. Oates, C.-P.J. Heisenberg, M. Brand, Developmental Dynamics 235 (2006) 928–933.

Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, C.-P.J. Heisenberg, Development 133 (2006) 2671–2681.

Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow
H. Blaser, M. Reichman Fried, I. Castanon, K. Dumstrei, F. Marlow, K. Kawakami, L. Solnica Krezel, C.-P.J. Heisenberg, E. Raz, Developmental Cell 11 (2006) 613–627.

Density-dependence as a size-independent regulatory mechanism
H. de Vladar, Journal of Theoretical Biology 238 (2006) 245–256.

Dynamic response of cancer under the influence of immunological activity and therapy
H. de Vladar, J. González, Journal of Theoretical Biology (2006) 91–109.

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.

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.

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.

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

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

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

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

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

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.