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: 3876
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Timed parity games: complexity and robustness (Vol. 5215, pp. 124–140). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/978-3-540-85778-5_10
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2008). Environment assumptions for synthesis (Vol. 5201, pp. 147–161). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9_14
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3878 | 
Chatterjee, K., De Alfaro, L., & Majumdar, R. (2008). The complexity of coverage (Vol. 5356, pp. 91–106). Presented at the APLAS: Asian Symposium on Programming Languages and Systems, Springer. https://doi.org/10.1007/978-3-540-89330-1_7
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Trading infinite memory for uniform randomness in timed games (Vol. 4981, pp. 87–100). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-78929-1_7
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2008). Quantitative languages (Vol. 5213, pp. 385–400). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-87531-4_28
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee, K., & Henzinger, T. A. (2008). Value iteration. In 25 Years in Model Checking (Vol. 5000, pp. 107–138). Springer. https://doi.org/10.1007/978-3-540-69850-0_7
View
| DOI
2008 | Journal Article | IST-REx-ID: 3945
Tripp, C., Haid, B., Flacher, V., Sixt, M. K., Peter, H., Farkas, J., … Stoitzner, P. (2008). The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1. Immunobiology. Elsevier. https://doi.org/10.1016/j.imbio.2008.07.025
View
| DOI
2008 | Journal Article | IST-REx-ID: 3942
Frommhold, D., Ludwig, A., Bixel, M. G., Zarbock, A., Babushkina, I., Weissinger, M., … Sperandio, M. (2008). Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation. The Journal of Experimental Medicine. Rockefeller University Press. https://doi.org/10.1084/jem.20070846
View
| DOI
2008 | Journal Article | IST-REx-ID: 3943
Kessenbrock, K., Fröhlich, L., Sixt, M. K., Lämmermann, T., Pfister, H., Bateman, A., … Jenne, D. (2008). Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. American Society for Clinical Investigation. https://doi.org/10.1172/JCI34694
View
| DOI
2008 | Journal Article | IST-REx-ID: 3941
Lämmermann, T., Bader, B., Monkley, S., Worbs, T., Wedlich Söldner, R., Hirsch, K., … Sixt, M. K. (2008). Rapid leukocyte migration by integrin-independent flowing and squeezing. Nature. Nature Publishing Group. https://doi.org/10.1038/nature06887
View
| DOI