Chatterjee, Krishnendu, and Nathanaël Fijalkow. “A Reduction from Parity Games to Simple Stochastic Games,”https://doi.org/10.4204/EPTCS.54.6__54:74–86. EPTCS, 2011.https://doi.org/10.4204/EPTCS.54.6 .

Fisher, Jasmin, Thomas A Henzinger, Dejan Nickovic, Nir Piterman, Anmol Singh, and Moshe Vardi. “Dynamic Reactive Modules,”https://doi.org/10.1007/978-3-642-23217-6_27__6901:404–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011.https://doi.org/10.1007/978-3-642-23217-6_27 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “QUASY: Quantitative Synthesis Tool,”https://doi.org/10.1007/978-3-642-19835-9_24__6605:267–71. Springer, 2011.https://doi.org/10.1007/978-3-642-19835-9_24 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Mathieu Tracol. “The Decidability Frontier for Probabilistic Automata on Infinite Words.” ArXiv, n.d.

Abbot, Patrick, Jun Abe, John Alcock, Samuel Alizon, Joao Alpedrinha, Malte Andersson, Jean Andre, et al. “Inclusive Fitness Theory and Eusociality.”https://doi.org/10.1038/nature09831__Nature. Nature Publishing Group, 2011.https://doi.org/10.1038/nature09831 .

Sixt, Michael K, and Carole Parent. “Cells on the Move in Philadelphia.”https://doi.org/10.1091/mbc.E10-12-0958__Molecular Biology and Evolution. Oxford University Press, 2011.https://doi.org/10.1091/mbc.E10-12-0958 .

Tkadik, Gasper, and Aleksandra Walczak. “Information Transmission in Genetic Regulatory Networks a Review.”https://doi.org/10.1088/0953-8984/23/15/153102__Journal of Physics: Condensed Matter. IOP Publishing Ltd., 2011.https://doi.org/10.1088/0953-8984/23/15/153102 .

Krens, Gabriel, Stephanie Möllmert, and Carl-Philipp J Heisenberg. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.”https://doi.org/10.1073/pnas.1010767108__PNAS. National Academy of Sciences, 2011.https://doi.org/10.1073/pnas.1010767108 .

Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.”https://doi.org/10.1093/sysbio/syq086__Systematic Biology. Oxford University Press, 2011.https://doi.org/10.1093/sysbio/syq086 .

Stockinger, Petra, Carl-Philipp J Heisenberg, and Jean-Léon Maître. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.”https://doi.org/10.1242/dev.071233__Development. Company of Biologists, 2011.https://doi.org/10.1242/dev.071233 .

Polechova, Jitka, and Nicholas H Barton. “Genetic Drift Widens the Expected Cline but Narrows the Expected Cline Width.”https://doi.org/10.1534/genetics.111.129817__Genetics. Genetics Society of America, 2011.https://doi.org/10.1534/genetics.111.129817 .

Barton, Nicholas H, and Alison Etheridge. “The Relation between Reproductive Value and Genetic Contribution.”https://doi.org/10.1534/genetics.111.127555__Genetics. Genetics Society of America, 2011.https://doi.org/10.1534/genetics.111.127555 .

Vladar, Harold de, and Nicholas H Barton. “The Contribution of Statistical Physics to Evolutionary Biology.”https://doi.org/10.1016/j.tree.2011.04.002__Trends in Ecology and Evolution. Cell Press, 2011.https://doi.org/10.1016/j.tree.2011.04.002 .

Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “The Role of Adhesion Energy in Controlling Cell-Cell Contacts.”https://doi.org/10.1016/j.ceb.2011.07.004__Current Opinion in Cell Biology. Elsevier, 2011.https://doi.org/10.1016/j.ceb.2011.07.004 .

Janovjak, Harald L, Guillaume Sandoz, and Ehud Isacoff. “Modern Ionotropic Glutamate Receptor with a K+ Selectivity Signature Sequence.”https://doi.org/10.1038/ncomms1231__Nature Communications. Nature Publishing Group, 2011.https://doi.org/10.1038/ncomms1231 .

