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.

Li, Wenhua, et al. “Morphology Evolution of Cu2xS Nanoparticles: From Spheres to Dodecahedrons.”10.1039/c1cc13803k__Chemical Communications, vol. 47, no. 37, Royal Society of Chemistry (RSC) , 2011, pp. 10332–34, doi:10.1039/c1cc13803k.

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.

Alpichshev, Zhanybek, et al. “STM Imaging of a Bound State along a Step on the Surface of the Topological Insulator Bi2Te3.”10.1103/PhysRevB.84.041104__Physical Review B - Condensed Matter and Materials Physics, vol. 84, no. 4, American Physical Society, 2011, doi:10.1103/PhysRevB.84.041104.

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.

Furutani, Masahiko, et al. “Polar Localized NP-like Proteins Regulate Polarity and Endocytosis of PIN-FORMED Auxin Efflux Carriers.”10.1242/dev.057745__Development, vol. 138, no. 10, Company of Biologists, 2011, pp. 2069–78, doi:10.1242/dev.057745.

Kitakura, Saeko, et al. “Clathrin Mediates Endocytosis and Polar Distribution of PIN Auxin Transporters in Arabidopsis.”10.1105/tpc.111.083030__Plant Cell, vol. 23, no. 5, American Society of Plant Biologists, 2011, pp. 1920–31, doi:10.1105/tpc.111.083030.

Ding, Zhaojun, et al. “Light-Mediated Polarization of the PIN3 Auxin Transporter for the Phototropic Response in Arabidopsis.”10.1038/ncb2208__Nature Cell Biology, vol. 13, no. 4, Nature Publishing Group, 2011, pp. 447–53, doi:10.1038/ncb2208.

Feraru, Elena, et al. “PIN Polarity Maintenance by the Cell Wall in Arabidopsis.”10.1016/j.cub.2011.01.036__Current Biology, vol. 21, no. 4, Cell Press, 2011, pp. 338–43, doi:10.1016/j.cub.2011.01.036.

Balla, Jozef, et al. “Competitive Canalization of PIN Dependent Auxin Flow from Axillary Buds Controls Pea Bud Outgrowth.”10.1111/j.1365-313X.2010.04443.x__Plant Journal, vol. 65, no. 4, Wiley-Blackwell, 2011, pp. 571–77, doi:10.1111/j.1365-313X.2010.04443.x.

Robinson, David, et al. “AR Localizes to the Golgi and the Trans Golgi Network.”10.1105/tpc.110.082099__Plant Cell, vol. 23, no. 3, American Society of Plant Biologists, 2011, pp. 846–49, doi:10.1105/tpc.110.082099.

Zwiewka, Marta, et al. “The AP 3 Adaptor Complex Is Required for Vacuolar Function in Arabidopsis.”10.1038/cr.2011.99__Cell Research, vol. 21, no. 12, Nature Publishing Group, 2011, pp. 1711–22, doi:10.1038/cr.2011.99.

Kleine Vehn, Jürgen, et al. “Recycling, Clustering and Endocytosis Jointly Maintain PIN Auxin Carrier Polarity at the Plasma Membrane.”10.1038/msb.2011.72__Molecular Systems Biology, vol. 7, Nature Publishing Group, 2011, doi:10.1038/msb.2011.72.

Vanneste, Steffen, et al. “Developmental Regulation of CYCs Contributes to Tissue-Specific Proliferation in Arabidopsis .”10.1038/emboj.2011.240__EMBO Journal, vol. 30, no. 16, Wiley-Blackwell, 2011, pp. 3430–41, doi:10.1038/emboj.2011.240.

Drakakaki, Georgia, et al. “Clusters of Bioactive Compounds Target Dynamic Endomembrane Networks in Vivo.”10.1073/pnas.1108581108__PNAS, vol. 108, no. 43, National Academy of Sciences, 2011, pp. 17850–55, doi:10.1073/pnas.1108581108.

Dubrovsky, Joseph, et al. “Auxin Minimum Defines a Developmental Window for Lateral Root Initiation.” 10.1111/j.1469-8137.2011.03757.x__New Phytologist, vol. 191, no. 4, Wiley-Blackwell, 2011, pp. 970–83, doi: 10.1111/j.1469-8137.2011.03757.x.

