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.

Zemach, Assaf, et al. “Local DNA Hypomethylation Activates Genes in Rice Endosperm.”10.1073/pnas.1009695107__Proceedings of the National Academy of Sciences, vol. 107, no. 43, National Academy of Sciences, 2010, pp. 18729–34, doi:10.1073/pnas.1009695107.

Zemach, Assaf, and Daniel Zilberman. “Evolution of Eukaryotic DNA Methylation and the Pursuit of Safer Sex.”10.1016/j.cub.2010.07.007__Current Biology, vol. 20, no. 17, Elsevier, 2010, pp. 0–85, doi:10.1016/j.cub.2010.07.007.

Zemach, Assaf, et al. “Genome-Wide Evolutionary Analysis of Eukaryotic DNA Methylation.”10.1126/science.1186366__Science, vol. 328, no. 5980, American Association for the Advancement of Science, 2010, pp. 916–19, doi:10.1126/science.1186366.

Rosas, Ulises, et al. “Cryptic Variation between Species and the Basis of Hybrid Performance.”10.1371/journal.pbio.1000429__PLoS Biology, vol. 8, no. 7, e1000429, Public Library of Science, 2010, doi:10.1371/journal.pbio.1000429.

Feng, Xiaoqi, and Hugh G. Dickinson. “Tapetal Cell Fate, Lineage and Proliferation in the Arabidopsis Anther.”10.1242/dev.049320__Development, vol. 137, no. 14, The Company of Biologists, 2010, pp. 2409–16, doi:10.1242/dev.049320.

Feng, Xiaoqi, and Hugh G. Dickinson. “Cell–Cell Interactions during Patterning of the Arabidopsis Anther.”10.1042/bst0380571__Biochemical Society Transactions, vol. 38, no. 2, Portland Press Ltd., 2010, pp. 571–76, doi:10.1042/bst0380571.

Chatterjee, Krishnendu, and Ritankar Majumdar. Discounting in Games across Time Scales. Vol. 25, EPTCS, 2010, pp. 22–29, doi:10.4204/EPTCS.25.6.

Pflicke, Holger.   Dendritic Cell Migration across Basement Membranes in the Skin. Institute of Science and Technology Austria, 2010.

Wies, Thomas, et al. Forward Analysis of Depth-Bounded Processes. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-12032-9_8.

Palero, Ferran, et al. “Genetic Diversity Levels in Fishery-Exploited Spiny Lobsters of the Genus Palinurus (Decapoda: Achelata).”10.1651/09-3192.1__Journal of Crustacean Biology, vol. 30, no. 4, Oxford University Press, 2010, pp. 658–63, doi:10.1651/09-3192.1.

Schlögl, Alois, et al. “Adaptive Methods in BCI Research - An Introductory Tutorial.”10.1007/978-3-642-02091-9_18__Brain-Computer Interfaces, edited by Bernhard Graimann et al., 1st ed., Springer, 2010, pp. 331–55, doi:10.1007/978-3-642-02091-9_18.