Sixt, Michael K, and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte Migration in 3D Environments.”https://doi.org/10.1007/978-1-61779-207-6_11__Cell Migration. Springer, 2011.https://doi.org/10.1007/978-1-61779-207-6_11 .

Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Scyllarus Arctus (Crustacea: Decapoda: Scyllaridae) Final Stage Phyllosoma Identified by DNA Analysis, with Morphological Description.”https://doi.org/10.1017/S0025315410000287__Journal of the Marine Biological Association of the United Kingdom. Cambridge University Press, 2011.https://doi.org/10.1017/S0025315410000287 .

Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres by Diagonal Distortion in R^n.”https://doi.org/10.1007/978-3-642-19391-0_2__In Rainbow of Computer Science, edited by Cristian Calude, Grzegorz Rozenberg, and Arto Salomaa, 6570:20–35. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer, 2011.https://doi.org/10.1007/978-3-642-19391-0_2 .

Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models.”https://doi.org/10.1142/S0129054111008441__IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing, 2011.https://doi.org/10.1142/S0129054111008441 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness.”https://doi.org/10.2168/LMCS-7(4:8)2011__Logical Methods in Computer Science. International Federation of Computational Logic, 2011.https://doi.org/10.2168/LMCS-7(4:8)2011 .

Raveendran, Karthik, Chris Wojtan, and Greg Turk. “Hybrid Smoothed Particle Hydrodynamics.”https://doi.org/10.1145/2019406.2019411__edited by Stephen Spencer, 33–42. ACM, 2011.https://doi.org/10.1145/2019406.2019411 .

Wojtan, Chris, Matthias Müller Fischer, and Tyson Brochu. “Liquid Simulation with Mesh-Based Surface Tracking.”https://doi.org/10.1145/2037636.2037644__ACM, 2011.https://doi.org/10.1145/2037636.2037644 .

Lohse, Konrad, Richard Harrison, and Nicholas H Barton. “A General Method for Calculating Likelihoods under the Coalescent Process.”https://doi.org/10.1534/genetics.111.129569__Genetics. Genetics Society of America, 2011.https://doi.org/10.1534/genetics.111.129569 .

Zheng, Ying, Steve Gu, Herbert Edelsbrunner, Carlo Tomasi, and Philip Benfey. Detailed Reconstruction of 3D Plant Root Shape. Proceedings of the IEEE International Conference on Computer Vision. IEEE, 2011.https://doi.org/10.1109/ICCV.2011.6126475 .

Chen, Chao, and Herbert Edelsbrunner. “Diffusion Runs Low on Persistence Fast.”https://doi.org/10.1109/ICCV.2011.6126271__In Proceedings of the IEEE International Conference on Computer Vision. IEEE, 2011.https://doi.org/10.1109/ICCV.2011.6126271 .

Edelsbrunner, Herbert. “Alpha Shapes - a Survey.” In Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, edited by R van de Weygaert, G Vegter, J Ritzerveld, and V Icke. Springer, n.d.

Almagor, Shaull, Udi Boker, and Orna Kupferman. “What’s Decidable about Weighted Automata ,”https://doi.org/10.1007/978-3-642-24372-1_37__6996:482–91. Springer, 2011.https://doi.org/10.1007/978-3-642-24372-1_37 .

Piskac, Ruzica, and Thomas Wies. “Decision Procedures for Automating Termination Proofs.”https://doi.org/10.1007/978-3-642-18275-4_26__edited by Ranjit Jhala and David Schmidt, 6538:371–86. Springer, 2011.https://doi.org/10.1007/978-3-642-18275-4_26 .

Chatterjee, Krishnendu, Luca De Alfaro, and Roy Pritam. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” ArXiv. ArXiv, 2011.

