Barton, N. H., &; Turelli, M. (2011). Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. The University of Chicago Press.https://doi.org/10.1086/661246 
LibreCat: https://research-explorer.ista.ac.at/record/3393
DOI: 10.1086/661246

Blanc, R., Henzinger, T. A., Hottelier, T., &; Kovács, L. (2010). ABC: Algebraic Bound Computation for loops. In E. M. Clarke &; A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (Vol. 6355, pp. 103–118). Berlin, Heidelberg: Springer Nature.https://doi.org/10.1007/978-3-642-17511-4_7 
LibreCat: https://research-explorer.ista.ac.at/record/10908
DOI: 10.1007/978-3-642-17511-4_7

Kupczok, A., Schmidt, H., &; Von Haeseler, A. (2010). Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. BioMed Central.https://doi.org/10.1186/1748-7188-5-37 
LibreCat: https://research-explorer.ista.ac.at/record/2409
DOI: 10.1186/1748-7188-5-37

Weissman, D., Feldman, M., &; Fisher, D. (2010). The rate of fitness-valley crossing in sexual populations. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.110.123240 
LibreCat: https://research-explorer.ista.ac.at/record/3303
DOI: 10.1534/genetics.110.123240

Feret, J., Henzinger, T. A., Koeppl, H., &; Petrov, T. (2010). Lumpability abstractions of rule-based systems (Vol. 40, pp. 142–161). Presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany: Open Publishing Association.
LibreCat: https://research-explorer.ista.ac.at/record/3719
arXiv: 1011.0496

Edelsbrunner, H., Morozov, D., &; Patel, A. (2010). The stability of the apparent contour of an orientable 2-manifold. In Topological Data Analysis and Visualization: Theory, Algorithms and Applications (pp. 27–42). Springer.https://doi.org/10.1007/978-3-642-15014-2_3 
LibreCat: https://research-explorer.ista.ac.at/record/3795
DOI: 10.1007/978-3-642-15014-2_3

Guzmán, J., &; Jonas, P. M. (2010). Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2010.04.003 
LibreCat: https://research-explorer.ista.ac.at/record/3832
DOI: 10.1016/j.neuron.2010.04.003
PMID: 20399724

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 
LibreCat: https://research-explorer.ista.ac.at/record/3847
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3845
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3842
DOI: 10.1049/iet-syb.2010.0005

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 
LibreCat: https://research-explorer.ista.ac.at/record/3858
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3856
DOI: 10.1007/978-3-642-15155-2_23

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 
LibreCat: https://research-explorer.ista.ac.at/record/3866
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3868
DOI: 10.2168/LMCS-6(3:13)2010

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 
LibreCat: https://research-explorer.ista.ac.at/record/4243
DOI: 10.1214/EJP.v15-741

Danowski, P., &; Bergmann, J. (Eds.). (2010). Handbuch Bibliothek 2.0 (Vol. 41). De Gruyter.https://doi.org/10.1515/9783110232103 
LibreCat: https://research-explorer.ista.ac.at/record/4346
DOI: 10.1515/9783110232103

Nickovic, D., &; Piterman, N. (2010). From MTL to deterministic timed automata. In T. A. Henzinger &; K. Chatterjee (Eds.) (Vol. 6246, pp. 152–167). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer.https://doi.org/10.1007/978-3-642-15297-9_13 
LibreCat: https://research-explorer.ista.ac.at/record/4369
DOI: 10.1007/978-3-642-15297-9_13

Barton, N. H. (2010). Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2010.0106 
LibreCat: https://research-explorer.ista.ac.at/record/3776
DOI: 10.1098/rstb.2010.0106

Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2010.0001 
LibreCat: https://research-explorer.ista.ac.at/record/3773
DOI: 10.1098/rstb.2010.0001
PMID: 20439284

Barton, N. H. (2010). Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2009.0320 
LibreCat: https://research-explorer.ista.ac.at/record/3777
DOI: 10.1098/rstb.2009.0320
PMID: 20308104