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.
10779 Publications
2010 | Published | Journal Article | IST-REx-ID: 385 | 
STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects
Z. Alpichshev, J. Analytis, J. Chu, I. Fisher, Y. Chen, Z. Shen, A. Fang, A. Kapitulnik, Physical Review Letters 104 (2010).
View
| DOI
| Download None (ext.)
Z. Alpichshev, J. Analytis, J. Chu, I. Fisher, Y. Chen, Z. Shen, A. Fang, A. Kapitulnik, Physical Review Letters 104 (2010).
2010 | Published | Conference Paper | IST-REx-ID: 3850
Polygonal reconstruction from approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, TU Dortmund, 2010, pp. 12–23.
View
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, TU Dortmund, 2010, pp. 12–23.
2010 | Published | Conference Paper | IST-REx-ID: 3852 |
Discounting in games across time scales
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
2010 | Published | Conference Paper | IST-REx-ID: 3854
Obliging games
K. Chatterjee, F. Horn, C. Löding, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–296.
View
| DOI
K. Chatterjee, F. Horn, C. Löding, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–296.
2010 | Published | Conference Paper | IST-REx-ID: 3858 |
The complexity of partial-observation parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
2010 | Published | Conference (Editor) | IST-REx-ID: 3859
Formal modeling and analysis of timed systems
K. Chatterjee, T.A. Henzinger, eds., Formal Modeling and Analysis of Timed Systems, Springer, 2010.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, eds., Formal Modeling and Analysis of Timed Systems, Springer, 2010.
2010 | Published | Conference Paper | IST-REx-ID: 3860 |
Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
2010 | Published | Journal Article | IST-REx-ID: 3861 |
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
2010 | Published | Journal Article | IST-REx-ID: 3868 |
Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
2010 | Published | Book | IST-REx-ID: 3899
Computational Topology: An Introduction
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
View
| Files available
| DOI
| Download None (ext.)
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
2010 | Published | Journal Article | IST-REx-ID: 3901 |
Computing robustness and persistence for images
P. Bendich, H. Edelsbrunner, M. Kerber, IEEE Transactions of Visualization and Computer Graphics 16 (2010) 1251–1260.
[Submitted Version]
View
| Files available
| DOI
P. Bendich, H. Edelsbrunner, M. Kerber, IEEE Transactions of Visualization and Computer Graphics 16 (2010) 1251–1260.
2010 | Published | Journal Article | IST-REx-ID: 3904 |
Rapid anti-pathogen response in ant societies relies on high genetic diversity
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
View
| DOI
| Download None (ext.)
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
2010 | Published | Journal Article | IST-REx-ID: 3956
Breaching multiple barriers: leukocyte motility through venular walls and the interstitium
S. Nourshargh, P. Hordijk, M.K. Sixt, Nature Reviews Molecular Cell Biology 11 (2010) 366–378.
View
| DOI
S. Nourshargh, P. Hordijk, M.K. Sixt, Nature Reviews Molecular Cell Biology 11 (2010) 366–378.
2010 | Published | Journal Article | IST-REx-ID: 3957
Lifeact mice for studying F-actin dynamics
J. Riedl, K. Flynn, A. Raducanu, F.R. Gärtner, G. Beck, M. Bosl, F. Bradke, S. Massberg, A. Aszodi, M.K. Sixt, R. Wedlich Söldner, Nature Methods 7 (2010) 168–169.
View
| DOI
J. Riedl, K. Flynn, A. Raducanu, F.R. Gärtner, G. Beck, M. Bosl, F. Bradke, S. Massberg, A. Aszodi, M.K. Sixt, R. Wedlich Söldner, Nature Methods 7 (2010) 168–169.
2010 | Published | Journal Article | IST-REx-ID: 3958
Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells
H. Mohan, M. Krumbholz, R. Sharma, S. Eisele, A. Junker, M.K. Sixt, J. Newcombe, H. Wekerle, R. Hohlfeld, H. Lassmann, E. Meinl, Brain Pathology 20 (2010) 966–975.
View
| DOI
H. Mohan, M. Krumbholz, R. Sharma, S. Eisele, A. Junker, M.K. Sixt, J. Newcombe, H. Wekerle, R. Hohlfeld, H. Lassmann, E. Meinl, Brain Pathology 20 (2010) 966–975.
2010 | Published | Journal Article | IST-REx-ID: 3959
Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells
K. Schumann, T. Lämmermann, M. Bruckner, D. Legler, J. Polleux, J. Spatz, G. Schuler, R. Förster, M. Lutz, L. Sorokin, M.K. Sixt, Immunity 32 (2010) 703–713.
View
| DOI
K. Schumann, T. Lämmermann, M. Bruckner, D. Legler, J. Polleux, J. Spatz, G. Schuler, R. Förster, M. Lutz, L. Sorokin, M.K. Sixt, Immunity 32 (2010) 703–713.
2010 | Published | Journal Article | IST-REx-ID: 3960 |
MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
View
| DOI
| Download (ext.)
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
2010 | Published | Journal Article | IST-REx-ID: 3961
Mechanisms of force generation and force transmission during interstitial leukocyte migration
J. Renkawitz, M.K. Sixt, EMBO Reports 11 (2010) 744–750.
View
| DOI
J. Renkawitz, M.K. Sixt, EMBO Reports 11 (2010) 744–750.
2010 | Published | Thesis | IST-REx-ID: 3962
Dendritic cell migration across basement membranes in the skin
H. Pflicke, Dendritic Cell Migration across Basement Membranes in the Skin, Institute of Science and Technology Austria, 2010.
View
H. Pflicke, Dendritic Cell Migration across Basement Membranes in the Skin, Institute of Science and Technology Austria, 2010.
2010 | Published | Journal Article | IST-REx-ID: 3963
Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator
M. Streinzer, T. Ellis, H. Paulus, J. Spaethe, Arthropod-Plant Interactions 4 (2010) 141–148.
View
| DOI
M. Streinzer, T. Ellis, H. Paulus, J. Spaethe, Arthropod-Plant Interactions 4 (2010) 141–148.