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

Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. Vol. 7213, Springer, 2012, pp. 270–85, doi:10.1007/978-3-642-28729-9_18.

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

Cerny, Pavol, et al. “Simulation Distances.”10.1016/j.tcs.2011.08.002__Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.

Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. ICML, 2012.

Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012, doi:10.15479/AT:IST-2012-0003.

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

Ibarra, Christian A., et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.”10.1126/science.1224839__Science, vol. 337, no. 6100, American Association for the Advancement of Science, 2012, pp. 1360–64, doi:10.1126/science.1224839.

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

Konrad, Matthias, et al. “Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.”10.1371/journal.pbio.1001300__PLoS Biology, vol. 10, no. 4, e1001300, Public Library of Science, 2012, doi:10.1371/journal.pbio.1001300.

Konrad, Matthias, et al. Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies. Dryad, 2012, doi:10.5061/dryad.sv37s.

Aeschbacher, Simon, et al. Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. Dryad, 2012, doi:10.5061/dryad.274b1.

Tragust, Simon, et al. Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison. Dryad, 2012, doi:10.5061/dryad.61649.

Kim, Sang Yeol, et al. “EM and PR Cooperate to Repress Key Regulators of Arabidopsis Development.”10.1371/journal.pgen.1002512__PLoS Genetics, vol. 8, no. 3, e1002512, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002512.

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

Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy, Precision, and Memory by Plant Chromatin Organization.”10.1016/j.gde.2012.01.007__Current Opinion in Genetics and Development, vol. 22, no. 2, Elsevier, 2012, pp. 132–38, doi:10.1016/j.gde.2012.01.007.

Lohse, Konrad, et al. “A Likelihood Based Comparison of Population Histories in a Parasitoid Guild.”10.1111/j.1365-294X.2012.05700.x__Molecular Ecology, vol. 21, no. 18, Wiley-Blackwell, 2012, pp. 4605–17, doi:10.1111/j.1365-294X.2012.05700.x.

Lohse, Konrad, et al. Data from: A Likelihood-Based Comparison of Population Histories in a Parasitoid Guild. Dryad, 2012, doi:10.5061/DRYAD.0G0FS.

Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.”10.1007/978-3-642-33386-6_14__Automated Technology for Verification and Analysis, vol. 7561, Springer, 2012, pp. 167–82, doi:10.1007/978-3-642-33386-6_14.

Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”10.1007/978-3-642-33090-2_27__Algorithms – ESA 2012, vol. 7501, Springer, 2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.

Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.”10.1007/978-3-642-28756-5_46__Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, doi:10.1007/978-3-642-28756-5_46.

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

Zufferey, Damien, et al. Ideal Abstractions for Well Structured Transition Systems. Vol. 7148, Springer, 2012, pp. 445–60, doi:10.1007/978-3-642-27940-9_29.

Diaz Jr, Luis, et al. “The Molecular Evolution of Acquired Resistance to Targeted EGFR Blockade in Colorectal Cancers.”10.1038/nature11219__Nature, vol. 486, no. 7404, Nature Publishing Group, 2012, pp. 537–40, doi:10.1038/nature11219.

Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.”10.1016/j.tpb.2011.11.003__Theoretical Population Biology, vol. 81, no. 1, Academic Press, 2012, pp. 69–80, doi:10.1016/j.tpb.2011.11.003.

Kim, Sooyun, et al. “Active Dendrites Support Efficient Initiation of Dendritic Spikes in Hippocampal C Pyramidal Neurons.”10.1038/nn.3060__Nature Neuroscience, vol. 15, no. 4, Nature Publishing Group, 2012, pp. 600–06, doi: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.”10.1016/j.ceb.2011.11.006__Current Opinion in Cell Biology, vol. 24, no. 1, Elsevier, 2012, pp. 148–53, doi:10.1016/j.ceb.2011.11.006.

Ibarra, Christian A., et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.”10.1126/science.1224839__Science, vol. 337, no. 6100, American Association for the Advancement of Science, 2012, pp. 1360–64, doi:10.1126/science.1224839.

Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1, B. Verkin Institute for Low Temperature Physics and Engineering, 2012, pp. 63–78.

Yu, Jihun, et al. “Explicit Mesh Surfaces for Particle Based Fluids.”10.1111/j.1467-8659.2012.03062.x__Computer Graphics Forum, vol. 31, no. 2, Wiley, 2012, pp. 815–24, doi:10.1111/j.1467-8659.2012.03062.x.

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

