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.
7003 Publications
2007 |Published| Journal Article | IST-REx-ID: 3882
Concurrent games with tail objectives
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.
View
| DOI
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.
2007 |Published| 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
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
2007 |Published| 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
L. De Alfaro, K. Chatterjee, M. Faella, A. Legay, in:, IEEE, 2007, pp. 237–248.
2007 |Published| 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
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.
2007 |Published| 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
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.
2007 |Published| Conference Paper | IST-REx-ID: 3885
Optimal strategy synthesis in stochastic Müller games
K. Chatterjee, in:, Springer, 2007, pp. 138–152.
View
| DOI
K. Chatterjee, in:, Springer, 2007, pp. 138–152.
2007 |Published| 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
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.
2007 |Published| 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
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.
2007 |Published| 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
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
2007 |Published| 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
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Discrete & Computational Geometry 37 (2007) 103–120.
2007 |Published| Journal Article | IST-REx-ID: 4205
The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion
S. Von Der Hardt, J. Bakkers, A. Inbal, L. Carvalho, L. Solnica Krezel, C.-P.J. Heisenberg, M. Hammerschmidt, Current Biology 17 (2007) 475–487.
View
| DOI
S. Von Der Hardt, J. Bakkers, A. Inbal, L. Carvalho, L. Solnica Krezel, C.-P.J. Heisenberg, M. Hammerschmidt, Current Biology 17 (2007) 475–487.
2007 |Published| Journal Article | IST-REx-ID: 4234 |
Determinism, noise, and spurious estimations in a generalised model of population growth
H. de Vladar, I. Pen, Physica A 373 (2007) 477–485.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H. de Vladar, I. Pen, Physica A 373 (2007) 477–485.
2007 |Published| Conference Paper | IST-REx-ID: 4233
Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas
H. de Vladar, in:, N. Falcón, Y. Loyo De Sardi (Eds.), Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.
View
| DOI
H. de Vladar, in:, N. Falcón, Y. Loyo De Sardi (Eds.), Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.
2007 |Published| Journal Article | IST-REx-ID: 4247
The relation between multilocus population genetics and social evolution theory
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
View
| DOI
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
2007 |Published| Journal Article | IST-REx-ID: 4246
Do evolution and ecology need the Gaia hypothesis?
A. Free, N.H. Barton, Trends in Ecology and Evolution 22 (2007) 611–619.
View
| DOI
A. Free, N.H. Barton, Trends in Ecology and Evolution 22 (2007) 611–619.
2007 |Published| Conference Paper | IST-REx-ID: 4399
Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
View
| DOI
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
2007 |Published| Conference Paper | IST-REx-ID: 4394
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.
View
| DOI
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.
2007 |Published| Conference Paper | IST-REx-ID: 4398
Shape Analysis for Composite Data Structures
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.
View
| DOI
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.
2007 |Published| Journal Article | IST-REx-ID: 4405
Qualitative networks: A symbolic approach to analyze biological signaling networks
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).
View
| DOI
| Download (ext.)
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).
2007 |Published| Conference Paper | IST-REx-ID: 4402
Model Checking on Trees with Path Equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.
View
| DOI
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.