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 | Conference Paper | IST-REx-ID: 3858 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “The Complexity of Partial-Observation Parity Games,” 6397:1–14. Springer, 2010. https://doi.org/10.1007/978-3-642-16242-8_1.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3856 | OA
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free,” 6281:246–57. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_23.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A Henzinger, eds. Formal Modeling and Analysis of Timed Systems. Vol. 6246. Springer, 2010. https://doi.org/10.1007/978-3-642-15297-9.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3866 | OA
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Robustness in the Presence of Liveness.” edited by Tayssir Touili, Byron Cook, and Paul Jackson, 6174:410–24. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_36.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868 | OA
Chatterjee, Krishnendu, Luca De Alfaro, Ritankar Majumdar, and Vishwanath Raman. “Algorithms for Game Metrics.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:13)2010.
[Published Version] View | Files available | DOI
 

2010 | Book | IST-REx-ID: 3899
Edelsbrunner, Herbert, and John Harer. Computational Topology: An Introduction. Vol. 69. American Mathematical Society, 2010. https://doi.org/10.1090/mbk/069.
View | Files available | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3963
Streinzer, M., Thomas Ellis, H. Paulus, and J. Spaethe. “Visual Discrimination between Two Sexually Deceptive Ophrys Species by a Bee Pollinator.” Arthropod-Plant Interactions. Springer, 2010. https://doi.org/10.1007/s11829-010-9093-4.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3959
Schumann, Kathrin, Tim Lämmermann, Markus Bruckner, Daniel Legler, Julien Polleux, Joachim Spatz, Gerold Schuler, et al. “Immobilized Chemokine Fields and Soluble Chemokine Gradients Cooperatively Shape Migration Patterns of Dendritic Cells.” Immunity. Cell Press, 2010. https://doi.org/10.1016/j.immuni.2010.04.017.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3958
Mohan, Hema, Markus Krumbholz, Rakhi Sharma, Sylvia Eisele, Andreas Junker, Michael K Sixt, Jia Newcombe, et al. “Extracellular Matrix in Multiple Sclerosis Lesions: Fibrillar Collagens, Biglycan and Decorin Are Upregulated and Associated with Infiltrating Immune Cells.” Brain Pathology. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1750-3639.2010.00399.x.
View | DOI
 

2010 | 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. Wiley-Blackwell, 2010. https://doi.org/10.1038/embor.2010.147.
View | DOI
 

Filters and Search Terms

year=2010

Search

Filter Publications