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.

6749 Publications


2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro L, Chatterjee K, Faella M, Legay A. Qualitative logics and equivalences for probabilistic systems. In: IEEE; 2007:237-248. doi:10.1109/QEST.2007.15
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Chatterjee K. Concurrent games with tail objectives. Theoretical Computer Science. 2007;388(1-3):181-198. doi:10.1016/j.tcs.2007.07.047
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee K, Henzinger TA, Piterman N. Generalized parity games. In: Vol 4423. Springer; 2007:153-167. doi:10.1007/978-3-540-71389-0_12
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. Strategy logic. In: Vol 4703. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:59-73. doi:10.1007/978-3-540-74407-8_5
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
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
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
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
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee K. Markov decision processes with multiple long-run average objectives. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:473-484. doi:10.1007/978-3-540-77050-3_39
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3909
Cremer S, Armitage S, Schmid Hempel P. Social immunity. Current Biology. 2007;17(16):R693-R702. doi:10.1016/j.cub.2007.06.008
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 3911
Ugelvig LV, Cremer S. Social prophylaxis: group interaction promotes collective immunity in ant colonies. Current Biology. 2007;17(22):1967-1971. doi:10.1016/j.cub.2007.10.029
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3937
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
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3938
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
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3972
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
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3973
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
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3975
Bendich P, Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. Inferring local homology from sampled stratified spaces. In: IEEE; 2007:536-546. doi:10.1109/FOCS.2007.33
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3976
Headd J, Ban YEA, Brown P, Edelsbrunner H, Vaidya M, Rudolph J. Protein-protein interfaces: Properties, preferences, and projections. Journal of Proteome Research. 2007;6(7):2576-2586. doi:10.1021/pr070018+
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3977
Attali D, Edelsbrunner H. Inclusion-exclusion formulas from independent complexes. Discrete & Computational Geometry. 2007;37(1):59-77. doi:10.1007/s00454-006-1274-7
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3981
Attali D, Edelsbrunner H, Harer J, Mileyko Y. Alpha-beta witness complexes. In: Vol 4619. Springer; 2007:386-397. doi:10.1007/978-3-540-73951-7_34
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4152
Rohde L, Heisenberg C-PJ. Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. 2007;261:159-192. doi:10.1016/S0074-7696(07)61004-3
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4182
Krieg M, Arboleda Y, Müller D, Heisenberg C-PJ. The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation. European Journal of Cell Biology. 2007;86(Supplement 1):39-39. doi:10.1016/j.ejcb.2007.02.002
View | DOI
 

Search

Filter Publications