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.
6759 Publications
2009 | Conference Paper | IST-REx-ID: 3844 | 
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
2009 | Journal Article | IST-REx-ID: 3869
Qualitative logics and equivalences for probabilistic systems
K. Chatterjee, L. De Alfaro, M. Faella, A. Legay, Logical Methods in Computer Science 5 (2009).
View
| DOI
K. Chatterjee, L. De Alfaro, M. Faella, A. Legay, Logical Methods in Computer Science 5 (2009).
2009 | Journal Article | IST-REx-ID: 3870 |
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 | Conference Paper | IST-REx-ID: 3871 |
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
2009 | Journal Article | IST-REx-ID: 3946 |
Analogies in the evolution of individual and social immunity
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
View
| DOI
| Download None (ext.)
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
2009 | Journal Article | IST-REx-ID: 3947
Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper)
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, M.K. Sixt, Blood 113 (2009) 5703–5710.
View
| DOI
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, M.K. Sixt, Blood 113 (2009) 5703–5710.
2009 | Journal Article | IST-REx-ID: 3948
β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity
M. Bauer, C. Brakebusch, C. Coisne, M.K. Sixt, H. Wekerle, B. Engelhardt, R. Fässler, PNAS 106 (2009) 1920–1925.
View
| DOI
M. Bauer, C. Brakebusch, C. Coisne, M.K. Sixt, H. Wekerle, B. Engelhardt, R. Fässler, PNAS 106 (2009) 1920–1925.
2009 | Journal Article | IST-REx-ID: 3949
Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells
T. Quast, B. Tappertzhofen, C. Schild, J. Grell, N. Czeloth, R. Förster, R. Alon, L. Fraemohs, K. Dreck, C. Weber, T. Lämmermann, M.K. Sixt, W. Kolanus, Blood 113 (2009) 5801–5810.
View
| DOI
T. Quast, B. Tappertzhofen, C. Schild, J. Grell, N. Czeloth, R. Förster, R. Alon, L. Fraemohs, K. Dreck, C. Weber, T. Lämmermann, M.K. Sixt, W. Kolanus, Blood 113 (2009) 5801–5810.
2009 | Journal Article | IST-REx-ID: 3950
Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells
M. Moser, M. Bauer, S. Schmid, R. Ruppert, S. Schmidt, M.K. Sixt, H. Wang, M. Sperandio, R. Fässler, Nature Medicine 15 (2009) 300–305.
View
| DOI
M. Moser, M. Bauer, S. Schmid, R. Ruppert, S. Schmidt, M.K. Sixt, H. Wang, M. Sperandio, R. Fässler, Nature Medicine 15 (2009) 300–305.
2009 | Journal Article | IST-REx-ID: 3951
Mechanical modes of 'amoeboid' cell migration
T. Lämmermann, M.K. Sixt, Current Opinion in Cell Biology 21 (2009) 636–644.
View
| DOI
T. Lämmermann, M.K. Sixt, Current Opinion in Cell Biology 21 (2009) 636–644.
2009 | Journal Article | IST-REx-ID: 3952
A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo
J. Schymeinsky, R. Gerstl, I. Mannigel, K. Niedung, D. Frommhold, K. Panthel, J. Heesemann, M.K. Sixt, T. Quast, W. Kolanus, A. Mocsai, J. Wienands, M. Sperandio, B. Walzog, Blood 114 (2009) 4209–4220.
View
| DOI
J. Schymeinsky, R. Gerstl, I. Mannigel, K. Niedung, D. Frommhold, K. Panthel, J. Heesemann, M.K. Sixt, T. Quast, W. Kolanus, A. Mocsai, J. Wienands, M. Sperandio, B. Walzog, Blood 114 (2009) 4209–4220.
2009 | Journal Article | IST-REx-ID: 3953
The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo
A. Wolf, K. Eller, R. Zeiser, C. Dürr, U. Gerlach, M.K. Sixt, L. Markut, G. Gastl, A. Rosenkranz, D. Wolf, Journal of Immunology 183 (2009) 3751–3760.
View
| DOI
A. Wolf, K. Eller, R. Zeiser, C. Dürr, U. Gerlach, M.K. Sixt, L. Markut, G. Gastl, A. Rosenkranz, D. Wolf, Journal of Immunology 183 (2009) 3751–3760.
2009 | Journal Article | IST-REx-ID: 3954
Adaptive force transmission in amoeboid cell migration
J. Renkawitz, K. Schumann, M. Weber, T. Lämmermann, H. Pflicke, M. Piel, J. Polleux, J. Spatz, M.K. Sixt, Nature Cell Biology 11 (2009) 1438–1443.
View
| DOI
J. Renkawitz, K. Schumann, M. Weber, T. Lämmermann, H. Pflicke, M. Piel, J. Polleux, J. Spatz, M.K. Sixt, Nature Cell Biology 11 (2009) 1438–1443.
2009 | Journal Article | IST-REx-ID: 3955
Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels
H. Pflicke, M.K. Sixt, The Journal of Experimental Medicine 206 (2009) 2925–2935.
View
| DOI
H. Pflicke, M.K. Sixt, The Journal of Experimental Medicine 206 (2009) 2925–2935.
2009 | Journal Article | IST-REx-ID: 3966
Extending persistence using Poincare and Lefschetz duality
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Foundations of Computational Mathematics 9 (2009) 79–103.
View
| DOI
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Foundations of Computational Mathematics 9 (2009) 79–103.
2009 | Conference Paper | IST-REx-ID: 3967
Persistent homology for kernels, images, and cokernels
D. Cohen Steiner, H. Edelsbrunner, J. Harer, D. Morozov, in:, SIAM, 2009, pp. 1011–1020.
View
D. Cohen Steiner, H. Edelsbrunner, J. Harer, D. Morozov, in:, SIAM, 2009, pp. 1011–1020.
2009 | Conference Paper | IST-REx-ID: 3968 |
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
View
| Files available
| DOI
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
2009 | Journal Article | IST-REx-ID: 4136 |
Species' range: Adaptation in space and time
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
2009 | Journal Article | IST-REx-ID: 4143
Trafficking and cell migration
F. Ulrich, C.-P.J. Heisenberg, Traffic 10 (2009) 811–818.
View
| DOI
F. Ulrich, C.-P.J. Heisenberg, Traffic 10 (2009) 811–818.
2009 | Journal Article | IST-REx-ID: 4149
The role of the extracellular matrix in Kupffer's vesicle formation in zebrafish
G. Soete, C.-P.J. Heisenberg, Mechanisms of Development 126 (2009) S168–S168.
View
| DOI
G. Soete, C.-P.J. Heisenberg, Mechanisms of Development 126 (2009) S168–S168.
2009 | Journal Article | IST-REx-ID: 4158
Biology and physics of cell shape changes in development
E. Paluch, C.-P.J. Heisenberg, Current Biology 19 (2009) R790–R799.
View
| DOI
E. Paluch, C.-P.J. Heisenberg, Current Biology 19 (2009) R790–R799.
2009 | Journal Article | IST-REx-ID: 4159
Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis
E. Paluch, C.-P.J. Heisenberg, Developmental Cell 16 (2009) 4–6.
View
| DOI
E. Paluch, C.-P.J. Heisenberg, Developmental Cell 16 (2009) 4–6.
2009 | Journal Article | IST-REx-ID: 4160
Linking organ formation to left-right patterning in the embryonic zebrafish
P. Oteíza, C. Lemus, M. Köppen, K. Palma, M. Krieg, C. Melo, C. Farias, E. Pulgar, S. Preibisch, S. Hartel, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S11–S11.
View
| DOI
P. Oteíza, C. Lemus, M. Köppen, K. Palma, M. Krieg, C. Melo, C. Farias, E. Pulgar, S. Preibisch, S. Hartel, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S11–S11.
2009 | Journal Article | IST-REx-ID: 4162
Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces
P. Oteíza, M. Köppen, M. Krieg, S. Preibisch, S. Haertel, D. Müller, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S80–S80.
View
| DOI
P. Oteíza, M. Köppen, M. Krieg, S. Preibisch, S. Haertel, D. Müller, C.-P.J. Heisenberg, M. Concha, Mechanisms of Development 126 (2009) S80–S80.
2009 | Journal Article | IST-REx-ID: 4165
Quantitative approaches in developmental biology
A. Oates, N. Gorfinkiel, M. Gonzalez Gaitan, C.-P.J. Heisenberg, Nature Reviews Genetics 10 (2009) 517–530.
View
| DOI
A. Oates, N. Gorfinkiel, M. Gonzalez Gaitan, C.-P.J. Heisenberg, Nature Reviews Genetics 10 (2009) 517–530.
2009 | Journal Article | IST-REx-ID: 4192
Regulation of planar cell polarity signalling by the prenylation pathway
M. Kai, N. Buchan, C.-P.J. Heisenberg, M. Tada, Mechanisms of Development 126 (2009) S132–S132.
View
| DOI
M. Kai, N. Buchan, C.-P.J. Heisenberg, M. Tada, Mechanisms of Development 126 (2009) S132–S132.
2009 | Journal Article | IST-REx-ID: 4206
Dorsal closure in Drosophila: cells cannot get out of the tight spot
C.-P.J. Heisenberg, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 31 (2009) 1284–1287.
View
| DOI
C.-P.J. Heisenberg, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 31 (2009) 1284–1287.
2009 | Journal Article | IST-REx-ID: 4217
Control of convergent yolk syncytial layer nuclear movement in zebrafish
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, C.-P.J. Heisenberg, Development 136 (2009) 1305–1315.
View
| DOI
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, C.-P.J. Heisenberg, Development 136 (2009) 1305–1315.
2009 | Journal Article | IST-REx-ID: 4223
Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus
J. Swoboda, T. Meredith, J. Campbell, S. Brown, T. Suzuki, M.T. Bollenbach, A. Malhowski, R. Kishony, M. Gilmore, S. Walker, ACS Chemical Biology 4 (2009) 875–883.
View
| DOI
| Download None (ext.)
J. Swoboda, T. Meredith, J. Campbell, S. Brown, T. Suzuki, M.T. Bollenbach, A. Malhowski, R. Kishony, M. Gilmore, S. Walker, ACS Chemical Biology 4 (2009) 875–883.
2009 | Journal Article | IST-REx-ID: 4228
Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions
T. Bollenbach, S. Quan, R.P. Chait, R. Kishony, Cell 139 (2009) 707–718.
View
| DOI
T. Bollenbach, S. Quan, R.P. Chait, R. Kishony, Cell 139 (2009) 707–718.
2009 | Journal Article | IST-REx-ID: 4231
Statistical mechanics and the evolution of polygenic quantitative traits
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
View
| DOI
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
2009 | Thesis | IST-REx-ID: 4232
Stochasticity and Variability in the dynamics and genetics of populations
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
| DOI
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
2009 | Journal Article | IST-REx-ID: 4242 |
The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
View
| Files available
| DOI
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
2009 | Journal Article | IST-REx-ID: 4357
Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.
View
| DOI
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.
2009 | Conference Paper | IST-REx-ID: 4360
Combining Theories with Shared Set Operations
T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.
View
| DOI
T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.
2009 | Thesis | IST-REx-ID: 4363
Formalizing and Verifying Transactional Memories
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
2009 | Conference Paper | IST-REx-ID: 4365
Abstraction Refinement for Quantified Array Assertions
M. Seghir, A. Podelski, T. Wies, in:, Springer, 2009, pp. 3–18.
View
| DOI
M. Seghir, A. Podelski, T. Wies, in:, Springer, 2009, pp. 3–18.
2009 | Conference Paper | IST-REx-ID: 4375
Intra-module Inference
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 493–508.
View
| DOI
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, Springer, 2009, pp. 493–508.
2009 | Conference Paper | IST-REx-ID: 4376
Parallel programming with object assemblies
R. Lublinerman, S. Chaudhuri, P. Cerny, in:, ACM, 2009, pp. 61–80.
View
| DOI
R. Lublinerman, S. Chaudhuri, P. Cerny, in:, ACM, 2009, pp. 61–80.
2009 | Conference Paper | IST-REx-ID: 4377
It's Doomed; We Can Prove It
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.
View
| DOI
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.
2009 | Conference Paper | IST-REx-ID: 4383 |
Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
2009 | Conference Paper | IST-REx-ID: 4385
Preventing versus curing: avoiding conflicts in transactional memories
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, ACM, 2009, pp. 7–16.
View
| DOI
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, ACM, 2009, pp. 7–16.
2009 | Conference Paper | IST-REx-ID: 4391
Automated Analysis of Java Methods for Confidentiality
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.
View
| DOI
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.
2009 | Conference Paper | IST-REx-ID: 4403 |
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
View
| Files available
| DOI
| Download Submitted Version (ext.)
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
2009 | Conference Paper | IST-REx-ID: 4453 |
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View
| Files available
| DOI
| Download (ext.)
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
2009 | Conference Paper | IST-REx-ID: 4535
Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
2009 | Conference Paper | IST-REx-ID: 4540
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
2009 | Conference Paper | IST-REx-ID: 4542 |
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
2009 | Conference Paper | IST-REx-ID: 4543
Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
View
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
2009 | Conference Paper | IST-REx-ID: 4544 |
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View
| Files available
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.