Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.”https://doi.org/10.1109/LICS.2012.28__In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012.https://doi.org/10.1109/LICS.2012.28 .

Chatterjee, Krishnendu. “Robustness of Structurally Equivalent Concurrent Parity Games,”https://doi.org/10.1007/978-3-642-28729-9_18__7213:270–85. Springer, 2012.https://doi.org/10.1007/978-3-642-28729-9_18 .

Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.”https://doi.org/10.1109/LICS.2012.29__In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012.https://doi.org/10.1109/LICS.2012.29 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances.”https://doi.org/10.1016/j.tcs.2011.08.002__Theoretical Computer Science. Elsevier, 2012.https://doi.org/10.1016/j.tcs.2011.08.002 .

Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. “Approximating Marginals Using Discrete Energy Minimization.” ICML, 2012.

Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012.https://doi.org/10.15479/AT:IST-2012-0003 .

Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.

Ibarra, Christian A., Xiaoqi Feng, Vera K. Schoft, Tzung-Fu Hsieh, Rie Uzawa, Jessica A. Rodrigues, Assaf Zemach, et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.”https://doi.org/10.1126/science.1224839__Science. American Association for the Advancement of Science, 2012.https://doi.org/10.1126/science.1224839 .

Coleman-Derr, D., and Daniel Zilberman. “DNA Methylation, A.Z, and the Regulation of Constitutive Expression.”https://doi.org/10.1101/sqb.2012.77.014944__Cold Spring Harbor Symposia on Quantitative Biology. Cold Spring Harbor Laboratory Press, 2012.https://doi.org/10.1101/sqb.2012.77.014944 .

Konrad, Matthias, Meghan Vyleta, Fabian Theis, Miriam Stock, Simon Tragust, Martina Klatt, Verena Drescher, Carsten Marr, Line V Ugelvig, and Sylvia Cremer. “Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.”https://doi.org/10.1371/journal.pbio.1001300__PLoS Biology. Public Library of Science, 2012.https://doi.org/10.1371/journal.pbio.1001300 .

Konrad, Matthias, Meghan Vyleta, Fabian Theis, Miriam Stock, Martina Klatt, Verena Drescher, Carsten Marr, Line V Ugelvig, and Sylvia Cremer. “Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.”https://doi.org/10.5061/dryad.sv37s__Dryad, 2012.https://doi.org/10.5061/dryad.sv37s .

Aeschbacher, Simon, Andreas Futschik, and Mark Beaumont. “Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates.”https://doi.org/10.5061/dryad.274b1__Dryad, 2012.https://doi.org/10.5061/dryad.274b1 .

Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.”https://doi.org/10.5061/dryad.61649__Dryad, 2012.https://doi.org/10.5061/dryad.61649 .

Kim, Sang Yeol, Jungeun Lee, Leor Eshed-Williams, Daniel Zilberman, and Z. Renee Sung. “EM and PR Cooperate to Repress Key Regulators of Arabidopsis Development.”https://doi.org/10.1371/journal.pgen.1002512__PLoS Genetics. Public Library of Science, 2012.https://doi.org/10.1371/journal.pgen.1002512 .

Coleman-Derr, Devin, and Daniel Zilberman. “Deposition of Histone Variant A.Z within Gene Bodies Regulates Responsive Genes.”https://doi.org/10.1371/journal.pgen.1002988__PLoS Genetics. Public Library of Science, 2012.https://doi.org/10.1371/journal.pgen.1002988 .

Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy, Precision, and Memory by Plant Chromatin Organization.”https://doi.org/10.1016/j.gde.2012.01.007__Current Opinion in Genetics and Development. Elsevier, 2012.https://doi.org/10.1016/j.gde.2012.01.007 .

Lohse, Konrad, Nicholas H Barton, George Melika, and Graham Stone. “A Likelihood Based Comparison of Population Histories in a Parasitoid Guild.”https://doi.org/10.1111/j.1365-294X.2012.05700.x__Molecular Ecology. Wiley-Blackwell, 2012.https://doi.org/10.1111/j.1365-294X.2012.05700.x .

Lohse, Konrad, Nicholas H Barton, Graham Stone, and George Melika. “Data from: A Likelihood-Based Comparison of Population Histories in a Parasitoid Guild.”https://doi.org/10.5061/DRYAD.0G0FS__Dryad, 2012.https://doi.org/10.5061/DRYAD.0G0FS .

Bouajjani, Ahmed, Cezara Dragoi, Constantin Enea, and Mihaela Sighireanu. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.”https://doi.org/10.1007/978-3-642-33386-6_14__In Automated Technology for Verification and Analysis, 7561:167–82. LNCS. Berlin, Heidelberg: Springer, 2012.https://doi.org/10.1007/978-3-642-33386-6_14 .

Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, and Danupon Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”https://doi.org/10.1007/978-3-642-33090-2_27__In Algorithms – ESA 2012, 7501:301–12. Springer, 2012.https://doi.org/10.1007/978-3-642-33090-2_27 .