Marhavý, Peter, et al. “Cytokinin Modulates Endocytic Trafficking of PIN1 Auxin Efflux Carrier to Control Plant Organogenesis.”10.1016/j.devcel.2011.08.014__Developmental Cell, vol. 21, no. 4, Cell Press, 2011, pp. 796–804, doi:10.1016/j.devcel.2011.08.014.

Wabnik, Krzysztof T., et al. “Prototype Cell-to-Cell Auxin Transport Mechanism by Intracellular Auxin Compartmentalization.”10.1016/j.tplants.2011.05.002__Trends in Plant Science, vol. 16, no. 9, Cell Press, 2011, pp. 468–75, doi:10.1016/j.tplants.2011.05.002.

Sullivan, David, et al. “Relationships between Hippocampal Sharp Waves Ripples and Fast Gamma Oscillation Influence of Dentate and Entorhinal Cortical Activity.”10.1523/JNEUROSCI.0294-11.2011__Journal of Neuroscience, vol. 31, no. 23, Society for Neuroscience, 2011, pp. 8605–16, doi:10.1523/JNEUROSCI.0294-11.2011.

Tasic, Bosiljka, et al. “Site Specific Integrase Mediated Transgenesis in Mice via Pronuclear Injection.”10.1073/pnas.1019507108__PNAS, vol. 108, no. 19, National Academy of Sciences, 2011, pp. 7902–07, doi:10.1073/pnas.1019507108.

Degennaro, Matthew, et al. “Peroxiredoxin Stabilization of DE-Cadherin Promotes Primordial Germ Cell Adhesion.”10.1016/j.devcel.2010.12.007__Developmental Cell, vol. 20, no. 2, Cell Press, 2011, pp. 233–43, doi:10.1016/j.devcel.2010.12.007.

Faust, Sebastian, et al. Tamper Proof Circuits How to Trade Leakage for Tamper Resilience. Vol. 6755, no. Part 1, Springer, 2011, pp. 391–402, doi:10.1007/978-3-642-22006-7_33.

Jain, Abhishek, and Krzysztof Z. Pietrzak. Parallel Repetition for Leakage Resilience Amplification Revisited. Vol. 6597, Springer, 2011, pp. 58–69, doi:10.1007/978-3-642-19571-6_5.

Prentice, Jason, et al. “Fast, Scalable, Bayesian Spike Identification for Multi-Electrode Arrays.”10.1371/journal.pone.0019884__PLoS One, vol. 6, no. 7, Public Library of Science, 2011, doi:10.1371/journal.pone.0019884.

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.

Vila, Roger, et al. “A Phylogenetic Revision of the Glaucopsyche Section (Lepidoptera: Lycaenidae), with Special Focus on the Phengaris-Maculinea Clade.”10.1016/j.ympev.2011.05.016__Molecular Phylogenetics and Evolution, vol. 61, no. 1, Elsevier, 2011, pp. 237–43, doi:10.1016/j.ympev.2011.05.016.

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.

Boker, Udi, and Orna Kupferman. Co-Büching Them All. Edited by Martin Hofmann, vol. 6604, Springer, 2011, pp. 184–98, doi:10.1007/978-3-642-19805-2_13.

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.

Chatterjee, Krishnendu, and Nathanaël Fijalkow. Finitary Languages. Vol. 6638, Springer, 2011, pp. 216–26, doi:10.1007/978-3-642-21254-3_16.

Brázdil, Tomás, et al. Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes. 5970225, IEEE, 2011, doi:10.1109/LICS.2011.10.

Chatterjee, Krishnendu, and Vinayak Prabhu. Synthesis of Memory Efficient Real Time Controllers for Safety Objectives. Springer, 2011, pp. 221–30, doi:10.1145/1967701.1967734.

Chatterjee, Krishnendu. Graph Games with Reachability Objectives. Edited by Giorgo Delzanno and Igor Potapov, vol. 6945, Springer, 2011, pp. 1–1, doi:10.1007/978-3-642-24288-5_1.

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

Boker, Udi, and Thomas A. Henzinger. Determinizing Discounted-Sum Automata. Vol. 12, Springer, 2011, pp. 82–96, doi:10.4230/LIPIcs.CSL.2011.82.

Cerny, Pavol, et al. The Complexity of Quantitative Information Flow Problems. IEEE, 2011, pp. 205–17, doi:10.1109/CSF.2011.21.

