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 .

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 .

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 .

Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.”https://doi.org/10.1007/978-3-642-12029-9_19__edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010.https://doi.org/10.1007/978-3-642-12029-9_19 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.”https://doi.org/10.2168/LMCS-6(3:10)2010__Logical Methods in Computer Science. International Federation of Computational Logic, 2010.https://doi.org/10.2168/LMCS-6(3:10)2010 .

Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1__8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1 .

Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .”https://doi.org/10.4204/EPTCS.25.7__In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010.https://doi.org/10.4204/EPTCS.25.7 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,”https://doi.org/10.1007/978-3-642-15375-4_18__6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_18 .

Chatterjee, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0004 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0003 .

Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,”https://doi.org/10.1007/978-3-642-14295-6_41__6174:465–79. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_41 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,”https://doi.org/10.1007/978-3-642-14295-6_57__6174:665–69. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_57 .

Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0001 .

Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0002 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Qualitative Analysis of Partially-Observable Markov Decision Processes,”https://doi.org/10.1007/978-3-642-15155-2_24__6281:258–69. Springer, 2010.https://doi.org/10.1007/978-3-642-15155-2_24 .

Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Cryptic Variation between Species and the Basis of Hybrid Performance.”https://doi.org/10.1371/journal.pbio.1000429__PLoS Biology. Public Library of Science, 2010.https://doi.org/10.1371/journal.pbio.1000429 .

Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting in Games across Time Scales,”https://doi.org/10.4204/EPTCS.25.6__25:22–29. EPTCS, 2010.https://doi.org/10.4204/EPTCS.25.6 .

Wies, Thomas, Damien Zufferey, and Thomas A Henzinger. “Forward Analysis of Depth-Bounded Processes.”https://doi.org/10.1007/978-3-642-12032-9_8__edited by Luke Ong, 6014:94–108. Springer, 2010.https://doi.org/10.1007/978-3-642-12032-9_8 .

Davison, Angus, Nicholas H Barton, and Bryan Clarke. “The Effect of Chirality Phenotype and Genotype on the Fecundity and Viability of Partula Suturalis and Lymnaea Stagnalis: Implications for the Evolution of Sinistral Snails.”https://doi.org/10.1111/j.1420-9101.2009.01770.x__Journal of Evolutionary Biology. Wiley, 2009.https://doi.org/10.1111/j.1420-9101.2009.01770.x .

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,”https://doi.org/10.1109/HiBi.2009.23__4:118–27. IEEE, 2009.https://doi.org/10.1109/HiBi.2009.23 .

Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,”https://doi.org/10.1007/978-3-642-04420-5_2__5797:3–23. Springer, 2009.https://doi.org/10.1007/978-3-642-04420-5_2 .

Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,”https://doi.org/10.1109/RTSS.2009.9__171–80. IEEE, 2009.https://doi.org/10.1109/RTSS.2009.9 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,”https://doi.org/10.1007/978-3-642-04081-8_17__5710:244–58. Springer, 2009.https://doi.org/10.1007/978-3-642-04081-8_17 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.”https://doi.org/10.1145/1614431.1614432__ACM Transactions on Computational Logic (TOCL). ACM, 2009.https://doi.org/10.1145/1614431.1614432 .

Polechova, Jitka, Nicholas H Barton, and Glenn Marion. “Species’ Range: Adaptation in Space and Time.”https://doi.org/10.1086/605958__American Naturalist. University of Chicago Press, 2009.https://doi.org/10.1086/605958 .

Barton, Nicholas H, and Maria De Cara. “The Evolution of Strong Reproductive Isolation.”https://doi.org/10.1111/j.1558-5646.2009.00622.x__Evolution; International Journal of Organic Evolution. Wiley, 2009.https://doi.org/10.1111/j.1558-5646.2009.00622.x .

Barton, Nicholas H, and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.”https://doi.org/10.1016/j.jtbi.2009.03.019__Journal of Theoretical Biology. Elsevier, 2009.https://doi.org/10.1016/j.jtbi.2009.03.019 .

Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.”https://doi.org/10.1145/1629335.1629346__In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009.https://doi.org/10.1145/1629335.1629346 .

Edelsbrunner, Herbert, and John Harer. “The Persistent Morse Complex Segmentation of a 3-Manifold,”https://doi.org/10.1007/978-3-642-10470-1_4__5903:36–50. Springer, 2009.https://doi.org/10.1007/978-3-642-10470-1_4 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,”https://doi.org/10.1007/978-3-642-03409-1_2__5699:3–13. Springer, 2009.https://doi.org/10.1007/978-3-642-03409-1_2 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,”https://doi.org/10.1007/978-3-642-02930-1_1__5556:1–15. Springer, 2009.https://doi.org/10.1007/978-3-642-02930-1_1 .

Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,”https://doi.org/10.1007/978-3-642-02658-4_14__5643:140–56. Springer, 2009.https://doi.org/10.1007/978-3-642-02658-4_14 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0003 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0002 .

Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0004 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0001 .