Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Generalized Parity Games,”https://doi.org/10.1007/978-3-540-71389-0_12__4423:153–67. Springer, 2007.https://doi.org/10.1007/978-3-540-71389-0_12 .

Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives.”https://doi.org/10.1016/j.tcs.2007.07.047__Theoretical Computer Science. Elsevier, 2007.https://doi.org/10.1016/j.tcs.2007.07.047 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic,”https://doi.org/10.1007/978-3-540-74407-8_5__4703:59–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007.https://doi.org/10.1007/978-3-540-74407-8_5 .

De Alfaro, Luca, Krishnendu Chatterjee, Marco Faella, and Axel Legay. “Qualitative Logics and Equivalences for Probabilistic Systems,”https://doi.org/10.1109/QEST.2007.15__237–48. IEEE, 2007.https://doi.org/10.1109/QEST.2007.15 .

Chatterjee, Krishnendu. “Markov Decision Processes with Multiple Long-Run Average Objectives,”https://doi.org/10.1007/978-3-540-77050-3_39__4855:473–84. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007.https://doi.org/10.1007/978-3-540-77050-3_39 .

Chatterjee, Krishnendu. “Stochastic Müller Games Are PSPACE-Complete,”https://doi.org/10.1007/978-3-540-77050-3_36__4855:436–48. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007.https://doi.org/10.1007/978-3-540-77050-3_36 .

Chatterjee, Krishnendu. “Optimal Strategy Synthesis in Stochastic Müller Games,”https://doi.org/10.1007/978-3-540-71389-0_11__4423:138–52. Springer, 2007.https://doi.org/10.1007/978-3-540-71389-0_11 .

Dorn, Tatjana, Ursula Kuhn, Gerd Bungartz, Sebastian Stiller, Martina Bauer, Joachim Ellwart, Thorsten Peters, et al. “RhoH Is Important for Positive Thymocyte Selection and T-Cell Receptor Signaling.”https://doi.org/10.1182/blood-2006-04-019034__Blood. American Society of Hematology, 2007.https://doi.org/10.1182/blood-2006-04-019034 .

Woolf, Eilon, Irina Grigorova, Adi Sagiv, Valentin Grabovsky, Sara Feigelson, Ziv Shulman, Tanja Hartmann, Michael K Sixt, Jason Cyster, and Ronen Alon. “Lymph Node Chemokines Promote Sustained T Lymphocyte Motility without Triggering Stable Integrin Adhesiveness in the Absence of Shear Forces.”https://doi.org/10.1038/ni1499__Nature Immunology. Nature Publishing Group, 2007.https://doi.org/10.1038/ni1499 .

Cohen Steiner, David, and Herbert Edelsbrunner. “Inequalities for the Curvature of Curves and Surfaces.”https://doi.org/10.1007/s10208-005-0200-3__Foundations of Computational Mathematics. Springer, 2007.https://doi.org/10.1007/s10208-005-0200-3 .

Cohen Steiner, David, Herbert Edelsbrunner, and John Harer. “Stability of Persistence Diagrams.”https://doi.org/10.1007/s00454-006-1276-5__Discrete &; Computational Geometry. Springer, 2007.https://doi.org/10.1007/s00454-006-1276-5 .

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 .