Henzinger, Thomas A., et al. Scheduling Large Jobs by Abstraction Refinement. ACM, 2011, pp. 329–42, doi:10.1145/1966445.1966476.

Cerny, Pavol, and Thomas A. Henzinger. From Boolean to Quantitative Synthesis. ACM, 2011, pp. 149–54, doi:10.1145/2038642.2038666.

Chatterjee, Krishnendu, et al. The Complexity of Request-Response Games. Edited by Adrian-Horia Dediu et al., vol. 6638, Springer, 2011, pp. 227–37, doi:10.1007/978-3-642-21254-3_17.

Ibáñez, Maria, et al. “Growth Kinetics of Asymmetric Bi2 Nanocrystals: Size Distribution Focusing in Nanorods.”10.1021/jp2002904__Journal of Physical Chemistry C, vol. 115, no. 16, American Chemical Society, 2011, pp. 7947–55, doi:10.1021/jp2002904.

Row, Richard, et al. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.”10.1016/j.ydbio.2011.03.025__Developmental Biology, vol. 354, no. 1, Elsevier, 2011, pp. 102–10, doi:10.1016/j.ydbio.2011.03.025.

Bollenbach, Mark Tobias, and Roy Kishony. “Resolution of Gene Regulatory Conflicts Caused by Combinations of Antibiotics.”10.1016/j.molcel.2011.04.016__Molecular Cell, vol. 42, no. 4, Cell Press, 2011, pp. 413–25, doi: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.”10.1017/S0016672311000115__Genetical Research, vol. 93, no. 3, Cambridge University Press, 2011, pp. 221–32, doi:10.1017/S0016672311000115.

Edelsbrunner, Herbert, et al. “Quantifying Transversality by Measuring the Robustness of Intersections.”10.1007/s10208-011-9090-8__Foundations of Computational Mathematics, vol. 11, no. 3, Springer, 2011, pp. 345–61, doi:10.1007/s10208-011-9090-8.

Bendich, Paul, and John Harer. “Persistent Intersection Homology.”10.1007/s10208-010-9081-1__Foundations of Computational Mathematics, vol. 11, no. 3, Springer, 2011, pp. 305–36, doi:10.1007/s10208-010-9081-1.

Ugelvig, Line V., et al. “Reconstructing Eight Decades of Genetic Variation in an Isolated Danish Population of the Large Blue Butterfly Maculinea Arion.”10.1186/1471-2148-11-201__BMC Evolutionary Biology, vol. 11, no. 201, 201, BioMed Central, 2011, doi:10.1186/1471-2148-11-201.

Tkadik, Gasper, et al. “Natural Images from the Birthplace of the Human Eye.”10.1371/journal.pone.0020409__PLoS One, vol. 6, no. 6, e20409, Public Library of Science, 2011, doi:10.1371/journal.pone.0020409.

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

Blaschko, Matthew, et al. “Semi Supervised Kernel Canonical Correlation Analysis with Application to Human FMRI.”10.1016/j.patrec.2011.02.011__Pattern Recognition Letters, vol. 32, no. 11, Elsevier, 2011, pp. 1572–83, doi:10.1016/j.patrec.2011.02.011.

Kroemer, Oliver, et al. “Learning Dynamic Tactile Sensing with Robust Vision Based Training.”10.1109/TRO.2011.2121130__IEEE Transactions on Robotics, vol. 27, no. 3, IEEE, 2011, pp. 545–57, doi:10.1109/TRO.2011.2121130.

Schrempf, Alexandra, et al. “Social Influence on Age and Reproduction Reduced Lifespan and Fecundity in Multi Queen Ant Colonies.”10.1111/j.1420-9101.2011.02278.x__Journal of Evolutionary Biology, vol. 24, no. 7, Wiley-Blackwell, 2011, pp. 1455–61, doi:10.1111/j.1420-9101.2011.02278.x.

Sixt, Michael K. “Interstitial Locomotion of Leukocytes.”10.1016/j.imlet.2011.02.013__Immunology Letters, vol. 138, no. 1, Elsevier, 2011, pp. 32–34, doi:10.1016/j.imlet.2011.02.013.

