Chatterjee, Krishnendu, et al. Generalized Parity Games. Vol. 4423, Springer, 2007, pp. 153–67, doi:10.1007/978-3-540-71389-0_12.

Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives.”10.1016/j.tcs.2007.07.047__Theoretical Computer Science, vol. 388, no. 1–3, Elsevier, 2007, pp. 181–98, doi:10.1016/j.tcs.2007.07.047.

Chatterjee, Krishnendu, et al. Strategy Logic. Vol. 4703, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73, doi:10.1007/978-3-540-74407-8_5.

De Alfaro, Luca, et al. Qualitative Logics and Equivalences for Probabilistic Systems. IEEE, 2007, pp. 237–48, doi:10.1109/QEST.2007.15.

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

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

Chatterjee, Krishnendu. Optimal Strategy Synthesis in Stochastic Müller Games. Vol. 4423, Springer, 2007, pp. 138–52, doi:10.1007/978-3-540-71389-0_11.

Dorn, Tatjana, et al. “RhoH Is Important for Positive Thymocyte Selection and T-Cell Receptor Signaling.”10.1182/blood-2006-04-019034__Blood, vol. 109, no. 6, American Society of Hematology, 2007, pp. 2346–55, doi:10.1182/blood-2006-04-019034.

Woolf, Eilon, et al. “Lymph Node Chemokines Promote Sustained T Lymphocyte Motility without Triggering Stable Integrin Adhesiveness in the Absence of Shear Forces.”10.1038/ni1499__Nature Immunology, vol. 8, no. 10, Nature Publishing Group, 2007, pp. 1076–85, doi:10.1038/ni1499.

Cohen Steiner, David, and Herbert Edelsbrunner. “Inequalities for the Curvature of Curves and Surfaces.”10.1007/s10208-005-0200-3__Foundations of Computational Mathematics, vol. 7, no. 4, Springer, 2007, pp. 391–404, doi:10.1007/s10208-005-0200-3.

Cohen Steiner, David, et al. “Stability of Persistence Diagrams.”10.1007/s00454-006-1276-5__Discrete &; Computational Geometry, vol. 37, no. 1, Springer, 2007, pp. 103–20, doi:10.1007/s00454-006-1276-5.

Von Der Hardt, Sophia, et al. “The Bmp Gradient of the Zebrafish Gastrula Guides Migrating Lateral Cells by Regulating Cell-Cell Adhesion.”10.1016/j.cub.2007.02.013__Current Biology, vol. 17, no. 6, Cell Press, 2007, pp. 475–87, doi:10.1016/j.cub.2007.02.013.

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

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

Gardner, Andy, et al. “The Relation between Multilocus Population Genetics and Social Evolution Theory.”10.1086/510602__American Naturalist, vol. 169, no. 2, University of Chicago Press, 2007, pp. 207–26, doi:10.1086/510602.

Free, Andrew, and Nicholas H. Barton. “Do Evolution and Ecology Need the Gaia Hypothesis?”10.1016/j.tree.2007.07.007__Trends in Ecology and Evolution, vol. 22, no. 11, Cell Press, 2007, pp. 611–19, doi:10.1016/j.tree.2007.07.007.

Beyer, Dirk, et al. Algorithms for Interface Synthesis. Vol. 4590, Springer, 2007, pp. 4–19, doi:10.1007/978-3-540-73368-3_4.

Bouillaguet, Charles, et al. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. Springer, 2007, pp. 74–88, doi:1552.

Berdine, Josh, et al. Shape Analysis for Composite Data Structures. Springer, 2007, pp. 178–92, doi:1553.

Schaub, Marc, et al. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.”10.1186/1752-0509-1-4__BMC Systems Biology, vol. 1, no. 4, BioMed Central, 2007, doi:10.1186/1752-0509-1-4.