Grebenshchikov, Sergey, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, and Andrey Rybalchenko. “HSF(C): A Software Verifier Based on Horn Clauses.”https://doi.org/10.1007/978-3-642-28756-5_46__In Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, 7214:549–51. LNCS. Berlin, Heidelberg: Springer, 2012.https://doi.org/10.1007/978-3-642-28756-5_46 .

Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.”https://doi.org/10.1007/978-3-642-33386-6_10__In Automated Technology for Verification and Analysis, 7561:107–21. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.https://doi.org/10.1007/978-3-642-33386-6_10 .

Zufferey, Damien, Thomas Wies, and Thomas A Henzinger. “Ideal Abstractions for Well Structured Transition Systems,”https://doi.org/10.1007/978-3-642-27940-9_29__7148:445–60. Springer, 2012.https://doi.org/10.1007/978-3-642-27940-9_29 .

Diaz Jr, Luis, Richard Williams, Jian Wu, Isaac Kinde, Joel Hecht, Jordan Berlin, Benjamin Allen, et al. “The Molecular Evolution of Acquired Resistance to Targeted EGFR Blockade in Colorectal Cancers.”https://doi.org/10.1038/nature11219__Nature. Nature Publishing Group, 2012.https://doi.org/10.1038/nature11219 .

Chatterjee, Krishnendu, Johannes Reiter, and Martin Nowak. “Evolutionary Dynamics of Biological Auctions.”https://doi.org/10.1016/j.tpb.2011.11.003__Theoretical Population Biology. Academic Press, 2012.https://doi.org/10.1016/j.tpb.2011.11.003 .

Kim, Sooyun, José Guzmán, Hua Hu, and Peter M Jonas. “Active Dendrites Support Efficient Initiation of Dendritic Spikes in Hippocampal C Pyramidal Neurons.”https://doi.org/10.1038/nn.3060__Nature Neuroscience. Nature Publishing Group, 2012.https://doi.org/10.1038/nn.3060 .

Kim, Sooyun. “Active Properties of Hippocampal C Pyramidal Neuron Dendrites.” Institute of Science and Technology Austria, 2012.

Barone, Vanessa, and Carl-Philipp J Heisenberg. “Cell Adhesion in Embryo Morphogenesis.”https://doi.org/10.1016/j.ceb.2011.11.006__Current Opinion in Cell Biology. Elsevier, 2012.https://doi.org/10.1016/j.ceb.2011.11.006 .

Ibarra, Christian A., Xiaoqi Feng, Vera K. Schoft, Tzung-Fu Hsieh, Rie Uzawa, Jessica A. Rodrigues, Assaf Zemach, et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.”https://doi.org/10.1126/science.1224839__Science. American Association for the Advancement of Science, 2012.https://doi.org/10.1126/science.1224839 .

Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry. B. Verkin Institute for Low Temperature Physics and Engineering, 2012.

Yu, Jihun, Chris Wojtan, Greg Turk, and Chee Yap. “Explicit Mesh Surfaces for Particle Based Fluids.”https://doi.org/10.1111/j.1467-8659.2012.03062.x__In Computer Graphics Forum, 31:815–24. Wiley, 2012.https://doi.org/10.1111/j.1467-8659.2012.03062.x .

Danowski, Patrick. “Die Zeit des Abwartens ist vorbei!” BuB - Forum Bibliothek und Information. Fachzeitschrift des BIB – Berufsverband Information Bibliothek, 2012.

Danowski, Patrick. “Zwischen Technologie und Information.” Büchereiperspektiven. Büchereiverband Österreichs, 2012.

Kroemer, Oliver, Christoph Lampert, and Jan Peters. “Multi-Modal Learning for Dynamic Tactile Sensing.” Deutsches Zentrum für Luft und Raumfahrt, 2012.

Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space for the Shortest Networks.”https://doi.org/10.4213/rm9503__Russian Mathematical Surveys. Russian Academy of Sciences, 2012.https://doi.org/10.4213/rm9503 .

Quadrianto, Novi, Christoph Lampert, and Chao Chen. “The Most Persistent Soft-Clique in a Set of Sampled Graphs.” In Proceedings of the 29th International Conference on Machine Learning, 211–18. ML Research Press, 2012.

Pausinger, Florian. “Weak Multipliers for Generalized van Der Corput Sequences.”https://doi.org/10.5802/jtnb.819__Journal de Theorie Des Nombres Des Bordeaux. Université de Bordeaux, 2012.https://doi.org/10.5802/jtnb.819 .