Danowski, Patrick. “Zwischen Technologie und Information.” Büchereiperspektiven, vol. 2012, no. 1, Büchereiverband Österreichs, 2012, p. 11.

Kroemer, Oliver, et al. 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.”10.4213/rm9503__Russian Mathematical Surveys, vol. 67, no. 6, Russian Academy of Sciences, 2012, pp. 1167–1168, doi:10.4213/rm9503.

Quadrianto, Novi, et al. “The Most Persistent Soft-Clique in a Set of Sampled Graphs.” Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–18.

Pausinger, Florian. “Weak Multipliers for Generalized van Der Corput Sequences.”10.5802/jtnb.819__Journal de Theorie Des Nombres Des Bordeaux, vol. 24, no. 3, Université de Bordeaux, 2012, pp. 729–49, doi:10.5802/jtnb.819.

Edelsbrunner, Herbert, et al. “Fractal and computational geometry for generalizing cartographic objects.” Modeling and Analysis of Information Systems, vol. 19, no. 6, Russian Academy of Sciences, 2012, pp. 152–60.

Gupta, Ashutosh, et al. Solving Recursion-Free Horn Clauses over LI+UIF. Edited by Hongseok Yang, vol. 7078, Springer, 2011, pp. 188–203, doi:10.1007/978-3-642-25318-8_16.

Ion, Adrian, et al. “Probabilistic Joint Image Segmentation and Labeling.” NIPS Proceedings, vol. 24, Neural Information Processing Systems Foundation, 2011, pp. 1827–35.

Sheng, Yu, et al. “Perceptual Global Illumination Cancellation in Complex Projection Environments.”10.1111/j.1467-8659.2011.01985.x__Computer Graphics Forum, vol. 30, no. 4, Wiley-Blackwell, 2011, pp. 1261–68, doi:10.1111/j.1467-8659.2011.01985.x.

Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.”10.1007/s00454-010-9322-8__Discrete &; Computational Geometry, vol. 45, no. 3, Springer, 2011, pp. 425–48, doi:10.1007/s00454-010-9322-8.

Smutny, Michael, et al. “Multicomponent Analysis of Junctional Movements Regulated by Myosin II Isoforms at the Epithelial Zonula Adherens.”10.1371/journal.pone.0022458__PLoS One, vol. 6, no. 7, Public Library of Science, 2011, doi:10.1371/journal.pone.0022458.

Ruprecht, Verena, et al. “What Can We Learn from Single Molecule Trajectories?”10.2174/138920311798841753__Current Protein &; Peptide Science, vol. 12, no. 8, Bentham Science Publishers, 2011, pp. 714–24, doi:10.2174/138920311798841753.

Henzinger, Thomas A., et al. Static Scheduling in Clouds. USENIX, 2011, pp. 1–6.

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. Springer, 2011, pp. 1–3, doi:10.1145/2037509.2037510.

Bloem, Roderick, et al. “Specification-Centered Robustness.”10.1109/SIES.2011.5953660__6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–85, doi: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.”10.1038/nn.3002__Nature Neuroscience, vol. 15, Nature Publishing Group, 2011, pp. 20–22, doi:10.1038/nn.3002.

Van De Weygaert, Rien, et al. “Alpha, Betti and the Megaparsec Universe: On the Topology of the Cosmic Web.”10.1007/978-3-642-25249-5_3__Transactions on Computational Science XIV, edited by Marina Gavrilova et al., vol. 6970, Springer, 2011, pp. 60–101, doi:10.1007/978-3-642-25249-5_3.

Berberich, Eric, et al. “Deconstructing Approximate Offsets.”10.1145/1998196.1998225__Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 187–96, doi:10.1145/1998196.1998225.

Kerber, Michael, and Michael Sagraloff. “A Note on the Complexity of Real Algebraic Hypersurfaces.”10.1007/s00373-011-1020-7__Graphs and Combinatorics, vol. 27, no. 3, Springer, 2011, pp. 419–30, doi:10.1007/s00373-011-1020-7.

Kerber, Michael, and Michael Sagraloff. Root Refinement for Real Polynomials. Springer, 2011, pp. 209–16, doi:10.1145/1993886.1993920.

Berberich, Eric, et al. A Generic Algebraic Kernel for Non Linear Geometric Applications. ACM, 2011, pp. 179–86, doi:10.1145/1998196.1998224.

