Please note that IST 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.

6408 Publications


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: 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 | 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: 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 | 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: 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 | Journal Article | IST-REx-ID: 3909
Cremer, S., Armitage, S., & Schmid Hempel, P. (2007). Social immunity. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2007.06.008
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3910
Hughes, D., & Cremer, S. (2007). Plasticity in anti-parasite behaviours and its suggested role in invasion biology. Animal Behaviour. Elsevier. https://doi.org/10.1016/j.anbehav.2006.12.025
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3911
Ugelvig, L. V., & Cremer, S. (2007). Social prophylaxis: group interaction promotes collective immunity in ant colonies. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2007.10.029
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
 

Search

Filter Publications