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.
289 Publications
2010 |
Published |
Conference Paper |
IST-REx-ID: 3860 |
Chatterjee, Krishnendu, et al. Generalized Mean-Payoff and Energy Games. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–16, doi:10.4230/LIPIcs.FSTTCS.2010.505.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3861 |
Chatterjee, Krishnendu, et al. “Strategy Logic.” Information and Computation, vol. 208, no. 6, Elsevier, 2010, pp. 677–93, doi:10.1016/j.ic.2009.07.004.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3862 |
Chatterjee, Krishnendu, et al. “Quantitative Languages.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4, 23, ACM, 2010, doi:10.1145/1805950.1805953.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3863 |
Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation, vol. 208, no. 10, Elsevier, 2010, pp. 1206–20, doi:10.1016/j.ic.2009.09.006.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 3864 |
Chatterjee, Krishnendu, et al. Measuring and Synthesizing Systems in Probabilistic Environments. Vol. 6174, Springer, 2010, pp. 380–95, doi:10.1007/978-3-642-14295-6_34.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 |
Published |
Conference Paper |
IST-REx-ID: 3865
Chatterjee, Krishnendu, et al. Analyzing the Impact of Change in Multi-Threaded Programs. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 293–307, doi:10.1007/978-3-642-12029-9_21.
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 3866 |
Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:10.1007/978-3-642-14295-6_36.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3867 |
Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3868 |
Chatterjee, Krishnendu, et al. “Algorithms for Game Metrics.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Book |
IST-REx-ID: 3899
Edelsbrunner, Herbert, and John Harer. Computational Topology: An Introduction. Vol. 69, American Mathematical Society, 2010, doi:10.1090/mbk/069.
View
| Files available
| DOI
| Download None (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 3901 |
Bendich, Paul, et al. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6, IEEE, 2010, pp. 1251–60, doi:10.1109/TVCG.2010.139.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3904 |
Ugelvig, Line V., et al. “Rapid Anti-Pathogen Response in Ant Societies Relies on High Genetic Diversity.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 277, no. 1695, Royal Society, The, 2010, pp. 2821–28, doi:10.1098/rspb.2010.0644.
View
| DOI
| Download None (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 3956
Nourshargh, Sussan, et al. “Breaching Multiple Barriers: Leukocyte Motility through Venular Walls and the Interstitium.” Nature Reviews Molecular Cell Biology, vol. 11, no. 5, Nature Publishing Group, 2010, pp. 366–78, doi:10.1038/nrm2889.
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3957
Riedl, Julia, et al. “Lifeact Mice for Studying F-Actin Dynamics.” Nature Methods, vol. 7, no. 3, Nature Publishing Group, 2010, pp. 168–69, doi:10.1038/nmeth0310-168.
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3958
Mohan, Hema, et al. “Extracellular Matrix in Multiple Sclerosis Lesions: Fibrillar Collagens, Biglycan and Decorin Are Upregulated and Associated with Infiltrating Immune Cells.” Brain Pathology, vol. 20, no. 5, Wiley-Blackwell, 2010, pp. 966–75, doi:10.1111/j.1750-3639.2010.00399.x.
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3959
Schumann, Kathrin, et al. “Immobilized Chemokine Fields and Soluble Chemokine Gradients Cooperatively Shape Migration Patterns of Dendritic Cells.” Immunity, vol. 32, no. 5, Cell Press, 2010, pp. 703–13, doi:10.1016/j.immuni.2010.04.017.
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3960 |
Weber, Michele, and Michael K. Sixt. “MEK Signalling Tunes Actin Treadmilling for Interstitial Lymphocyte Migration.” EMBO Journal, vol. 29, no. 17, Wiley-Blackwell, 2010, pp. 2861–63, doi:10.1038/emboj.2010.183.
View
| DOI
| Download (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 3961
Renkawitz, Jörg, and Michael K. Sixt. “Mechanisms of Force Generation and Force Transmission during Interstitial Leukocyte Migration.” EMBO Reports, vol. 11, no. 10, Wiley-Blackwell, 2010, pp. 744–50, doi:10.1038/embor.2010.147.
View
| DOI
2010 |
Published |
Thesis | PhD |
IST-REx-ID: 3962
Pflicke, Holger. Dendritic Cell Migration across Basement Membranes in the Skin. Institute of Science and Technology Austria, 2010.
View
2010 |
Published |
Journal Article |
IST-REx-ID: 3963
Streinzer, M., et al. “Visual Discrimination between Two Sexually Deceptive Ophrys Species by a Bee Pollinator.” Arthropod-Plant Interactions, vol. 4, no. 3, Springer, 2010, pp. 141–48, doi:10.1007/s11829-010-9093-4.
View
| DOI