Edelsbrunner, Herbert, et al. “Letter from the New Editors-in-Chief.”10.1007/s00454-010-9313-9__Discrete &; Computational Geometry, vol. 45, no. 1, Springer, 2011, pp. 1–2, doi:10.1007/s00454-010-9313-9.

Tripakis, Stavros, et al. “A Theory of Synchronous Relational Interfaces.”10.1145/1985342.1985345__ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, 14, ACM, 2011, doi:10.1145/1985342.1985345.

Halalai, Raluca, et al. Quantitative Evaluation of BFT Protocols. IEEE, 2011, pp. 255–64, doi:10.1109/QEST.2011.40.

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

Chatterjee, Krishnendu, et al. On Memoryless Quantitative Objectives. Edited by Olaf Owe et al., vol. 6914, Springer, 2011, pp. 148–59, doi:10.1007/978-3-642-22953-4_13.

Chatterjee, Krishnendu, et al. “Qualitative Concurrent Parity Games.”10.1145/1970398.1970404__ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4, 28, ACM, 2011, doi:10.1145/1970398.1970404.

Chatterjee, Krishnendu, and Nathanaël Fijalkow. A Reduction from Parity Games to Simple Stochastic Games. Vol. 54, EPTCS, 2011, pp. 74–86, doi:10.4204/EPTCS.54.6.

Fisher, Jasmin, et al. “Biology as Reactivity.”10.1145/2001269.2001289__Communications of the ACM, vol. 54, no. 10, ACM, 2011, pp. 72–82, doi:10.1145/2001269.2001289.

Fisher, Jasmin, et al. Dynamic Reactive Modules. Vol. 6901, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–18, doi:10.1007/978-3-642-23217-6_27.

Chatterjee, Krishnendu, et al. QUASY: Quantitative Synthesis Tool. Vol. 6605, Springer, 2011, pp. 267–71, doi:10.1007/978-3-642-19835-9_24.

Chen, Chao, and Michael Kerber. An Output Sensitive Algorithm for Persistent Homology. ACM, 2011, pp. 207–16, doi:10.1145/1998196.1998228.

Chatterjee, Krishnendu, et al. The Decidability Frontier for Probabilistic Automata on Infinite Words. ArXiv.

Abbot, Patrick, et al. “Inclusive Fitness Theory and Eusociality.”10.1038/nature09831__Nature, vol. 471, no. 7339, Nature Publishing Group, 2011, pp. –4, doi:10.1038/nature09831.

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

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

Krens, Gabriel, et al. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.”10.1073/pnas.1010767108__PNAS, vol. 108, no. 3, National Academy of Sciences, 2011, pp. –10, doi:10.1073/pnas.1010767108.

Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.”10.1093/sysbio/syq086__Systematic Biology, vol. 60, no. 2, Oxford University Press, 2011, pp. 218–25, doi:10.1093/sysbio/syq086.

Pernia-Andrade, Alejandro, and Peter M. Jonas. “The Multiple Faces of RIM.”10.1016/j.neuron.2011.01.010__Neuron, vol. 69, no. 2, Elsevier, 2011, pp. 185–87, doi:10.1016/j.neuron.2011.01.010.

Stockinger, Petra, et al. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.”10.1242/dev.071233__Development, vol. 138, no. 21, Company of Biologists, 2011, pp. 4673–83, doi:10.1242/dev.071233.

Polechova, Jitka, and Nicholas H. Barton. “Genetic Drift Widens the Expected Cline but Narrows the Expected Cline Width.”10.1534/genetics.111.129817__Genetics, vol. 189, no. 1, Genetics Society of America, 2011, pp. 227–35, doi:10.1534/genetics.111.129817.

Barton, Nicholas H., and Alison Etheridge. “The Relation between Reproductive Value and Genetic Contribution.”10.1534/genetics.111.127555__Genetics, vol. 188, no. 4, Genetics Society of America, 2011, pp. 953–73, doi:10.1534/genetics.111.127555.

de Vladar, Harold, and Nicholas H. Barton. “The Contribution of Statistical Physics to Evolutionary Biology.”10.1016/j.tree.2011.04.002__Trends in Ecology and Evolution, vol. 26, no. 8, Cell Press, 2011, pp. 424–32, doi: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.”10.1016/j.ceb.2011.07.004__Current Opinion in Cell Biology, vol. 23, no. 5, Elsevier, 2011, pp. 508–14, doi:10.1016/j.ceb.2011.07.004.