Chatterjee, Krishnendu, Monika H Henzinger, Manas Joglekar, and Shah Nisarg. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.”https://doi.org/10.1007/978-3-642-22110-1_21__edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:260–76. Springer, 2011.https://doi.org/10.1007/978-3-642-22110-1_21 .

Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Finitary Languages,”https://doi.org/10.1007/978-3-642-21254-3_16__6638:216–26. Springer, 2011.https://doi.org/10.1007/978-3-642-21254-3_16 .

Brázdil, Tomás, Václav Broeek, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes.”https://doi.org/10.1109/LICS.2011.10__IEEE, 2011.https://doi.org/10.1109/LICS.2011.10 .

Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory Efficient Real Time Controllers for Safety Objectives,”https://doi.org/10.1145/1967701.1967734__221–30. Springer, 2011.https://doi.org/10.1145/1967701.1967734 .

Chatterjee, Krishnendu, and Monika H Henzinger. “Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification,”https://doi.org/10.1137/1.9781611973082.101__1318–36. SIAM, 2011.https://doi.org/10.1137/1.9781611973082.101 .

Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,”https://doi.org/10.4230/LIPIcs.CSL.2011.82__12:82–96. Springer, 2011.https://doi.org/10.4230/LIPIcs.CSL.2011.82 .

Cerny, Pavol, Krishnendu Chatterjee, and Thomas A Henzinger. “The Complexity of Quantitative Information Flow Problems,”https://doi.org/10.1109/CSF.2011.21__205–17. IEEE, 2011.https://doi.org/10.1109/CSF.2011.21 .

Henzinger, Thomas A, Vasu Singh, Thomas Wies, and Damien Zufferey. “Scheduling Large Jobs by Abstraction Refinement,”https://doi.org/10.1145/1966445.1966476__329–42. ACM, 2011.https://doi.org/10.1145/1966445.1966476 .

Row, Richard, Jean-Léon Maître, Benjamin Martin, Petra Stockinger, Carl-Philipp J Heisenberg, and David Kimelman. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.”https://doi.org/10.1016/j.ydbio.2011.03.025__Developmental Biology. Elsevier, 2011.https://doi.org/10.1016/j.ydbio.2011.03.025 .

Bollenbach, Mark Tobias, and Roy Kishony. “Resolution of Gene Regulatory Conflicts Caused by Combinations of Antibiotics.”https://doi.org/10.1016/j.molcel.2011.04.016__Molecular Cell. Cell Press, 2011.https://doi.org/10.1016/j.molcel.2011.04.016 .

Logeswaran, Sayanthan, and Nicholas H Barton. “Mapping Mendelian Traits in Asexual Progeny Using Changes in Marker Allele Frequency.”https://doi.org/10.1017/S0016672311000115__Genetical Research. Cambridge University Press, 2011.https://doi.org/10.1017/S0016672311000115 .

Edelsbrunner, Herbert, Dmitriy Morozov, and Amit Patel. “Quantifying Transversality by Measuring the Robustness of Intersections.”https://doi.org/10.1007/s10208-011-9090-8__Foundations of Computational Mathematics. Springer, 2011.https://doi.org/10.1007/s10208-011-9090-8 .

Ugelvig, Line V, Per Nielsen, Jacobus Boomsma, and David Nash. “Reconstructing Eight Decades of Genetic Variation in an Isolated Danish Population of the Large Blue Butterfly Maculinea Arion.”https://doi.org/10.1186/1471-2148-11-201__BMC Evolutionary Biology. BioMed Central, 2011.https://doi.org/10.1186/1471-2148-11-201 .

Tkadik, Gasper, Patrick Garrigan, Charles Ratliff, Grega Milcinski, Jennifer Klein, Lucia Seyfarth, Peter Sterling, David Brainard, and Vijay Balasubramanian. “Natural Images from the Birthplace of the Human Eye.”https://doi.org/10.1371/journal.pone.0020409__PLoS One. Public Library of Science, 2011.https://doi.org/10.1371/journal.pone.0020409 .

Kupczok, Anne. “Split Based Computation of Majority Rule Supertrees.”https://doi.org/10.1186/1471-2148-11-205__BMC Evolutionary Biology. BioMed Central, 2011.https://doi.org/10.1186/1471-2148-11-205 .

