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 | 
Alpichshev, Z., Analytis, J., Chu, J., Fisher, I., Chen, Y., Shen, Z., … Kapitulnik, A. (2010). STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.104.016401
View
| DOI
| Download None (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 3850
Berberich, E., Halperin, D., Kerber, M., & Pogalnikova, R. (2010). Polygonal reconstruction from approximate offsets (pp. 12–23). Presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany: TU Dortmund.
View
2010 | Published | Conference Paper | IST-REx-ID: 3852 |
Chatterjee, K., & Majumdar, R. (2010). Discounting in games across time scales (Vol. 25, pp. 22–29). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS. https://doi.org/10.4204/EPTCS.25.6
[Published Version]
View
| Files available
| DOI
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 3854
Chatterjee, K., Horn, F., & Löding, C. (2010). Obliging games (Vol. 6269, pp. 284–296). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_20
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3858 |
Chatterjee, K., & Doyen, L. (2010). The complexity of partial-observation parity games (Vol. 6397, pp. 1–14). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer. https://doi.org/10.1007/978-3-642-16242-8_1
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, K., & Henzinger, T. A. (Eds.). (2010). Formal modeling and analysis of timed systems (Vol. 6246). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3860 |
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2010). Generalized mean-payoff and energy games (Vol. 8, pp. 505–516). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3861 |
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2010). Strategy logic. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2009.07.004
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3868 |
Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2010). Algorithms for game metrics. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-6(3:13)2010
[Published Version]
View
| Files available
| DOI
2010 | Published | Book | IST-REx-ID: 3899
Edelsbrunner, H., & Harer, J. (2010). Computational Topology: An Introduction (Vol. 69). American Mathematical Society. https://doi.org/10.1090/mbk/069
View
| Files available
| DOI
| Download None (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3901 |
Bendich, P., Edelsbrunner, H., & Kerber, M. (2010). Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2010.139
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3904 |
Ugelvig, L. V., Kronauer, D., Schrempf, A., Heinze, J., & Cremer, S. (2010). Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2010.0644
View
| DOI
| Download None (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3956
Nourshargh, S., Hordijk, P., & Sixt, M. K. (2010). Breaching multiple barriers: leukocyte motility through venular walls and the interstitium. Nature Reviews Molecular Cell Biology. Nature Publishing Group. https://doi.org/10.1038/nrm2889
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3957
Riedl, J., Flynn, K., Raducanu, A., Gärtner, F. R., Beck, G., Bosl, M., … Wedlich Söldner, R. (2010). Lifeact mice for studying F-actin dynamics. Nature Methods. Nature Publishing Group. https://doi.org/10.1038/nmeth0310-168
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3958
Mohan, H., Krumbholz, M., Sharma, R., Eisele, S., Junker, A., Sixt, M. K., … Meinl, E. (2010). Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells. Brain Pathology. Wiley-Blackwell. https://doi.org/10.1111/j.1750-3639.2010.00399.x
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3959
Schumann, K., Lämmermann, T., Bruckner, M., Legler, D., Polleux, J., Spatz, J., … Sixt, M. K. (2010). Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells. Immunity. Cell Press. https://doi.org/10.1016/j.immuni.2010.04.017
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3960 |
Weber, M., & Sixt, M. K. (2010). MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2010.183
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3961
Renkawitz, J., & Sixt, M. K. (2010). Mechanisms of force generation and force transmission during interstitial leukocyte migration. EMBO Reports. Wiley-Blackwell. https://doi.org/10.1038/embor.2010.147
View
| DOI
2010 | Published | Thesis | IST-REx-ID: 3962
Pflicke, H. (2010). Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
View
2010 | Published | Journal Article | IST-REx-ID: 3963
Streinzer, M., Ellis, T., Paulus, H., & Spaethe, J. (2010). Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. Arthropod-Plant Interactions. Springer. https://doi.org/10.1007/s11829-010-9093-4
View
| DOI