Janovjak, Harald L., et al. “Modern Ionotropic Glutamate Receptor with a K+ Selectivity Signature Sequence.”10.1038/ncomms1231__Nature Communications, vol. 2, no. 232, Nature Publishing Group, 2011, pp. 1–6, doi:10.1038/ncomms1231.

Plachta, Nicolas, et al. “Oct4 Kinetics Predict Cell Lineage Patterning in the Early Mammalian Embryo.”10.1038/ncb2154__Nature Cell Biology, vol. 13, no. 2, Nature Publishing Group, 2011, pp. 117–23, doi:10.1038/ncb2154.

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

Palero, Ferran, et al. “Scyllarus Arctus (Crustacea: Decapoda: Scyllaridae) Final Stage Phyllosoma Identified by DNA Analysis, with Morphological Description.”10.1017/S0025315410000287__Journal of the Marine Biological Association of the United Kingdom, vol. 91, no. 2, Cambridge University Press, 2011, pp. 485–92, doi:10.1017/S0025315410000287.

Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta Sci. Math. (Szeged), vol. 77, no. 1–2, Szegedi Tudományegyetem, 2011, pp. 359–67.

Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres by Diagonal Distortion in R^n.”10.1007/978-3-642-19391-0_2__Rainbow of Computer Science, edited by Cristian Calude et al., vol. 6570, Springer, 2011, pp. 20–35, doi:10.1007/978-3-642-19391-0_2.

Henzinger, Thomas A., et al. “Formalisms for Specifying Markovian Population Models.”10.1142/S0129054111008441__IJFCS: International Journal of Foundations of Computer Science, vol. 22, no. 4, World Scientific Publishing, 2011, pp. 823–41, doi:10.1142/S0129054111008441.

Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.”10.2168/LMCS-7(4:8)2011__Logical Methods in Computer Science, vol. 7, no. 4, International Federation of Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.

Wang, Bei, et al. “Computing Elevation Maxima by Searching the Gauss Sphere.”10.1145/1963190.1970375__Journal of Experimental Algorithmics, vol. 16, no. 2.2, ACM, 2011, pp. 1–13, doi:10.1145/1963190.1970375.

Wagner, Hubert, et al. “Efficient Computation of Persistent Homology for Cubical Data.”10.1007/978-3-642-23175-9_7__Topological Methods in Data Analysis and Visualization II, edited by Ronald Peikert et al., Springer, 2011, pp. 91–106, doi:10.1007/978-3-642-23175-9_7.

Chen, Chao, and Michael Kerber. Persistent Homology Computation with a Twist. TU Dortmund, 2011, pp. 197–200.

Raveendran, Karthik, et al. Hybrid Smoothed Particle Hydrodynamics. Edited by Stephen Spencer, ACM, 2011, pp. 33–42, doi:10.1145/2019406.2019411.

Wojtan, Chris, et al. Liquid Simulation with Mesh-Based Surface Tracking. 8, ACM, 2011, doi:10.1145/2037636.2037644.

Lohse, Konrad, et al. “A General Method for Calculating Likelihoods under the Coalescent Process.”10.1534/genetics.111.129569__Genetics, vol. 189, no. 3, Genetics Society of America, 2011, pp. 977–87, doi:10.1534/genetics.111.129569.

Zheng, Ying, et al. “Detailed Reconstruction of 3D Plant Root Shape.”10.1109/ICCV.2011.6126475__Proceedings of the IEEE International Conference on Computer Vision, 6126475, IEEE, 2011, doi:10.1109/ICCV.2011.6126475.

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

Edelsbrunner, Herbert. “Alpha Shapes - a Survey.” Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, edited by R van de Weygaert et al., Springer.

Almagor, Shaull, et al. What’s Decidable about Weighted Automata . Vol. 6996, Springer, 2011, pp. 482–91, doi:10.1007/978-3-642-24372-1_37.

Alur, Rajeev, and Pavol Cerny. Streaming Transducers for Algorithmic Verification of Single Pass List Processing Programs. Vol. 46, no. 1, ACM, 2011, pp. 599–610, doi:10.1145/1926385.1926454.

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

Wang, Zhikun, et al. Learning Anticipation Policies for Robot Table Tennis. IEEE, 2011, pp. 332–37, doi:10.1109/IROS.2011.6094892.

Chatterjee, Krishnendu, et al. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” ArXiv, ArXiv, 2011.

Chatterjee, Krishnendu, et al. Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 260–76, doi:10.1007/978-3-642-22110-1_21.