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
Qualitative logics and equivalences for probabilistic systems
L. De Alfaro, K. Chatterjee, M. Faella, A. Legay, in:, IEEE, 2007, pp. 237–248.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Concurrent games with tail objectives
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Generalized parity games
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Springer, 2007, pp. 153–167.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
Optimal strategy synthesis in stochastic Müller games
K. Chatterjee, in:, Springer, 2007, pp. 138–152.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
Stochastic Müller games are PSPACE-complete
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Markov decision processes with multiple long-run average objectives
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3909
Social immunity
S. Cremer, S. Armitage, P. Schmid Hempel, Current Biology 17 (2007) R693–R702.
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 3911
Social prophylaxis: group interaction promotes collective immunity in ant colonies
L.V. Ugelvig, S. Cremer, Current Biology 17 (2007) 1967–1971.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3937
Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces
E. Woolf, I. Grigorova, A. Sagiv, V. Grabovsky, S. Feigelson, Z. Shulman, T. Hartmann, M.K. Sixt, J. Cyster, R. Alon, Nature Immunology 8 (2007) 1076–1085.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3938
RhoH is important for positive thymocyte selection and T-cell receptor signaling
T. Dorn, U. Kuhn, G. Bungartz, S. Stiller, M. Bauer, J. Ellwart, T. Peters, K. Scharffetter Kochanek, M. Semmrich, M. Laschinger, B. Holzmann, W. Klinkert, P. Straten, T. Køllgaard, M.K. Sixt, C. Brakebusch, Blood 109 (2007) 2346–2355.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3972
Stability of persistence diagrams
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Discrete & Computational Geometry 37 (2007) 103–120.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3973
Inequalities for the curvature of curves and surfaces
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3975
Inferring local homology from sampled stratified spaces
P. Bendich, D. Cohen Steiner, H. Edelsbrunner, J. Harer, D. Morozov, in:, IEEE, 2007, pp. 536–546.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3976
Protein-protein interfaces: Properties, preferences, and projections
J. Headd, Y.E.A. Ban, P. Brown, H. Edelsbrunner, M. Vaidya, J. Rudolph, Journal of Proteome Research 6 (2007) 2576–2586.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3977
Inclusion-exclusion formulas from independent complexes
D. Attali, H. Edelsbrunner, Discrete & Computational Geometry 37 (2007) 59–77.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3981
Alpha-beta witness complexes
D. Attali, H. Edelsbrunner, J. Harer, Y. Mileyko, in:, Springer, 2007, pp. 386–397.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4152
Zebrafish gastrulation: Cell movements, signals, and mechanisms
L. Rohde, C.-P.J. Heisenberg, International Review of Cytology - A Survey of Cell Biology 261 (2007) 159–192.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4182
The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation
M. Krieg, Y. Arboleda, D. Müller, C.-P.J. Heisenberg, European Journal of Cell Biology 86 (2007) 39–39.
View | DOI
 

Search

Filter Publications