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.

9101 Publications


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 | OA
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 | Conference Paper | IST-REx-ID: 4233
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.
View | DOI
 

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 | Conference Paper | IST-REx-ID: 4394
Bouillaguet, Charles, et al. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. Springer, 2007, pp. 74–88, doi:1552.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4398
Berdine, Josh, et al. Shape Analysis for Composite Data Structures. Springer, 2007, pp. 178–92, doi:1553.
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.)
 

2007 | Conference Paper | IST-REx-ID: 4402
Alur, Rajeev, et al. Model Checking on Trees with Path Equivalences. Springer, 2007, pp. 664–78, doi:1544.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 4417
Manevich, Roman, et al. “Abstract Counterexample-Based Refinement for Powerset Domains.” 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–92, doi:10.1007/978-3-540-71322-7_13.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4446
Henzinger, Thomas A., and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 29, no. 393, ACM, 2007, doi:10.1145/1286821.1286824.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, Thomas A. Games, Time, and Probability: Graph Models for System Design and Analysis. Vol. 4362, Springer, 2007, pp. 103–10, doi:10.1007/978-3-540-69507-3_7.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. Quantitative Generalizations of Languages. Vol. 4588, Springer, 2007, pp. 20–22, doi:10.1007/978-3-540-73208-2_2.
View | DOI
 

Search

Filter Publications