Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl-Philipp J Heisenberg. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.”https://doi.org/doi: 10.1242/dev.02439__Development. Company of Biologists, 2006.https://doi.org/doi: 10.1242/dev.02439 .

Blaser, Heiko, Michal Reichman Fried, Irinka Castanon, Karin Dumstrei, Florence Marlow, Koichi Kawakami, Lilianna Solnica Krezel, Carl-Philipp J Heisenberg, and Erez Raz. “Migration of Zebrafish Primordial Germ Cells: A Role for Myosin Contraction and Cytoplasmic Flow.”https://doi.org/10.1016/j.devcel.2006.09.023__Developmental Cell. Cell Press, 2006.https://doi.org/10.1016/j.devcel.2006.09.023 .

Vladar, Harold de. “Density-Dependence as a Size-Independent Regulatory Mechanism.”https://doi.org/3802__Journal of Theoretical Biology. Elsevier, 2006.https://doi.org/3802 .

Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology. Elsevier, 2006.

Roze, Denis, and Nicholas H Barton. “The Hill-Robertson Effect and the Evolution of Recombination.”https://doi.org/10.1534/genetics.106.058586 __Genetics. Genetics Society of America, 2006.https://doi.org/10.1534/genetics.106.058586  .

Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?”https://doi.org/10.1016/j.cub.2006.07.032__Current Biology. Cell Press, 2006.https://doi.org/10.1016/j.cub.2006.07.032 .

Wies, Thomas, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard. “Field Constraint Analysis,”https://doi.org/1551__157–73. Springer, 2006.https://doi.org/1551 .

Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future,”https://doi.org/1571__2–16. Springer, 2006.https://doi.org/1571 .

Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata,”https://doi.org/1570__274–89. Springer, 2006.https://doi.org/1570 .

De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata,”https://doi.org/10.1007/11817963_5__4144:17–30. Springer, 2006.https://doi.org/10.1007/11817963_5 .

Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy Under Refinement,”https://doi.org/1543__107–18. Springer, 2006.https://doi.org/1543 .

Henzinger, Thomas A, and Nir Piterman. “Solving Games without Determinization,”https://doi.org/10.1007/11874683_26__4207:395–410. Springer, 2006.https://doi.org/10.1007/11874683_26 .

Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components,”https://doi.org/10.1109/RTAS.2006.11__253–66. IEEE, 2006.https://doi.org/10.1109/RTAS.2006.11 .

Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic,”https://doi.org/10.1007/11867340_1__4202:1–17. Springer, 2006.https://doi.org/10.1007/11867340_1 .

Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge,”https://doi.org/10.1007/11813040_1__4085:1–15. Springer, 2006.https://doi.org/10.1007/11813040_1 .

Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.”https://doi.org/10.1016/j.tcs.2005.11.015__Theoretical Computer Science. Elsevier, 2006.https://doi.org/10.1016/j.tcs.2005.11.015 .

Gulavani, Bhargav, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking,”https://doi.org/10.1145/1181775.1181790__117–27. ACM, 2006.https://doi.org/10.1145/1181775.1181790 .

Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,”https://doi.org/10.1145/1176887.1176907__132–41. ACM, 2006.https://doi.org/10.1145/1176887.1176907 .

Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,”https://doi.org/10.1109/WSC.2006.322942__1675–82. IEEE, 2006.https://doi.org/10.1109/WSC.2006.322942 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Finitary Winning in Omega-Regular Games,”https://doi.org/10.1007/11691372_17__3920:257–71. Springer, 2006.https://doi.org/10.1007/11691372_17 .