C. C. Guet et al., “Minimally invasive determination of mRNA concentration in single living bacteria,” Nucleic Acids Research, vol. 36, no. 12. Oxford University Press, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3754
DOI: 10.1093/nar/gkn329

A. Kupczok, A. Von Haeseler, and S. Klaere, “An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees.,” Journal of Computational Biology, vol. 15, no. 6. Mary Ann Liebert, pp. 577–591, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3769
DOI: 4200

D. Doischer et al., “Postnatal differentiation of basket cells from slow to fast signaling devices,” Journal of Neuroscience, vol. 28, no. 48. Society for Neuroscience, pp. 12956–68, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3826
DOI: 10.1523/JNEUROSCI.2890-08.2008

A. Kerr, E. Reisinger, and P. M. Jonas, “Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses,” PNAS, vol. 105, no. 40. National Academy of Sciences, pp. 15581–6, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3827
DOI: 10.1073/pnas.0800621105

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