Cremer, Sylvia, Alexandra Schrempf, and Jürgen Heinze. “Competition and Opportunity Shape the Reproductive Tactics of Males in the Ant Cardiocondyla Obscurior.”https://doi.org/10.1371/journal.pone.0017323__PLoS One. Public Library of Science, 2011.https://doi.org/10.1371/journal.pone.0017323 .

Barton, Nicholas H. “Estimating Linkage Disequilibria.”https://doi.org/10.1038/hdy.2010.67__Heredity. Nature Publishing Group, 2011.https://doi.org/10.1038/hdy.2010.67 .

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes.”https://doi.org/10.1016/j.tcs.2010.10.022__Theoretical Computer Science. Elsevier, 2011.https://doi.org/10.1016/j.tcs.2010.10.022 .

Vyleta, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is Independent of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.”https://doi.org/10.1523/JNEUROSCI.6398-10.2011__European Journal of Neuroscience. Wiley-Blackwell, 2011.https://doi.org/10.1523/JNEUROSCI.6398-10.2011 .

Schlögl, Alois, Carmen Vidaurre, and Tilmann Sander. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.”https://doi.org/10.1155/2011/935364__Computational Intelligence and Neuroscience. Hindawi Publishing Corporation, 2011.https://doi.org/10.1155/2011/935364 .

Schraivogel, Daniel, Lasse Weinmann, Dagmar Beier, Ghazaleh Tabatabai, Alexander Eichner, Jia Zhu, Martina Anton, et al. “CAMT Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.”https://doi.org/10.1038/emboj.2011.301__EMBO Journal. Wiley-Blackwell, 2011.https://doi.org/10.1038/emboj.2011.301 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of STM on Relaxed Memory Models.”https://doi.org/10.1007/s10703-011-0131-3__Formal Methods in System Design. Springer, 2011.https://doi.org/10.1007/s10703-011-0131-3 .

Chatterjee, Krishnendu, and Monika H Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0009 .

Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0007 .

Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0008 .

Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0006 .

Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv. ArXiv, 2011.

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.”https://doi.org/10.1109/LICS.2011.33__IEEE, 2011.https://doi.org/10.1109/LICS.2011.33 .

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0003 .

Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0002 .

Wies, Thomas, Marco Muñiz, and Viktor Kuncak. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0005 .

Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0004 .

Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.”https://doi.org/10.1007/978-3-642-22110-1_20__edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011.https://doi.org/10.1007/978-3-642-22110-1_20 .

Chatterjee, Krishnendu, and Laurent Doyen. “Energy and Mean-Payoff Parity Markov Decision Processes,”https://doi.org/10.1007/978-3-642-22993-0_21__6907:206–18. Springer, 2011.https://doi.org/10.1007/978-3-642-22993-0_21 .

Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0001 .

Park, Heungwon, Panos Oikonomou, Calin C Guet, and Philippe Cluzel. “Noise Underlies Switching Behavior of the Bacterial Flagellum.”https://doi.org/10.1016/j.bpj.2011.09.040__Biophysical Journal. Elsevier, 2011.https://doi.org/10.1016/j.bpj.2011.09.040 .

Gonzalez-Diaz, Rocio, Adrian Ion, Maria Jose Jimenez, and Regina Poyatos. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.”https://doi.org/10.1007/978-3-642-23672-3_35__In Computer Analysis of Images and Patterns, 6854:286–93. Springer Nature, 2011.https://doi.org/10.1007/978-3-642-23672-3_35 .

Palero, Ferran, Pere Abello, Enrique Macpherson, Mark Beaumont, and Marta Pascual. “Data from: Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster (Palinurus Elephas).”https://doi.org/10.5061/dryad.299h8__IST Austria, 2011.https://doi.org/10.5061/dryad.299h8 .

Schumann, Kathrin. “The Role of Chemotactic Gradients in Dendritic Cell Migration.” Institute of Science and Technology Austria, 2011.