Edelsbrunner, Herbert, Oleg Musin, Alexey Ukhalov, Olga Yakimova, Vladislav Alexeev, Victoriya Bogaevskaya, Andrey Gorohov, and Margarita Preobrazhenskaya. “Fractal and computational geometry for generalizing cartographic objects.” Modeling and Analysis of Information Systems. Russian Academy of Sciences, 2012.

Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Solving Recursion-Free Horn Clauses over LI+UIF.”https://doi.org/10.1007/978-3-642-25318-8_16__edited by Hongseok Yang, 7078:188–203. Springer, 2011.https://doi.org/10.1007/978-3-642-25318-8_16 .

Ion, Adrian, Joao Carreira, and Cristian Sminchisescu. “Probabilistic Joint Image Segmentation and Labeling.” In NIPS Proceedings, 24:1827–35. Neural Information Processing Systems Foundation, 2011.

Sheng, Yu, Barbara Cutler, Chao Chen, and Joshua Nasman. “Perceptual Global Illumination Cancellation in Complex Projection Environments.”https://doi.org/10.1111/j.1467-8659.2011.01985.x__Computer Graphics Forum. Wiley-Blackwell, 2011.https://doi.org/10.1111/j.1467-8659.2011.01985.x .

Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.”https://doi.org/10.1007/s00454-010-9322-8__Discrete &; Computational Geometry. Springer, 2011.https://doi.org/10.1007/s00454-010-9322-8 .

Smutny, Michael, Selwin Wu, Guillermo Gomez, Sabine Mangold, Alpha Yap, and Nicholas Hamilton. “Multicomponent Analysis of Junctional Movements Regulated by Myosin II Isoforms at the Epithelial Zonula Adherens.”https://doi.org/10.1371/journal.pone.0022458__PLoS One. Public Library of Science, 2011.https://doi.org/10.1371/journal.pone.0022458 .

Ruprecht, Verena, Markus Axmann, Stefan Wieser, and Gerhard Schuetz. “What Can We Learn from Single Molecule Trajectories?”https://doi.org/10.2174/138920311798841753__Current Protein &; Peptide Science. Bentham Science Publishers, 2011.https://doi.org/10.2174/138920311798841753 .

Henzinger, Thomas A, Anmol Singh, Vasu Singh, Thomas Wies, and Damien Zufferey. “Static Scheduling in Clouds,” 1–6. USENIX, 2011.

Henzinger, Thomas A, and Maria Mateescu. “Tail Approximation for the Chemical Master Equation.” Tampere International Center for Signal Processing, 2011.

Henzinger, Thomas A, and Maria Mateescu. “Propagation Models for Computing Biochemical Reaction Networks,”https://doi.org/10.1145/2037509.2037510__1–3. Springer, 2011.https://doi.org/10.1145/2037509.2037510 .

Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Specification-Centered Robustness.”https://doi.org/10.1109/SIES.2011.5953660__In 6th IEEE International Symposium on Industrial and Embedded Systems, 176–85. IEEE, 2011.https://doi.org/10.1109/SIES.2011.5953660 .

Eggermann, Emmanuel, and Peter M Jonas. “How the ‘Slow’ Ca(2+) Buffer Parvalbumin Affects Transmitter Release in Nanodomain Coupling Regimes at GABAergic Synapses.”https://doi.org/10.1038/nn.3002__Nature Neuroscience. Nature Publishing Group, 2011.https://doi.org/10.1038/nn.3002 .

Van De Weygaert, Rien, Gert Vegter, Herbert Edelsbrunner, Bernard Jones, Pratyush Pranav, Changbom Park, Wojciech Hellwing, et al. “Alpha, Betti and the Megaparsec Universe: On the Topology of the Cosmic Web.”https://doi.org/10.1007/978-3-642-25249-5_3__In Transactions on Computational Science XIV, edited by Marina Gavrilova, Kenneth Tan, and Mir Mostafavi, 6970:60–101. Special Issue on Voronoi Diagrams and Delaunay Triangulation. Springer, 2011.https://doi.org/10.1007/978-3-642-25249-5_3 .

Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.”https://doi.org/10.1145/1998196.1998225__In Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, 187–96. ACM, 2011.https://doi.org/10.1145/1998196.1998225 .

Kerber, Michael, and Michael Sagraloff. “A Note on the Complexity of Real Algebraic Hypersurfaces.”https://doi.org/10.1007/s00373-011-1020-7__Graphs and Combinatorics. Springer, 2011.https://doi.org/10.1007/s00373-011-1020-7 .

Kerber, Michael, and Michael Sagraloff. “Root Refinement for Real Polynomials,”https://doi.org/10.1145/1993886.1993920__209–16. Springer, 2011.https://doi.org/10.1145/1993886.1993920 .

