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 .

Pavan, Ana, Felipe Martins, Fabrício Santos, Albert Ditchfield, and Rodrigo A Fernandes Redondo. “Patterns of Diversification in Two Species of Short-Tailed Bats (Carollia Gray, 1838): The Effects of Historical Fragmentation of Brazilian Rainforests.”https://doi.org/10.1111/j.1095-8312.2010.01601.x__Biological Journal of the Linnean Society. Wiley-Blackwell, 2011.https://doi.org/10.1111/j.1095-8312.2010.01601.x .

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 .

Krens, Gabriel, and Carl-Philipp J Heisenberg. “Cell Sorting in Development.”https://doi.org/10.1016/B978-0-12-385065-2.00006-2__In Forces and Tension in Development, edited by Michel Labouesse, 95:189–213. Elsevier, 2011.https://doi.org/10.1016/B978-0-12-385065-2.00006-2 .

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 .

Eichner, Alexander, and Michael K Sixt. “Setting the Clock for Recirculating Lymphocytes.”https://doi.org/10.1126/scisignal.2002617__Science Signaling. American Association for the Advancement of Science, 2011.https://doi.org/10.1126/scisignal.2002617 .

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 .

Chen, Chao, Daniel Freedman, and Christoph Lampert. “Enforcing Topological Constraints in Random Field Image Segmentation.”https://doi.org/10.1109/CVPR.2011.5995503__In CVPR: Computer Vision and Pattern Recognition, 2089–96. IEEE, 2011.https://doi.org/10.1109/CVPR.2011.5995503 .

Wies, Thomas, Marco Muñiz, and Viktor Kuncak. “An Efficient Decision Procedure for Imperative Tree Data Structures,”https://doi.org/10.1007/978-3-642-22438-6_36__6803:476–91. Springer, 2011.https://doi.org/10.1007/978-3-642-22438-6_36 .

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 .

Hsieh, Tzung-Fu, Juhyun Shin, Rie Uzawa, Pedro Silva, Stephanie Cohen, Matthew J. Bauer, Meryl Hashimoto, et al. “Regulation of Imprinted Gene Expression in Arabidopsis Endosperm.”https://doi.org/10.1073/pnas.1019273108__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2011.https://doi.org/10.1073/pnas.1019273108 .

Zilberman, Daniel. Balancing Parental Contributions in Plant Embryonic Gene Activation. Developmental Cell. Vol. 20. Elsevier, 2011.https://doi.org/10.1016/j.devcel.2011.05.018 .

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. “Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster Palinurus Elephas.”https://doi.org/10.1111/j.1095-8312.2011.01728.x__Biological Journal of the Linnean Society. Wiley-Blackwell, 2011.https://doi.org/10.1111/j.1095-8312.2011.01728.x .

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 .

Sommer, Christoph M, Christoph Straehle, Ullrich Köthe, and Fred A. Hamprecht. “Ilastik: Interactive Learning and Segmentation Toolkit.”https://doi.org/10.1109/isbi.2011.5872394__In 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro. Institute of Electrical and Electronics Engineers, 2011.https://doi.org/10.1109/isbi.2011.5872394 .

Artner, Nicole M., Adrian Ion, and Walter G. Kropatsch. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.”https://doi.org/10.1007/978-3-642-20844-7_22__In Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang, Miquel Ferrer, and Andrea Torsello, 6658:215–24. LNIP. Berlin, Heidelberg: Springer, 2011.https://doi.org/10.1007/978-3-642-20844-7_22 .

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

Maître, Jean-Léon. “Mechanics of Adhesion and Deadhesion in Zebrafish Germ Layer Progenitors.” Institute of Science and Technology Austria, 2011.

Soriano, Silvia, Miroslav Hons, Kathrin Schumann, Varsha Kumar, Timo Dennier, Ruth Lyck, Michael K Sixt, and Jens Stein. “In Vivo Analysis of Uropod Function during Physiological T Cell Trafficking.”https://doi.org/10.4049/jimmunol.1100935__Journal of Immunology. American Association of Immunologists, 2011.https://doi.org/10.4049/jimmunol.1100935 .

Lampert, Christoph. “Maximum Margin Multi-Label Structured Prediction.” Neural Information Processing Systems, 2011.

Lampert, Christoph. Maximum Margin Multi Label Structured Prediction. NIPS: Neural Information Processing Systems. Neural Information Processing Systems Foundation, 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 .

Quadrianto, Novi, and Christoph Lampert. “Learning Multi-View Neighborhood Preserving Projections,” 425–32. ML Research Press, 2011.

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 .

Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.”https://doi.org/10.1137/1.9781611973075.129__In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, 1594–1604. Society for Industrial and Applied Mathematics, 2010.https://doi.org/10.1137/1.9781611973075.129 .

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 .

Senn, Helen, Simon Goodman, Graeme Swanson, Nicholas H Barton, and Josephine Pemberton. “Investigating Temporal Changes in Hybridisation and Introgression between Invasive Sika (Cervus Nippon) and Native Red Deer (Cervus Elaphus) on the Kintyre Peninsula, Scotland.”https://doi.org/10.1111/j.1365-294X.2009.04497.x__Molecular Ecology. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1365-294X.2009.04497.x .

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.

Guzmán, José, Hartmut Schmidt, Heike Franke, Ute Krügel, Jens Eilers, Peter Illes, and Zoltan Gerevich. “Receptors Inhibit Long-Term Depression in the Prefrontal Cortex.”https://doi.org/10.1016/j.neuropharm.2010.05.013__Neuropharmacology. Elsevier, 2010.https://doi.org/10.1016/j.neuropharm.2010.05.013 .

