Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9096 Publications
2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee, Krishnendu, et al. Generalized Parity Games. Vol. 4423, Springer, 2007, pp. 153–67, doi:10.1007/978-3-540-71389-0_12.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3882
Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives.” Theoretical Computer Science, vol. 388, no. 1–3, Elsevier, 2007, pp. 181–98, doi:10.1016/j.tcs.2007.07.047.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3884
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.
View
| Files available
| DOI
2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro, Luca, et al. Qualitative Logics and Equivalences for Probabilistic Systems. IEEE, 2007, pp. 237–48, doi:10.1109/QEST.2007.15.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3887
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.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3886
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.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3885
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.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3938
Dorn, Tatjana, et al. “RhoH Is Important for Positive Thymocyte Selection and T-Cell Receptor Signaling.” Blood, vol. 109, no. 6, American Society of Hematology, 2007, pp. 2346–55, doi:10.1182/blood-2006-04-019034.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3937
Woolf, Eilon, 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, 2007, pp. 1076–85, doi:10.1038/ni1499.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3973
Cohen Steiner, David, and Herbert Edelsbrunner. “Inequalities for the Curvature of Curves and Surfaces.” Foundations of Computational Mathematics, vol. 7, no. 4, Springer, 2007, pp. 391–404, doi:10.1007/s10208-005-0200-3.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3972
Cohen Steiner, David, et al. “Stability of Persistence Diagrams.” Discrete & Computational Geometry, vol. 37, no. 1, Springer, 2007, pp. 103–20, doi:10.1007/s00454-006-1276-5.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4205
Von Der Hardt, Sophia, 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, 2007, pp. 475–87, doi:10.1016/j.cub.2007.02.013.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4234 | 
de Vladar, Harold, and I. Pen. “Determinism, Noise, and Spurious Estimations in a Generalised Model of Population Growth.” Physica A, vol. 373, Elsevier, 2007, pp. 477–85, doi:10.1016/j.physa.2006.06.025.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 4247
Gardner, Andy, et al. “The Relation between Multilocus Population Genetics and Social Evolution Theory.” American Naturalist, vol. 169, no. 2, University of Chicago Press, 2007, pp. 207–26, doi:10.1086/510602.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4246
Free, Andrew, and Nicholas H. Barton. “Do Evolution and Ecology Need the Gaia Hypothesis?” Trends in Ecology and Evolution, vol. 22, no. 11, Cell Press, 2007, pp. 611–19, doi:10.1016/j.tree.2007.07.007.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4399
Beyer, Dirk, et al. Algorithms for Interface Synthesis. Vol. 4590, Springer, 2007, pp. 4–19, doi:10.1007/978-3-540-73368-3_4.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4405
Schaub, Marc, et al. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.” BMC Systems Biology, vol. 1, no. 4, BioMed Central, 2007, doi:10.1186/1752-0509-1-4.
View
| DOI
| Download (ext.)