Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation
M. Kai, C.-P.J. Heisenberg, M. Tada, Development 135 (2008) 3043–3051.

Single-cell force spectroscopy
J. Helenius, C.-P.J. Heisenberg, H. Gaub, D. Mueller, Journal of Cell Science 121 (2008) 1785–1791.

Back and forth between cell fate specification and movement during vertebrate gastrulation
C.-P.J. Heisenberg, L. Solnica Krezel, Current Opinion in Genetics &; Development 18 (2008) 311–316.

Precision of the Dpp gradient
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.

A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, IEEE, 2008, pp. 2749–2756.

Effects of spontaneous mutation accumulation on sex ratio traits
B. Pannebakker, D. Halligan, K.T. Reynolds, G. Ballantyne, D. Shuker, N.H. Barton, S. West, Evolution; International Journal of Organic Evolution 62 (2008) 1921–1935.

Heap Assumptions on Demand
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.

Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.

Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.

Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.

CSIsat: Interpolation for LA+EUF
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.

Security evaluation of ES&S voting machines and election management system
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, 17th USENIX Security Symposium, 2008.

Games for the verification of timed systems
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.

Compositionality in deterministic real-time embedded systems
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.

Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.

Two challenges in embedded systems design: Predictability and robustness
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.

Proving non-termination
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.

A hierarchical coordination language for reliable real-time tasks
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.

Bounded asynchrony: Concurrency for modeling cell-cell interactions
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.