K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” presented at the CONCUR: Concurrency Theory, 2007, vol. 4703, pp. 59–73.
LibreCat: https://research-explorer.ista.ac.at/record/3884
DOI: 10.1007/978-3-540-74407-8_5

L. De Alfaro, K. Chatterjee, M. Faella, and A. Legay, “Qualitative logics and equivalences for probabilistic systems,” presented at the QEST: Quantitative Evaluation of Systems, 2007, pp. 237–248.
LibreCat: https://research-explorer.ista.ac.at/record/3881
DOI: 10.1109/QEST.2007.15

K. Chatterjee, “Markov decision processes with multiple long-run average objectives,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2007, vol. 4855, pp. 473–484.
LibreCat: https://research-explorer.ista.ac.at/record/3887
DOI: 10.1007/978-3-540-77050-3_39

K. Chatterjee, “Stochastic Müller games are PSPACE-complete,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2007, vol. 4855, pp. 436–448.
LibreCat: https://research-explorer.ista.ac.at/record/3886
DOI: 10.1007/978-3-540-77050-3_36

K. Chatterjee, “Optimal strategy synthesis in stochastic Müller games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, 2007, vol. 4423, pp. 138–152.
LibreCat: https://research-explorer.ista.ac.at/record/3885
DOI: 10.1007/978-3-540-71389-0_11

T. Dorn et al., “RhoH is important for positive thymocyte selection and T-cell receptor signaling,” Blood, vol. 109, no. 6. American Society of Hematology, pp. 2346–2355, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/3938
DOI: 10.1182/blood-2006-04-019034

E. Woolf et al., “Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces,” Nature Immunology, vol. 8, no. 10. Nature Publishing Group, pp. 1076–1085, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/3937
DOI: 10.1038/ni1499

D. Cohen Steiner and H. Edelsbrunner, “Inequalities for the curvature of curves and surfaces,” Foundations of Computational Mathematics, vol. 7, no. 4. Springer, pp. 391–404, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/3973
DOI: 10.1007/s10208-005-0200-3

D. Cohen Steiner, H. Edelsbrunner, and J. Harer, “Stability of persistence diagrams,” Discrete &; Computational Geometry, vol. 37, no. 1. Springer, pp. 103–120, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/3972
DOI: 10.1007/s00454-006-1276-5

S. Von Der Hardt et al., “The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion,” Current Biology, vol. 17, no. 6. Cell Press, pp. 475–487, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4205
DOI: 10.1016/j.cub.2007.02.013

H. de Vladar and I. Pen, “Determinism, noise, and spurious estimations in a generalised model of population growth,” Physica A, vol. 373. Elsevier, pp. 477–485, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4234
DOI: 10.1016/j.physa.2006.06.025
arXiv: abs/q-bio/0602018

H. de Vladar, “Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas,” presented at the Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, 2007, pp. 91–109.
LibreCat: https://research-explorer.ista.ac.at/record/4233
DOI: 3808

A. Gardner, S. West, and N. H. Barton, “The relation between multilocus population genetics and social evolution theory,” American Naturalist, vol. 169, no. 2. University of Chicago Press, pp. 207–226, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4247
DOI: 10.1086/510602

A. Free and N. H. Barton, “Do evolution and ecology need the Gaia hypothesis?,” Trends in Ecology and Evolution, vol. 22, no. 11. Cell Press, pp. 611–619, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4246
DOI: 10.1016/j.tree.2007.07.007

D. Beyer, T. A. Henzinger, and V. Singh, “Algorithms for interface synthesis,” presented at the CAV: Computer Aided Verification, 2007, vol. 4590, pp. 4–19.
LibreCat: https://research-explorer.ista.ac.at/record/4399
DOI: 10.1007/978-3-540-73368-3_4

C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, and M. Rinard, “Using First-Order Theorem Provers in the Jahob Data Structure Verification System,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2007, pp. 74–88.
LibreCat: https://research-explorer.ista.ac.at/record/4394
DOI: 1552

J. Berdine et al., “Shape Analysis for Composite Data Structures,” presented at the CAV: Computer Aided Verification, 2007, pp. 178–192.
LibreCat: https://research-explorer.ista.ac.at/record/4398
DOI: 1553

M. Schaub, T. A. Henzinger, and J. Fisher, “Qualitative networks: A symbolic approach to analyze biological signaling networks,” BMC Systems Biology, vol. 1, no. 4. BioMed Central, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4405
DOI: 10.1186/1752-0509-1-4

R. Alur, P. Cerny, and S. Chaudhuri, “Model Checking on Trees with Path Equivalences,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2007, pp. 664–678.
LibreCat: https://research-explorer.ista.ac.at/record/4402
DOI: 1544

R. Manevich, J. Field, T. A. Henzinger, G. Ramalingam, and M. Sagiv, “Abstract counterexample-based refinement for powerset domains,” in Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–292.
LibreCat: https://research-explorer.ista.ac.at/record/4417
DOI: 10.1007/978-3-540-71322-7_13