Didier, F., Henzinger, T. A., Mateescu, M., &; Wolf, V. (2010). SABRE: A tool for the stochastic analysis of biochemical reaction networks (pp. 193–194). Presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA: IEEE.https://doi.org/10.1109/QEST.2010.33 

Henzinger, T. A., Hottelier, T., Kovács, L., &; Rybalchenko, A. (2010). Aligators for arrays (Vol. 6397, pp. 348–356). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer.https://doi.org/10.1007/978-3-642-16242-8_25 

Didier, F., Henzinger, T. A., Mateescu, M., &; Wolf, V. (2010). Fast adaptive uniformization of the chemical master equation. IET Systems Biology. Institution of Engineering and Technology.https://doi.org/10.1049/iet-syb.2010.0005 

Bendich, P., Edelsbrunner, H., Morozov, D., &; Patel, A. (2010). The robustness of level sets (Vol. 6346, pp. 1–10). Presented at the ESA: European Symposium on Algorithms, Liverpool, UK: Springer.https://doi.org/10.1007/978-3-642-15775-2_1 

Chatterjee, K., &; Doyen, L. (2010). The complexity of partial-observation parity games (Vol. 6397, pp. 1–14). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer.https://doi.org/10.1007/978-3-642-16242-8_1 

Chatterjee, K., Doyen, L., Gimbert, H., &; Henzinger, T. A. (2010). Randomness for free (Vol. 6281, pp. 246–257). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-15155-2_23 

Chatterjee, K., &; Henzinger, T. A. (Eds.). (2010). Formal modeling and analysis of timed systems (Vol. 6246). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer.https://doi.org/10.1007/978-3-642-15297-9 

Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., &; Jobstmann, B. (2010). Robustness in the presence of liveness. In T. Touili, B. Cook, &; P. Jackson (Eds.) (Vol. 6174, pp. 410–424). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.https://doi.org/10.1007/978-3-642-14295-6_36 

Chatterjee, K., De Alfaro, L., Majumdar, R., &; Raman, V. (2010). Algorithms for game metrics. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-6(3:13)2010 

Edelsbrunner, H., &; Harer, J. (2010). Computational Topology: An Introduction (Vol. 69). American Mathematical Society.https://doi.org/10.1090/mbk/069 

Streinzer, M., Ellis, T., Paulus, H., &; Spaethe, J. (2010). Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. Arthropod-Plant Interactions. Springer.https://doi.org/10.1007/s11829-010-9093-4 

Schumann, K., Lämmermann, T., Bruckner, M., Legler, D., Polleux, J., Spatz, J.,https://doi.org/10.1016/j.immuni.2010.04.017__Sixt, M. K. (2010). Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells. Immunity. Cell Press.https://doi.org/10.1016/j.immuni.2010.04.017 

Mohan, H., Krumbholz, M., Sharma, R., Eisele, S., Junker, A., Sixt, M. K.,https://doi.org/10.1111/j.1750-3639.2010.00399.x__Meinl, E. (2010). Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells. Brain Pathology. Wiley-Blackwell.https://doi.org/10.1111/j.1750-3639.2010.00399.x 

Renkawitz, J., &; Sixt, M. K. (2010). Mechanisms of force generation and force transmission during interstitial leukocyte migration. EMBO Reports. Wiley-Blackwell.https://doi.org/10.1038/embor.2010.147 

Weber, M., &; Sixt, M. K. (2010). MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2010.183 

Cohen Steiner, D., Edelsbrunner, H., Harer, J., &; Mileyko, Y. (2010). Lipschitz functions have L_p-stable persistence. Foundations of Computational Mathematics. Springer.https://doi.org/10.1007/s10208-010-9060-6 

Riedl, J., Flynn, K., Raducanu, A., Gärtner, F. R., Beck, G., Bosl, M.,https://doi.org/10.1038/nmeth0310-168__Wedlich Söldner, R. (2010). Lifeact mice for studying F-actin dynamics. Nature Methods. Nature Publishing Group.https://doi.org/10.1038/nmeth0310-168 

Bridle, J., Polechova, J., Kawata, M., &; Butlin, R. (2010). Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. Wiley-Blackwell.https://doi.org/10.1111/j.1461-0248.2010.01442.x 

Oteíza, P., Koeppen, M., Krieg, M., Pulgar, E., Farias, C., Melo, C.,https://doi.org/10.1242/dev.049981__Concha, M. (2010). Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. Development. Company of Biologists.https://doi.org/10.1242/dev.049981 

Barton, N. H., Etheridge, A., &; Véber, A. (2010). A new model for evolution in a spatial continuum. Electronic Journal of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/EJP.v15-741