Nowozin, Sebastian, and Christoph Lampert. “Structured Learning and Prediction in Computer Vision.”https://doi.org/10.1561/0600000033__Foundations and Trends in Computer Graphics and Vision. Now Publishers, 2011.https://doi.org/10.1561/0600000033 .

Jahnel, Marcus, Martin Behrndt, Anita Jannasch, Erik Schaeffer, and Stephan Grill. “Measuring the Complete Force Field of an Optical Trap.”https://doi.org/10.1364/OL.36.001260__Optics Letters. Optica Publishing Group, 2011.https://doi.org/10.1364/OL.36.001260 .

Vladar, Harold de, and Nicholas H Barton. “The Statistical Mechanics of a Polygenic Character under Stabilizing Selection Mutation and Drift.”https://doi.org/10.1098/rsif.2010.0438__Journal of the Royal Society Interface. The Royal Society, 2011.https://doi.org/10.1098/rsif.2010.0438 .

Barton, Nicholas H, and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.”https://doi.org/10.1086/661246__American Naturalist. The University of Chicago Press, 2011.https://doi.org/10.1086/661246 .

Blanc, Régis, Thomas A Henzinger, Thibaud Hottelier, and Laura Kovács. “ABC: Algebraic Bound Computation for Loops.”https://doi.org/10.1007/978-3-642-17511-4_7__In Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, 6355:103–18. LNCS. Berlin, Heidelberg: Springer Nature, 2010.https://doi.org/10.1007/978-3-642-17511-4_7 .

Kupczok, Anne, Heiko Schmidt, and Arndt Von Haeseler. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .”https://doi.org/10.1186/1748-7188-5-37__Algorithms for Molecular Biology. BioMed Central, 2010.https://doi.org/10.1186/1748-7188-5-37 .

Weissman, Daniel, Marcus Feldman, and Daniel Fisher. “The Rate of Fitness-Valley Crossing in Sexual Populations.”https://doi.org/10.1534/genetics.110.123240__Genetics. Genetics Society of America, 2010.https://doi.org/10.1534/genetics.110.123240 .

Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule-Based Systems,” 40:142–61. Open Publishing Association, 2010.

Edelsbrunner, Herbert, Dmitriy Morozov, and Amit Patel. “The Stability of the Apparent Contour of an Orientable 2-Manifold.”https://doi.org/10.1007/978-3-642-15014-2_3__In Topological Data Analysis and Visualization: Theory, Algorithms and Applications, 27–42. Springer, 2010.https://doi.org/10.1007/978-3-642-15014-2_3 .

Guzmán, José, and Peter M Jonas. “Beyond TARPs: The Growing List of Auxiliary AMPAR Subunits.”https://doi.org/10.1016/j.neuron.2010.04.003__Neuron. Elsevier, 2010.https://doi.org/10.1016/j.neuron.2010.04.003 .

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks,”https://doi.org/10.1109/QEST.2010.33__193–94. IEEE, 2010.https://doi.org/10.1109/QEST.2010.33 .

Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrey Rybalchenko. “Aligators for Arrays,”https://doi.org/10.1007/978-3-642-16242-8_25__6397:348–56. Springer, 2010.https://doi.org/10.1007/978-3-642-16242-8_25 .

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation.”https://doi.org/10.1049/iet-syb.2010.0005__IET Systems Biology. Institution of Engineering and Technology, 2010.https://doi.org/10.1049/iet-syb.2010.0005 .

Chatterjee, Krishnendu, and Laurent Doyen. “The Complexity of Partial-Observation Parity Games,”https://doi.org/10.1007/978-3-642-16242-8_1__6397:1–14. Springer, 2010.https://doi.org/10.1007/978-3-642-16242-8_1 .

Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free,”https://doi.org/10.1007/978-3-642-15155-2_23__6281:246–57. Springer, 2010.https://doi.org/10.1007/978-3-642-15155-2_23 .

Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Robustness in the Presence of Liveness.”https://doi.org/10.1007/978-3-642-14295-6_36__edited by Tayssir Touili, Byron Cook, and Paul Jackson, 6174:410–24. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_36 .

