Von Der Hardt, Sophia, Jeroen Bakkers, Adi Inbal, Lara Carvalho, Lilianna Solnica Krezel, Carl-Philipp J Heisenberg, and Matthias Hammerschmidt. “The Bmp Gradient of the Zebrafish Gastrula Guides Migrating Lateral Cells by Regulating Cell-Cell Adhesion.”https://doi.org/10.1016/j.cub.2007.02.013__Current Biology. Cell Press, 2007.https://doi.org/10.1016/j.cub.2007.02.013 .

Vladar, Harold de, and I. Pen. “Determinism, Noise, and Spurious Estimations in a Generalised Model of Population Growth.”https://doi.org/10.1016/j.physa.2006.06.025__Physica A. Elsevier, 2007.https://doi.org/10.1016/j.physa.2006.06.025 .

Vladar, Harold de. “Alternativas Prebióticas Para La Síntesis de Amino- Ácidos y Otras Moléculas Relacionadas.”https://doi.org/3808__edited by N. Falcón and Y. Loyo De Sardi, 91–109. Consejo de Desarrollo Cientifico y Tecnologico, 2007.https://doi.org/3808 .

Gardner, Andy, Stuart West, and Nicholas H Barton. “The Relation between Multilocus Population Genetics and Social Evolution Theory.”https://doi.org/10.1086/510602__American Naturalist. University of Chicago Press, 2007.https://doi.org/10.1086/510602 .

Free, Andrew, and Nicholas H Barton. “Do Evolution and Ecology Need the Gaia Hypothesis?”https://doi.org/10.1016/j.tree.2007.07.007__Trends in Ecology and Evolution. Cell Press, 2007.https://doi.org/10.1016/j.tree.2007.07.007 .

Beyer, Dirk, Thomas A Henzinger, and Vasu Singh. “Algorithms for Interface Synthesis,”https://doi.org/10.1007/978-3-540-73368-3_4__4590:4–19. Springer, 2007.https://doi.org/10.1007/978-3-540-73368-3_4 .

Bouillaguet, Charles, Viktor Kuncak, Thomas Wies, Karen Zee, and Martin Rinard. “Using First-Order Theorem Provers in the Jahob Data Structure Verification System,”https://doi.org/1552__74–88. Springer, 2007.https://doi.org/1552 .

Berdine, Josh, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O’Hearn, Thomas Wies, and Hongseok Yang. “Shape Analysis for Composite Data Structures,”https://doi.org/1553__178–92. Springer, 2007.https://doi.org/1553 .

Schaub, Marc, Thomas A Henzinger, and Jasmin Fisher. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.”https://doi.org/10.1186/1752-0509-1-4__BMC Systems Biology. BioMed Central, 2007.https://doi.org/10.1186/1752-0509-1-4 .

Alur, Rajeev, Pavol Cerny, and Swarat Chaudhuri. “Model Checking on Trees with Path Equivalences,”https://doi.org/1544__664–78. Springer, 2007.https://doi.org/1544 .

Manevich, Roman, John Field, Thomas A Henzinger, Ganesan Ramalingam, and Mooly Sagiv. “Abstract Counterexample-Based Refinement for Powerset Domains.”https://doi.org/10.1007/978-3-540-71322-7_13__In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, 4444:273–92. Springer, 2007.https://doi.org/10.1007/978-3-540-71322-7_13 .

Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.”https://doi.org/10.1145/1286821.1286824__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2007.https://doi.org/10.1145/1286821.1286824 .

Henzinger, Thomas A. “Games, Time, and Probability: Graph Models for System Design and Analysis,”https://doi.org/10.1007/978-3-540-69507-3_7__4362:103–10. Springer, 2007.https://doi.org/10.1007/978-3-540-69507-3_7 .

Henzinger, Thomas A. “Quantitative Generalizations of Languages,”https://doi.org/10.1007/978-3-540-73208-2_2__4588:20–22. Springer, 2007.https://doi.org/10.1007/978-3-540-73208-2_2 .

Fisher, Jasmin, Nir Piterman, Alex Hajnal, and Thomas A Henzinger. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.”https://doi.org/10.1371/journal.pcbi.0030092__PLoS Computational Biology. Public Library of Science, 2007.https://doi.org/10.1371/journal.pcbi.0030092 .

Fisher, Jasmin, and Thomas A Henzinger. “Executable Cell Biology.”https://doi.org/10.1038/nbt1356__Nature Biotechnology. Nature Publishing Group, 2007.https://doi.org/10.1038/nbt1356 .

Duparc, Jacques, and Thomas A Henzinger. CSL: Computer Science Logic . CSL: Computer Science Logic. Vol. 4646. Springer, 2007.https://doi.org/10.1007/978-3-540-74915-8 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Assume-Guarantee Synthesis,”https://doi.org/10.1007/978-3-540-71209-1_21__4424:261–75. Springer, 2007.https://doi.org/10.1007/978-3-540-71209-1_21 .

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.”https://doi.org/10.2168/LMCS-3(3:4)2007__Logical Methods in Computer Science. International Federation of Computational Logic, 2007.https://doi.org/10.2168/LMCS-3(3:4)2007 .

Chatterjee, Krishnendu. “Stochastic <9-Regular Games.” University of California, Berkeley, 2007.