Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages.”https://doi.org/10.1145/1805950.1805953__ACM Transactions on Computational Logic (TOCL). ACM, 2010.https://doi.org/10.1145/1805950.1805953 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments,”https://doi.org/10.1007/978-3-642-14295-6_34__6174:380–95. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_34 .

Chatterjee, Krishnendu, Luca De Alfaro, Vishwanath Raman, and César Sánchez. “Analyzing the Impact of Change in Multi-Threaded Programs.”https://doi.org/10.1007/978-3-642-12029-9_21__edited by David Rosenblum and Gabriele Taenzer, 6013:293–307. Springer, 2010.https://doi.org/10.1007/978-3-642-12029-9_21 .

Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Strategy Construction for Parity Games with Imperfect Information.”https://doi.org/10.1016/j.ic.2009.09.006__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.09.006 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.”https://doi.org/10.1016/j.ic.2009.07.004__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.07.004 .

Bendich, Paul, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.”https://doi.org/10.1109/TVCG.2010.139__IEEE Transactions of Visualization and Computer Graphics. IEEE, 2010.https://doi.org/10.1109/TVCG.2010.139 .

Ugelvig, Line V, Daniel Kronauer, Alexandra Schrempf, Jürgen Heinze, and Sylvia Cremer. “Rapid Anti-Pathogen Response in Ant Societies Relies on High Genetic Diversity.”https://doi.org/10.1098/rspb.2010.0644__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2010.https://doi.org/10.1098/rspb.2010.0644 .

Nourshargh, Sussan, Peter Hordijk, and Michael K Sixt. “Breaching Multiple Barriers: Leukocyte Motility through Venular Walls and the Interstitium.”https://doi.org/10.1038/nrm2889__Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2010.https://doi.org/10.1038/nrm2889 .

Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.”https://doi.org/10.1038/emboj.2010.182__EMBO Journal. Wiley-Blackwell, 2010.https://doi.org/10.1038/emboj.2010.182 .

Kardash, Elena, Michal Reichman Fried, Jean Maître, Bijan Boldajipour, Ekaterina Papusheva, Esther Messerschmidt, Carl Heisenberg, and Erez Raz. “A Role for Rho GTPases and Cell-Cell Adhesion in Single-Cell Motility in Vivo.”https://doi.org/10.1038/ncb2003__Nature Cell Biology. Nature Publishing Group, 2010.https://doi.org/10.1038/ncb2003 .

Arboleda Estudillo, Yohanna, Michael Krieg, Jan Stuehmer, Nicholas Licata, Daniel Mueller, and Carl-Philipp J Heisenberg. “Movement Directionality in Collective Migration of Germ Layer Progenitors.”https://doi.org/10.1016/j.cub.2009.11.036__Current Biology. Cell Press, 2010.https://doi.org/10.1016/j.cub.2009.11.036 .

Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.”https://doi.org/10.1515/9783110232103__In Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, 5–20. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010.https://doi.org/10.1515/9783110232103 .

Guinane, Caitriona, Nouri Ben Zakour, Maria Tormo Mas, Lucy Weinert, Bethan Lowder, Robyn Cartwright, Davida Smyth, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.”https://doi.org/10.1093/gbe/evq031__Genome Biology and Evolution. Oxford University Press, 2010.https://doi.org/10.1093/gbe/evq031 .

Singh, Vasu. “Runtime Verification for Software Transactional Memories.”https://doi.org/10.1007/978-3-642-16612-9_32__edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010.https://doi.org/10.1007/978-3-642-16612-9_32 .

Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.”https://doi.org/10.1007/978-3-642-11319-2_6__edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010.https://doi.org/10.1007/978-3-642-11319-2_6 .

Jones, Kevin, Victor Konrad, and Dejan Nickovic. “Analog Property Checkers: A DD Case Study.”https://doi.org/10.1007/s10703-009-0085-x__Formal Methods in System Design. Springer, 2010.https://doi.org/10.1007/s10703-009-0085-x .

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,”https://doi.org/10.1109/CLOUD.2010.71__83–90. IEEE, 2010.https://doi.org/10.1109/CLOUD.2010.71 .

Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,”https://doi.org/10.1145/1810479.1810529__263–72. ACM, 2010.https://doi.org/10.1145/1810479.1810529 .

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,”https://doi.org/10.1145/1879021.1879022__1–8. ACM, 2010.https://doi.org/10.1145/1879021.1879022 .

Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,”https://doi.org/10.1109/ACSD.2010.26__77–84. IEEE, 2010.https://doi.org/10.1109/ACSD.2010.26 .