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.
LibreCat: https://research-explorer.ista.ac.at/record/3504
DOI: 10.4230/LIPIcs.FSTTCS.2008.1745

K. Chatterjee, T. A. Henzinger, and K. Sen, “Model-checking omega-regular properties of interval Markov chains,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, 2008, vol. 4962, pp. 302–317.
LibreCat: https://research-explorer.ista.ac.at/record/3875
DOI: 10.1007/978-3-540-78499-9_22

K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Controller synthesis with budget constraints,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 72–86.
LibreCat: https://research-explorer.ista.ac.at/record/3873
DOI: DOI: 10.1007/978-3-540-78929-1_6

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.
LibreCat: https://research-explorer.ista.ac.at/record/3876
DOI: 10.1007/978-3-540-85778-5_10

K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Environment assumptions for synthesis,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 147–161.
LibreCat: https://research-explorer.ista.ac.at/record/3877
DOI: 10.1007/978-3-540-85361-9_14

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.
LibreCat: https://research-explorer.ista.ac.at/record/3878
DOI: 10.1007/978-3-540-89330-1_7

K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Trading infinite memory for uniform randomness in timed games,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 87–100.
LibreCat: https://research-explorer.ista.ac.at/record/3874
DOI: 10.1007/978-3-540-78929-1_7

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” presented at the CSL: Computer Science Logic, 2008, vol. 5213, pp. 385–400.
LibreCat: https://research-explorer.ista.ac.at/record/3879
DOI: 10.1007/978-3-540-87531-4_28

K. Chatterjee and T. A. Henzinger, “Value iteration,” in 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–138.
LibreCat: https://research-explorer.ista.ac.at/record/3872
DOI: 10.1007/978-3-540-69850-0_7

C. Tripp et al., “The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1,” Immunobiology, vol. 213, no. 9–10. Elsevier, pp. 715–28, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3945
DOI: 10.1016/j.imbio.2008.07.025

D. Frommhold et al., “Sialyltransferase SGal-IV controls CXC-mediated firm leukocyte arrest during inflammation,” The Journal of Experimental Medicine, vol. 205, no. 6. Rockefeller University Press, pp. 1435–1446, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3942
DOI: 10.1084/jem.20070846

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.
LibreCat: https://research-explorer.ista.ac.at/record/3943
DOI: 10.1172/JCI34694

T. Lämmermann et al., “Rapid leukocyte migration by integrin-independent flowing and squeezing,” Nature, vol. 453, no. 7191. Nature Publishing Group, pp. 51–55, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3941
DOI: 10.1038/nature06887

J. Riedl et al., “Lifeact: a versatile marker to visualize F-actin,” Nature Methods, vol. 5, no. 7. Nature Publishing Group, pp. 605–607, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3944
DOI: 10.1038/nmeth.1220

H. Edelsbrunner, J. Harer, and A. Patel, “Reeb spaces of piecewise linear mappings,” presented at the SCG: Symposium on Computational Geometry, 2008, pp. 242–250.
LibreCat: https://research-explorer.ista.ac.at/record/3974
DOI: 10.1145/1377676.1377720

D. Storch, A. Sizling, J. Reif, J. Polechova, E. Sizlingová, 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.
LibreCat: https://research-explorer.ista.ac.at/record/4135
DOI: 3817

J. Bridle, J. Polechova, and T. Vines, “Patterns of biodiversity and limits to adaptation in time and space,” in Evolution and Speciation, J. R. R. K. Butlin and D. Schluter, Eds. Cambridge University Press, 2008, pp. 77–101.
LibreCat: https://research-explorer.ista.ac.at/record/4137
DOI: 3816

E. Schötz, R. Burdine, F. Julicher, M. Steinberg, C.-P. J. Heisenberg, and R. Foty, “Quantitative differences in tissue surface tension influence zebrafish germ layer positioning,” HFSP Journal, vol. 2, no. 1. HFSP Publishing, pp. 42–56, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4150
DOI: 10.2976/1.2834817

M. Krieg et al., “Tensile forces govern germ-layer organization in zebrafish,” Nature Cell Biology, vol. 10, no. 4. Nature Publishing Group, pp. 429–436, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4181
DOI: 10.1038/ncb1705

M. Krieg, J. Helenius, C.-P. J. Heisenberg, and D. Mueller, “A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics,” Angewandte Chemie - International Edition, vol. 47, no. 50. Wiley-Blackwell, pp. 9775–9777, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4180
DOI: 10.1002/anie.200803552