Heisenberg, Carl-Philipp J. “Invited Lectures10.1111/j.1742-4658.2011.08136.x__Symposia Area.”10.1111/j.1742-4658.2011.08136.x__FEBS Journal, vol. 278, no. , Wiley-Blackwell, 2011, pp. 24–24, doi:10.1111/j.1742-4658.2011.08136.x.

Cremer, Sylvia, et al. “Competition and Opportunity Shape the Reproductive Tactics of Males in the Ant Cardiocondyla Obscurior.”10.1371/journal.pone.0017323__PLoS One, vol. 6, no. 3, e17323, Public Library of Science, 2011, doi:10.1371/journal.pone.0017323.

Little, Shawn, et al. “The Formation of the Bicoid Morphogen Gradient Requires Protein Movement from Anteriorly Localized Source.”10.1371/journal.pbio.1000596__PLoS Biology, vol. 9, no. 3, e1000596, Public Library of Science, 2011, doi:10.1371/journal.pbio.1000596.

Janovjak, Harald L., and Ehud Isacoff. “Structure-Based Design of Light-Controlled Proteins.”10.1007/978-1-61779-031-7_13__Photosensitive Molecules for the Control of Biological Function, vol. 55, Springer, 2011, pp. 233–66, doi:10.1007/978-1-61779-031-7_13.

Hollatz, Claudia, et al. “The Amazon River System as an Ecological Barrier Driving Genetic Differentiation of the Pink Dolphin (Inia Geoffrensis).”10.1111/j.1095-8312.2011.01616.x__Biological Journal of the Linnean Society, vol. 102, no. 4, Wiley, 2011, pp. 812–27, doi:10.1111/j.1095-8312.2011.01616.x.

Pavan, Ana, et al. “Patterns of Diversification in Two Species of Short-Tailed Bats (Carollia Gray, 1838): The Effects of Historical Fragmentation of Brazilian Rainforests.”10.1111/j.1095-8312.2010.01601.x__Biological Journal of the Linnean Society, vol. 102, no. 3, Wiley-Blackwell, 2011, pp. 527–39, doi:10.1111/j.1095-8312.2010.01601.x.

Barton, Nicholas H. “Estimating Linkage Disequilibria.”10.1038/hdy.2010.67__Heredity, vol. 106, no. 2, Nature Publishing Group, 2011, pp. 205–06, doi:10.1038/hdy.2010.67.

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

Didier, Frédéric, et al. “Approximation of Event Probabilities in Noisy Cellular Processes.”10.1016/j.tcs.2010.10.022__Theoretical Computer Science, vol. 412, no. 21, Elsevier, 2011, pp. 2128–41, doi: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.”10.1523/JNEUROSCI.6398-10.2011__European Journal of Neuroscience, vol. 31, no. 12, Wiley-Blackwell, 2011, pp. 4593–606, doi:10.1523/JNEUROSCI.6398-10.2011.

Schlögl, Alois, et al. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.”10.1155/2011/935364__Computational Intelligence and Neuroscience, vol. 2011, 935364, Hindawi Publishing Corporation, 2011, doi:10.1155/2011/935364.

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

Schraivogel, Daniel, et al. “CAMT Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.”10.1038/emboj.2011.301__EMBO Journal, vol. 30, no. 20, Wiley-Blackwell, 2011, pp. 4309–22, doi:10.1038/emboj.2011.301.

Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.”10.1007/s10703-011-0131-3__Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi: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, doi:10.15479/AT:IST-2011-0009.

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

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

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

Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv, ArXiv, 2011, pp. 1–51.

Boker, Udi, et al. Temporal Specifications with Accumulative Values. 5970226, IEEE, 2011, doi:10.1109/LICS.2011.33.

Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.

Chen, Chao, et al. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011, doi:10.15479/AT:IST-2011-0002.

Wies, Thomas, et al. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011, doi:10.15479/AT:IST-2011-0005.

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

Chen, Chao, et al. “Enforcing Topological Constraints in Random Field Image Segmentation.”10.1109/CVPR.2011.5995503__CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–96, doi:10.1109/CVPR.2011.5995503.

Wies, Thomas, et al. An Efficient Decision Procedure for Imperative Tree Data Structures. Vol. 6803, Springer, 2011, pp. 476–91, doi:10.1007/978-3-642-22438-6_36.

Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi:10.1007/978-3-642-22110-1_20.