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.

9101 Publications


2010 | Conference Paper | IST-REx-ID: 3866 | OA
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Robustness in the presence of liveness,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 410–424.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868 | OA
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–27, 2010.
[Published Version] View | Files available | DOI
 

2010 | Book | IST-REx-ID: 3899
H. Edelsbrunner and J. Harer, Computational Topology: An Introduction, vol. 69. American Mathematical Society, 2010.
View | Files available | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3963
M. Streinzer, T. Ellis, H. Paulus, and J. Spaethe, “Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator,” Arthropod-Plant Interactions, vol. 4, no. 3. Springer, pp. 141–148, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3959
K. Schumann et al., “Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells,” Immunity, vol. 32, no. 5. Cell Press, pp. 703–713, 2010.
View | DOI
 

Search

Filter Publications