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 | 
Chatterjee K, Doyen L. The complexity of partial-observation parity games. In: Vol 6397. Springer; 2010:1-14. doi:10.1007/978-3-642-16242-8_1
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3856 |
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free. In: Vol 6281. Springer; 2010:246-257. doi:10.1007/978-3-642-15155-2_23
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee K, Henzinger TA, eds. Formal Modeling and Analysis of Timed Systems. Vol 6246. Springer; 2010. doi:10.1007/978-3-642-15297-9
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3866 |
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Robustness in the presence of liveness. In: Touili T, Cook B, Jackson P, eds. Vol 6174. Springer; 2010:410-424. doi:10.1007/978-3-642-14295-6_36
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3868 |
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. Logical Methods in Computer Science. 2010;6(3):1-27. doi:10.2168/LMCS-6(3:13)2010
[Published Version]
View
| Files available
| DOI
2010 | Book | IST-REx-ID: 3899
Edelsbrunner H, Harer J. Computational Topology: An Introduction. Vol 69. American Mathematical Society; 2010. doi:10.1090/mbk/069
View
| Files available
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3963
Streinzer M, Ellis T, Paulus H, Spaethe J. Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. Arthropod-Plant Interactions. 2010;4(3):141-148. doi:10.1007/s11829-010-9093-4
View
| DOI
2010 | Journal Article | IST-REx-ID: 3959
Schumann K, Lämmermann T, Bruckner M, et al. Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells. Immunity. 2010;32(5):703-713. doi:10.1016/j.immuni.2010.04.017
View
| DOI
2010 | Journal Article | IST-REx-ID: 3958
Mohan H, Krumbholz M, Sharma R, et al. Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells. Brain Pathology. 2010;20(5):966-975. doi:10.1111/j.1750-3639.2010.00399.x
View
| DOI
2010 | Journal Article | IST-REx-ID: 3961
Renkawitz J, Sixt MK. Mechanisms of force generation and force transmission during interstitial leukocyte migration. EMBO Reports. 2010;11(10):744-750. doi:10.1038/embor.2010.147
View
| DOI