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.
9078 Publications
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
2008 | Journal Article | IST-REx-ID: 3944
Riedl, J., Crevenna, A., Kessenbrock, K., Yu, J., Neukirchen, D., Bista, M., … Wedlich Soldner, R. (2008). Lifeact: a versatile marker to visualize F-actin. Nature Methods. Nature Publishing Group. https://doi.org/10.1038/nmeth.1220
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3974
Edelsbrunner, H., Harer, J., & Patel, A. (2008). Reeb spaces of piecewise linear mappings (pp. 242–250). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/1377676.1377720
View
| DOI
2008 | Journal Article | IST-REx-ID: 4135
Storch, D., Šizling, A., Reif, J., Polechova, J., Šizlingová, E., & Gaston, K. (2008). The quest for a null model for macroecological patterns: geometry of species distributions at multiple spatial scales. Ecology Letters. Wiley-Blackwell. https://doi.org/3817
View
| DOI