Chatterjee, Krishnendu, Luca De Alfaro, Ritankar Majumdar, and Vishwanath Raman. “Algorithms for Game Metrics.”https://doi.org/10.2168/LMCS-6(3:13)2010__Logical Methods in Computer Science. International Federation of Computational Logic, 2010.https://doi.org/10.2168/LMCS-6(3:13)2010 .

Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “A New Model for Evolution in a Spatial Continuum.”https://doi.org/10.1214/EJP.v15-741__Electronic Journal of Probability. Institute of Mathematical Statistics, 2010.https://doi.org/10.1214/EJP.v15-741 .

Danowski, Patrick, and Julia Bergmann, eds. Handbuch Bibliothek 2.0. Vol. 41. Bibliothekspraxis. De Gruyter, 2010.https://doi.org/10.1515/9783110232103 .

Nickovic, Dejan, and Nir Piterman. “From MTL to Deterministic Timed Automata.”https://doi.org/10.1007/978-3-642-15297-9_13__edited by Thomas A. Henzinger and Krishnendu Chatterjee, 6246:152–67. Springer, 2010.https://doi.org/10.1007/978-3-642-15297-9_13 .

Barton, Nicholas H. “Genetic Linkage and Natural Selection.”https://doi.org/10.1098/rstb.2010.0106__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/10.1098/rstb.2010.0106 .

Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?”https://doi.org/10.1098/rstb.2010.0001__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/10.1098/rstb.2010.0001 .

Barton, Nicholas H. “Mutation and the Evolution of Recombination.”https://doi.org/10.1098/rstb.2009.0320__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/10.1098/rstb.2009.0320 .

Barton, Nicholas H. “Understanding Adaptation in Large Populations.”https://doi.org/10.1371/journal.pgen.1000987__PLoS Genetics. Public Library of Science, 2010.https://doi.org/10.1371/journal.pgen.1000987 .

Diz Muñoz, Alba, Michael Krieg, Martin Bergert, Itziar Ibarlucea Benitez, Daniel Müller, Ewa Paluch, and Carl-Philipp J Heisenberg. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.”https://doi.org/10.1371/journal.pbio.1000544__PLoS Biology. Public Library of Science, 2010.https://doi.org/10.1371/journal.pbio.1000544 .

Nowozin, Sebastian, Peter Gehler, and Christoph Lampert. “On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation,”https://doi.org/10.1007/978-3-642-15567-3_8__6316:98–111. Springer, 2010.https://doi.org/10.1007/978-3-642-15567-3_8 .

Palero, Ferran, Sally Hall, Paul Clark, David Johnston, Jackie Mackenzie Dodds, and Sven Thatje. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.”https://doi.org/10.3989/scimar.2010.74n3465__Scientia Marina. Consejo Superior de Investigaciones Científicas, 2010.https://doi.org/10.3989/scimar.2010.74n3465 .

Wolf, Verena, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.”https://doi.org/10.1186/1752-0509-4-42__BMC Systems Biology. BioMed Central, 2010.https://doi.org/10.1186/1752-0509-4-42 .

Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,”https://doi.org/10.1007/978-3-642-11319-2_14__5944:163–79. Springer, 2010.https://doi.org/10.1007/978-3-642-11319-2_14 .

Henzinger, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,”https://doi.org/10.1145/1839764.1839772__55–65. Springer, 2010.https://doi.org/10.1145/1839764.1839772 .

Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,”https://doi.org/10.1007/978-3-642-15375-4_19__6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_19 .

Bendich, Paul, Herbert Edelsbrunner, Michael Kerber, and Amit Patel. “Persistent Homology under Non-Uniform Error,”https://doi.org/10.1007/978-3-642-15155-2_2__6281:12–23. Springer, 2010.https://doi.org/10.1007/978-3-642-15155-2_2 .