Berberich, Eric, Michael Hemmer, and Michael Kerber. “A Generic Algebraic Kernel for Non Linear Geometric Applications,”https://doi.org/10.1145/1998196.1998224__179–86. ACM, 2011.https://doi.org/10.1145/1998196.1998224 .

Edelsbrunner, Herbert, János Pach, and Günter Ziegler. “Letter from the New Editors-in-Chief.”https://doi.org/10.1007/s00454-010-9313-9__Discrete &; Computational Geometry. Springer, 2011.https://doi.org/10.1007/s00454-010-9313-9 .

Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “A Theory of Synchronous Relational Interfaces.”https://doi.org/10.1145/1985342.1985345__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2011.https://doi.org/10.1145/1985342.1985345 .

Halalai, Raluca, Thomas A Henzinger, and Vasu Singh. “Quantitative Evaluation of BFT Protocols,”https://doi.org/10.1109/QEST.2011.40__255–64. IEEE, 2011.https://doi.org/10.1109/QEST.2011.40 .

Chatterjee, Krishnendu, and Ritankar Majumdar. “Minimum Attention Controller Synthesis for Omega Regular Objectives.”https://doi.org/10.1007/978-3-642-24310-3_11__edited by Uli Fahrenberg and Stavros Tripakis, 6919:145–59. Springer, 2011.https://doi.org/10.1007/978-3-642-24310-3_11 .

Chatterjee, Krishnendu, Laurent Doyen, and Rohit Singh. “On Memoryless Quantitative Objectives.”https://doi.org/10.1007/978-3-642-22953-4_13__edited by Olaf Owe, Martin Steffen, and Jan Arne Telle, 6914:148–59. Springer, 2011.https://doi.org/10.1007/978-3-642-22953-4_13 .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Qualitative Concurrent Parity Games.”https://doi.org/10.1145/1970398.1970404__ACM Transactions on Computational Logic (TOCL). ACM, 2011.https://doi.org/10.1145/1970398.1970404 .

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, David Harel, and Thomas A Henzinger. “Biology as Reactivity.”https://doi.org/10.1145/2001269.2001289__Communications of the ACM. ACM, 2011.https://doi.org/10.1145/2001269.2001289 .

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 .

Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology,”https://doi.org/10.1145/1998196.1998228__207–16. ACM, 2011.https://doi.org/10.1145/1998196.1998228 .

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 .

Pernia-Andrade, Alejandro, and Peter M Jonas. “The Multiple Faces of RIM.”https://doi.org/10.1016/j.neuron.2011.01.010__Neuron. Elsevier, 2011.https://doi.org/10.1016/j.neuron.2011.01.010 .

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 .

Plachta, Nicolas, Mark Tobias Bollenbach, Shirley Pease, Scott Fraser, and Periklis Pantazis. “Oct4 Kinetics Predict Cell Lineage Patterning in the Early Mammalian Embryo.”https://doi.org/10.1038/ncb2154__Nature Cell Biology. Nature Publishing Group, 2011.https://doi.org/10.1038/ncb2154 .

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 .

Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta Sci. Math. (Szeged). Szegedi Tudományegyetem, 2011.

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 .

Wang, Bei, Herbert Edelsbrunner, and Dmitriy Morozov. “Computing Elevation Maxima by Searching the Gauss Sphere.”https://doi.org/10.1145/1963190.1970375__Journal of Experimental Algorithmics. ACM, 2011.https://doi.org/10.1145/1963190.1970375 .

Wagner, Hubert, Chao Chen, and Erald Vuçini. “Efficient Computation of Persistent Homology for Cubical Data.”https://doi.org/10.1007/978-3-642-23175-9_7__In Topological Methods in Data Analysis and Visualization II, edited by Ronald Peikert, Helwig Hauser, Hamish Carr, and Raphael Fuchs, 91–106. Springer, 2011.https://doi.org/10.1007/978-3-642-23175-9_7 .

Chen, Chao, and Michael Kerber. “Persistent Homology Computation with a Twist,” 197–200. TU Dortmund, 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 .

Alur, Rajeev, and Pavol Cerny. “Streaming Transducers for Algorithmic Verification of Single Pass List Processing Programs,”https://doi.org/10.1145/1926385.1926454__46:599–610. ACM, 2011.https://doi.org/10.1145/1926385.1926454 .

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 .

Wang, Zhikun, Christoph Lampert, Katharina Mülling, Bernhard Schölkopf, and Jan Peters. “Learning Anticipation Policies for Robot Table Tennis,”https://doi.org/10.1109/IROS.2011.6094892__332–37. IEEE, 2011.https://doi.org/10.1109/IROS.2011.6094892 .

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 .