Chatterjee K. Stochastic Müller games are PSPACE-complete. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:436-448. doi:10.1007/978-3-540-77050-3_36
LibreCat: https://research-explorer.ista.ac.at/record/3886
DOI: 10.1007/978-3-540-77050-3_36

Chatterjee K. Optimal strategy synthesis in stochastic Müller games. In: Vol 4423. Springer; 2007:138-152. doi:10.1007/978-3-540-71389-0_11
LibreCat: https://research-explorer.ista.ac.at/record/3885
DOI: 10.1007/978-3-540-71389-0_11

Dorn T, Kuhn U, Bungartz G, et al. RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. 2007;109(6):2346-2355. doi:10.1182/blood-2006-04-019034
LibreCat: https://research-explorer.ista.ac.at/record/3938
DOI: 10.1182/blood-2006-04-019034

Woolf E, Grigorova I, Sagiv A, et al. Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. 2007;8(10):1076-1085. doi:10.1038/ni1499
LibreCat: https://research-explorer.ista.ac.at/record/3937
DOI: 10.1038/ni1499

Cohen Steiner D, Edelsbrunner H. Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. 2007;7(4):391-404. doi:10.1007/s10208-005-0200-3
LibreCat: https://research-explorer.ista.ac.at/record/3973
DOI: 10.1007/s10208-005-0200-3

Cohen Steiner D, Edelsbrunner H, Harer J. Stability of persistence diagrams. Discrete &; Computational Geometry. 2007;37(1):103-120. doi:10.1007/s00454-006-1276-5
LibreCat: https://research-explorer.ista.ac.at/record/3972
DOI: 10.1007/s00454-006-1276-5

Von Der Hardt S, Bakkers J, Inbal A, et al. The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. 2007;17(6):475-487. doi:10.1016/j.cub.2007.02.013
LibreCat: https://research-explorer.ista.ac.at/record/4205
DOI: 10.1016/j.cub.2007.02.013

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

de Vladar H. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. In: Falcón N, Loyo De Sardi Y, eds. Consejo de Desarrollo Cientifico y Tecnologico; 2007:91-109. doi:3808
LibreCat: https://research-explorer.ista.ac.at/record/4233
DOI: 3808

Gardner A, West S, Barton NH. The relation between multilocus population genetics and social evolution theory. American Naturalist. 2007;169(2):207-226. doi:10.1086/510602
LibreCat: https://research-explorer.ista.ac.at/record/4247
DOI: 10.1086/510602

Free A, Barton NH. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 2007;22(11):611-619. doi:10.1016/j.tree.2007.07.007
LibreCat: https://research-explorer.ista.ac.at/record/4246
DOI: 10.1016/j.tree.2007.07.007

Beyer D, Henzinger TA, Singh V. Algorithms for interface synthesis. In: Vol 4590. Springer; 2007:4-19. doi:10.1007/978-3-540-73368-3_4
LibreCat: https://research-explorer.ista.ac.at/record/4399
DOI: 10.1007/978-3-540-73368-3_4

Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. In: Springer; 2007:74-88. doi:1552
LibreCat: https://research-explorer.ista.ac.at/record/4394
DOI: 1552

Berdine J, Calcagno C, Cook B, et al. Shape Analysis for Composite Data Structures. In: Springer; 2007:178-192. doi:1553
LibreCat: https://research-explorer.ista.ac.at/record/4398
DOI: 1553

Schaub M, Henzinger TA, Fisher J. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 2007;1(4). doi:10.1186/1752-0509-1-4
LibreCat: https://research-explorer.ista.ac.at/record/4405
DOI: 10.1186/1752-0509-1-4

Alur R, Cerny P, Chaudhuri S. Model Checking on Trees with Path Equivalences. In: Springer; 2007:664-678. doi:1544
LibreCat: https://research-explorer.ista.ac.at/record/4402
DOI: 1544

Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 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:273-292. doi:10.1007/978-3-540-71322-7_13
LibreCat: https://research-explorer.ista.ac.at/record/4417
DOI: 10.1007/978-3-540-71322-7_13

Henzinger TA, Kirsch C. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 2007;29(393). doi:10.1145/1286821.1286824
LibreCat: https://research-explorer.ista.ac.at/record/4446
DOI: 10.1145/1286821.1286824

Henzinger TA. Games, time, and probability: Graph models for system design and analysis. In: Vol 4362. Springer; 2007:103-110. doi:10.1007/978-3-540-69507-3_7
LibreCat: https://research-explorer.ista.ac.at/record/4514
DOI: 10.1007/978-3-540-69507-3_7

Henzinger TA. Quantitative generalizations of languages. In: Vol 4588. Springer; 2007:20-22. doi:10.1007/978-3-540-73208-2_2
LibreCat: https://research-explorer.ista.ac.at/record/4511
DOI: 10.1007/978-3-540-73208-2_2