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, 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
View
| DOI
2007 | Journal Article | IST-REx-ID: 3882
Chatterjee, K. (2007). Concurrent games with tail objectives. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.047
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3884
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
View
| Files available
| DOI
2007 | Conference Paper | IST-REx-ID: 3881
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
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3887
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
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3886
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
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3885
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
View
| DOI
2007 | Journal Article | IST-REx-ID: 3938
Dorn, T., Kuhn, U., Bungartz, G., Stiller, S., Bauer, M., Ellwart, J., … 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
View
| DOI
2007 | Journal Article | IST-REx-ID: 3937
Woolf, E., Grigorova, I., Sagiv, A., Grabovsky, V., Feigelson, S., Shulman, Z., … 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
View
| DOI
2007 | Journal Article | IST-REx-ID: 3973
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
View
| DOI
2007 | Journal Article | IST-REx-ID: 3972
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
View
| DOI
2007 | Journal Article | IST-REx-ID: 4205
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
View
| DOI
2007 | Journal Article | IST-REx-ID: 4234 | 
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Conference Paper | IST-REx-ID: 4233
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
View
| DOI
2007 | Journal Article | IST-REx-ID: 4247
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
View
| DOI
2007 | Journal Article | IST-REx-ID: 4246
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
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4399
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
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4394
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
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4398
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
View
| DOI
2007 | Journal Article | IST-REx-ID: 4405
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
View
| DOI
| Download (ext.)