Palero, Ferran, Fernando González Candelas, and Marta Pascual. “Microsatelight – Pipeline to Expedite Microsatellite Analysis.”https://doi.org/10.1093/jhered/esq111__Journal of Heredity. Oxford University Press, 2010.https://doi.org/10.1093/jhered/esq111 .

Chen, Chao, and Daniel Freedman. “Topology Noise Removal for Curve  and Surface Evolution.”https://doi.org/10.1007/978-3-642-18421-5_4__In https://doi.org/10.1007/978-3-642-18421-5_4__Conference Proceedings MCV 2010, 6533:31–42. Springer, 2010.https://doi.org/10.1007/978-3-642-18421-5_4 .

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 .

Lampert, Christoph, and Oliver Krömer. “Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer Learning,”https://doi.org/10.1007/978-3-642-15552-9_41__6312:566–79. Springer, 2010.https://doi.org/10.1007/978-3-642-15552-9_41 .

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 .

Jonas, Peter M, and Stefan Hefft. “GABA Release at Terminals of CCK-Interneurons: Synchrony, Asynchrony and Modulation by Cannabinoid Receptors (Commentary on Ali &;amp; Todorova).”https://doi.org/10.1111/j.1460-9568.2010.07189.x__The European Journal of Neuroscience. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1460-9568.2010.07189.x .

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 .

Bendich, Paul, Herbert Edelsbrunner, Dmitriy Morozov, and Amit Patel. “The Robustness of Level Sets,”https://doi.org/10.1007/978-3-642-15775-2_1__6346:1–10. Springer, 2010.https://doi.org/10.1007/978-3-642-15775-2_1 .

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 .

Chatterjee, Krishnendu, and Thomas A Henzinger, eds. Formal Modeling and Analysis of Timed Systems. Vol. 6246. Springer, 2010.https://doi.org/10.1007/978-3-642-15297-9 .

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 .

Bridle, Jon, Jitka Polechova, Masakado Kawata, and Roger Butlin. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.”https://doi.org/10.1111/j.1461-0248.2010.01442.x__Ecology Letters. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1461-0248.2010.01442.x .

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 .

Senn, Helen, Graeme Swanson, Simon Goodman, Nicholas H Barton, and Josephine Pemberton. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).”https://doi.org/10.1111/j.1365-2656.2009.01633.x__Journal of Animal Ecology. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1365-2656.2009.01633.x .

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 .

Quesada-Hernández, Elena, Luca Caneparo, Sylvia Schneider, Sylke Winkler, Michael Liebling, Scott Fraser, and Carl-Philipp J Heisenberg. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.”https://doi.org/10.1016/j.cub.2010.10.009__Current Biology. Cell Press, 2010.https://doi.org/10.1016/j.cub.2010.10.009 .

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 .

Klopper, Abigail, Gabriel Krens, Stephan Grill, and Carl-Philipp J Heisenberg. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.”https://doi.org/10.1140/epje/i2010-10642-y__The European Physical Journal E: Soft Matter and Biological Physics. Springer, 2010.https://doi.org/10.1140/epje/i2010-10642-y .

Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Final-Stage Phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The First Complete Description.”https://doi.org/10.11646/zootaxa.2403.1.4__Zootaxa. Magnolia Press, 2010.https://doi.org/10.11646/zootaxa.2403.1.4 .

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. “From Boolean to Quantitative Notions of Correctness,”https://doi.org/10.1145/1706299.1706319__45:157–58. ACM, 2010.https://doi.org/10.1145/1706299.1706319 .

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 .

Chatterjee, Krishnendu, Florian Horn, and Christof Löding. “Obliging Games,”https://doi.org/10.1007/978-3-642-15375-4_20__6269:284–96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_20 .

Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games,”https://doi.org/10.1007/978-3-642-14162-1_50__6199:599–610. Springer, 2010.https://doi.org/10.1007/978-3-642-14162-1_50 .

Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Polygonal Reconstruction from Approximate Offsets,” 12–23. TU Dortmund, 2010.

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Generalized Mean-Payoff and Energy Games,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505__8:505–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments,”https://doi.org/10.1007/978-3-642-14295-6_34__6174:380–95. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_34 .

Chatterjee, Krishnendu, Luca De Alfaro, Vishwanath Raman, and César Sánchez. “Analyzing the Impact of Change in Multi-Threaded Programs.”https://doi.org/10.1007/978-3-642-12029-9_21__edited by David Rosenblum and Gabriele Taenzer, 6013:293–307. Springer, 2010.https://doi.org/10.1007/978-3-642-12029-9_21 .

Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Strategy Construction for Parity Games with Imperfect Information.”https://doi.org/10.1016/j.ic.2009.09.006__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.09.006 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.”https://doi.org/10.1016/j.ic.2009.07.004__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.07.004 .

Bendich, Paul, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.”https://doi.org/10.1109/TVCG.2010.139__IEEE Transactions of Visualization and Computer Graphics. IEEE, 2010.https://doi.org/10.1109/TVCG.2010.139 .

Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.”https://doi.org/10.1038/emboj.2010.182__EMBO Journal. Wiley-Blackwell, 2010.https://doi.org/10.1038/emboj.2010.182 .

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 .

Singh, Vasu. “Runtime Verification for Software Transactional Memories.”https://doi.org/10.1007/978-3-642-16612-9_32__edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010.https://doi.org/10.1007/978-3-642-16612-9_32 .

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 .