Barton, Nicholas H., et al. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.”10.1111/j.1558-5646.2010.01019.x__Evolution, vol. 64, no. 9, Wiley-Blackwell, 2010, pp. 2701–15, doi:10.1111/j.1558-5646.2010.01019.x.

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

Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies? .”10.4204/EPTCS.25.7__Proceedings of GandALF 2010, vol. 25, Open Publishing Association, 2010, pp. 30–39, doi:10.4204/EPTCS.25.7.

Hoenicke, Jochen, et al. “Doomed Program Points.”10.1007/s10703-010-0102-0__Formal Methods in System Design, vol. 37, no. 2–3, Springer, 2010, pp. 171–99, doi:10.1007/s10703-010-0102-0.

Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:10.1007/978-3-642-15375-4_18.

Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.

Cerny, Pavol, et al. Simulation Distances. IST Austria, 2010, doi:10.15479/AT:IST-2010-0003.

Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.

Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.

Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010, doi:10.15479/AT:IST-2010-0001.

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

Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. Vol. 6252, Springer, 2010, pp. 1–16, doi:10.1007/978-3-642-15643-4_1.

Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. Vol. 6281, Springer, 2010, pp. 258–69, doi:10.1007/978-3-642-15155-2_24.

Juhás, Gabriel, et al. “Instance Deadlock: A Mystery behind Frozen Programs.”10.1007/978-3-642-13675-7_1__Applications and Theory of Petri Nets, Springer Berlin Heidelberg, 2010, pp. 1–17, doi:10.1007/978-3-642-13675-7_1.

Meyer, Krista, et al. “Activates Transcription by Directing Structural Shifts in Mediator.”10.1038/nsmb.1816__Nature Structural and Molecular Biology, vol. 17, no. 6, Nature Publishing Group, 2010, pp. 753–60, doi:10.1038/nsmb.1816.

Weber, Katherine P., et al. “Whole Genome Sequencing Highlights Genetic Changes Associated with Laboratory Domestication of C. Elegans.”10.1371/journal.pone.0013922__PLoS ONE, vol. 5, no. 11, e13922, Public Library of Science, 2010, doi:10.1371/journal.pone.0013922.

Zacharasiewicz, Waldemar, and Fritz Kirsch. “‘This Is a Fundamentalist Town’: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House.” Social and Cultural Interaction and Literary Landscapes in the Canadian Westf: Impressions of an Exploratory Field Trip and Academic Interaction in the Canadian Westf: Rapports Interculturels et Paysages Littéraires Dans l’Ouest Canadien, Facultas.WUV, 2010, pp. 173–79.

Zhou, L., et al. “Treatment of Cerebral Ischemia by Disrupting Ischemia-Induced Interaction of NNOS with PSD-95.”10.1038/nm.2245__Nature Medicine, vol. 16, no. 12, Nature Publishing Group, 2010, pp. 1439–43, doi:10.1038/nm.2245.

Bretèche, Régis de la, and Timothy D. Browning. “Le Problème Des Diviseurs Pour Des Formes Binaires de Degré 4.”10.1515/crelle.2010.064__Crelles Journal, vol. 2010, no. 646, Walter de Gruyter GmbH, 2010, pp. 1–44, doi:10.1515/crelle.2010.064.

Salje, E. K. H., et al. “Tin Telluride: A Weakly Co-Elastic Metal.”10.1103/physrevb.82.184112__Physical Review B, vol. 82, no. 18, 184112, APS, 2010, doi:10.1103/physrevb.82.184112.