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.
9096 Publications
2008 | Conference Paper | IST-REx-ID: 3504 |
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2008, vol. 2, pp. 107–118.
[Published Version]
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3876
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: complexity and robustness,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2008, vol. 5215, pp. 124–140.
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3878 |
K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, 2008, vol. 5356, pp. 91–106.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3943
K. Kessenbrock et al., “Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin,” The Journal of Clinical Investigation, vol. 118, no. 7. American Society for Clinical Investigation, pp. 2438–2447, 2008.
View
| DOI
2008 | Journal Article | IST-REx-ID: 4135
D. Storch, A. Šizling, J. Reif, J. Polechova, E. Šizlingová, and K. Gaston, “The quest for a null model for macroecological patterns: geometry of species distributions at multiple spatial scales,” Ecology Letters, vol. 11, no. 8. Wiley-Blackwell, pp. 771–784, 2008.
View
| DOI