Chatterjee, K., Henzinger, T. A., &; Piterman, N. (2007). Generalized parity games (Vol. 4423, pp. 153–167). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer.https://doi.org/10.1007/978-3-540-71389-0_12 

Chatterjee, K. (2007). Concurrent games with tail objectives. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2007.07.047 

Chatterjee, K., Henzinger, T. A., &; Piterman, N. (2007). Strategy logic (Vol. 4703, pp. 59–73). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-74407-8_5 

De Alfaro, L., Chatterjee, K., Faella, M., &; Legay, A. (2007). Qualitative logics and equivalences for probabilistic systems (pp. 237–248). Presented at the QEST: Quantitative Evaluation of Systems, IEEE.https://doi.org/10.1109/QEST.2007.15 

Chatterjee, K. (2007). Markov decision processes with multiple long-run average objectives (Vol. 4855, pp. 473–484). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-77050-3_39 

Chatterjee, K. (2007). Stochastic Müller games are PSPACE-complete (Vol. 4855, pp. 436–448). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-77050-3_36 

Chatterjee, K. (2007). Optimal strategy synthesis in stochastic Müller games (Vol. 4423, pp. 138–152). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer.https://doi.org/10.1007/978-3-540-71389-0_11 

Dorn, T., Kuhn, U., Bungartz, G., Stiller, S., Bauer, M., Ellwart, J.,https://doi.org/10.1182/blood-2006-04-019034__Brakebusch, C. (2007). RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. American Society of Hematology.https://doi.org/10.1182/blood-2006-04-019034 

Woolf, E., Grigorova, I., Sagiv, A., Grabovsky, V., Feigelson, S., Shulman, Z.,https://doi.org/10.1038/ni1499__Alon, R. (2007). Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. Nature Publishing Group.https://doi.org/10.1038/ni1499 

Cohen Steiner, D., &; Edelsbrunner, H. (2007). Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. Springer.https://doi.org/10.1007/s10208-005-0200-3 

Cohen Steiner, D., Edelsbrunner, H., &; Harer, J. (2007). Stability of persistence diagrams. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-006-1276-5 

Von Der Hardt, S., Bakkers, J., Inbal, A., Carvalho, L., Solnica Krezel, L., Heisenberg, C.-P. J., &; Hammerschmidt, M. (2007). The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2007.02.013 

de Vladar, H., &; Pen, I. (2007). Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. Elsevier.https://doi.org/10.1016/j.physa.2006.06.025 

de Vladar, H. (2007). Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. In N. Falcón &; Y. Loyo De Sardi (Eds.) (pp. 91–109). Presented at the Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, Consejo de Desarrollo Cientifico y Tecnologico.https://doi.org/3808 

Gardner, A., West, S., &; Barton, N. H. (2007). The relation between multilocus population genetics and social evolution theory. American Naturalist. University of Chicago Press.https://doi.org/10.1086/510602 

Free, A., &; Barton, N. H. (2007). Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. Cell Press.https://doi.org/10.1016/j.tree.2007.07.007 

Beyer, D., Henzinger, T. A., &; Singh, V. (2007). Algorithms for interface synthesis (Vol. 4590, pp. 4–19). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/978-3-540-73368-3_4 

Bouillaguet, C., Kuncak, V., Wies, T., Zee, K., &; Rinard, M. (2007). Using First-Order Theorem Provers in the Jahob Data Structure Verification System (pp. 74–88). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer.https://doi.org/1552 

Berdine, J., Calcagno, C., Cook, B., Distefano, D., O’Hearn, P., Wies, T., &; Yang, H. (2007). Shape Analysis for Composite Data Structures (pp. 178–192). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/1553 

Schaub, M., Henzinger, T. A., &; Fisher, J. (2007). Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. BioMed Central.https://doi.org/10.1186/1752-0509-1-4