Li, Wenhua, Alexey Shavel, Roger Guzman, Javier Rubio Garcia, Cristina Flox, Jiandong Fan, Doris Cadavid, et al. “Morphology Evolution of Cu2xS Nanoparticles: From Spheres to Dodecahedrons.”https://doi.org/10.1039/c1cc13803k__Chemical Communications. Royal Society of Chemistry (RSC) , 2011.https://doi.org/10.1039/c1cc13803k .

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 .

Alpichshev, Zhanybek, J G Analytis, J H Chu, I R Fisher, and A Kapitulnik. “STM Imaging of a Bound State along a Step on the Surface of the Topological Insulator Bi2Te3.”https://doi.org/10.1103/PhysRevB.84.041104__Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2011.https://doi.org/10.1103/PhysRevB.84.041104 .

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 .

Furutani, Masahiko, Norihito Sakamoto, Shuhei Yoshida, Takahito Kajiwara, Hélène Robert, Jií Friml, and Masao Tasaka. “Polar Localized NP-like Proteins Regulate Polarity and Endocytosis of PIN-FORMED Auxin Efflux Carriers.”https://doi.org/10.1242/dev.057745__Development. Company of Biologists, 2011.https://doi.org/10.1242/dev.057745 .

Kitakura, Saeko, Steffen Vanneste, Stéphanie Robert, Christian Löfke, Thomas Teichmann, Hirokazu Tanaka, and Jií Friml. “Clathrin Mediates Endocytosis and Polar Distribution of PIN Auxin Transporters in Arabidopsis.”https://doi.org/10.1105/tpc.111.083030__Plant Cell. American Society of Plant Biologists, 2011.https://doi.org/10.1105/tpc.111.083030 .

Ding, Zhaojun, Carlos Galván Ampudia, Emilie Demarsy, ukasz angowski, Jürgen Kleine Vehn, Yuanwei Fan, Miyo Morita, et al. “Light-Mediated Polarization of the PIN3 Auxin Transporter for the Phototropic Response in Arabidopsis.”https://doi.org/10.1038/ncb2208__Nature Cell Biology. Nature Publishing Group, 2011.https://doi.org/10.1038/ncb2208 .

Feraru, Elena, Mugurel Feraru, Jürgen Kleine Vehn, Alexandre Martinière, Grégory Mouille, Steffen Vanneste, Samantha Vernhettes, John Runions, and Jií Friml. “PIN Polarity Maintenance by the Cell Wall in Arabidopsis.”https://doi.org/10.1016/j.cub.2011.01.036__Current Biology. Cell Press, 2011.https://doi.org/10.1016/j.cub.2011.01.036 .

Balla, Jozef, Petr Kalousek, Vilém Reinöhl, Jií Friml, and Stanislav Procházka. “Competitive Canalization of PIN Dependent Auxin Flow from Axillary Buds Controls Pea Bud Outgrowth.”https://doi.org/10.1111/j.1365-313X.2010.04443.x__Plant Journal. Wiley-Blackwell, 2011.https://doi.org/10.1111/j.1365-313X.2010.04443.x .

Robinson, David, David Scheuring, Satoshi Naramoto, and Jií Friml. “AR Localizes to the Golgi and the Trans Golgi Network.”https://doi.org/10.1105/tpc.110.082099__Plant Cell. American Society of Plant Biologists, 2011.https://doi.org/10.1105/tpc.110.082099 .

Zwiewka, Marta, Elena Feraru, Barbara Möller, Inhwan Hwang, Mugurel Feraru, Jürgen Kleine Vehn, Dolf Weijers, and Jií Friml. “The AP 3 Adaptor Complex Is Required for Vacuolar Function in Arabidopsis.”https://doi.org/10.1038/cr.2011.99__Cell Research. Nature Publishing Group, 2011.https://doi.org/10.1038/cr.2011.99 .

Kleine Vehn, Jürgen, Krzysztof T Wabnik, Alexandre Martinière, ukasz angowski, Katrin Willig, Satoshi Naramoto, Johannes Leitner, et al. “Recycling, Clustering and Endocytosis Jointly Maintain PIN Auxin Carrier Polarity at the Plasma Membrane.”https://doi.org/10.1038/msb.2011.72__Molecular Systems Biology. Nature Publishing Group, 2011.https://doi.org/10.1038/msb.2011.72 .

Vanneste, Steffen, Frederik Coppens, Eunkyoung Lee, Tyler Donner, Zidian Xie, Gert Van Isterdael, Stijn Dhondt, et al. “Developmental Regulation of CYCs Contributes to Tissue-Specific Proliferation in Arabidopsis .”https://doi.org/10.1038/emboj.2011.240__EMBO Journal. Wiley-Blackwell, 2011.https://doi.org/10.1038/emboj.2011.240 .

Drakakaki, Georgia, Stéphanie Robert, Anna Szatmári, Michelle Brown, Shingo Nagawa, Daniël Van Damme, Marylin Leonard, et al. “Clusters of Bioactive Compounds Target Dynamic Endomembrane Networks in Vivo.”https://doi.org/10.1073/pnas.1108581108__PNAS. National Academy of Sciences, 2011.https://doi.org/10.1073/pnas.1108581108 .

Dubrovsky, Joseph, Selene Napsucialy Mendivil, Jérôme Duclercq, Yan Cheng, Svetlana Shishkova, Maria Ivanchenko, Jií Friml, Angus Murphy, and Eva Benková. “Auxin Minimum Defines a Developmental Window for Lateral Root Initiation.”https://doi.org/ 10.1111/j.1469-8137.2011.03757.x__New Phytologist. Wiley-Blackwell, 2011.https://doi.org/ 10.1111/j.1469-8137.2011.03757.x .

Marhavý, Peter, Agnieszka Bielach, Lindy Abas, Anas Abuzeineh, Jérôme Duclercq, Hirokazu Tanaka, Markéta Paezová, et al. “Cytokinin Modulates Endocytic Trafficking of PIN1 Auxin Efflux Carrier to Control Plant Organogenesis.”https://doi.org/10.1016/j.devcel.2011.08.014__Developmental Cell. Cell Press, 2011.https://doi.org/10.1016/j.devcel.2011.08.014 .

Wabnik, Krzysztof T, Jürgen Kleine Vehn, Willy Govaerts, and Jií Friml. “Prototype Cell-to-Cell Auxin Transport Mechanism by Intracellular Auxin Compartmentalization.”https://doi.org/10.1016/j.tplants.2011.05.002__Trends in Plant Science. Cell Press, 2011.https://doi.org/10.1016/j.tplants.2011.05.002 .

Sullivan, David, Jozsef L Csicsvari, Kenji Mizuseki, Sean Montgomery, Kamran Diba, and György Buzsáki. “Relationships between Hippocampal Sharp Waves Ripples and Fast Gamma Oscillation Influence of Dentate and Entorhinal Cortical Activity.”https://doi.org/10.1523/JNEUROSCI.0294-11.2011__Journal of Neuroscience. Society for Neuroscience, 2011.https://doi.org/10.1523/JNEUROSCI.0294-11.2011 .

Tasic, Bosiljka, Simon Hippenmeyer, Charlene Wang, Matthew Gamboa, Hui Zong, Yanru Chen Tsai, and Liqun Luo. “Site Specific Integrase Mediated Transgenesis in Mice via Pronuclear Injection.”https://doi.org/10.1073/pnas.1019507108__PNAS. National Academy of Sciences, 2011.https://doi.org/10.1073/pnas.1019507108 .

Degennaro, Matthew, Thomas Hurd, Daria E Siekhaus, Benoit Biteau, Heinrich Jasper, and Ruth Lehmann. “Peroxiredoxin Stabilization of DE-Cadherin Promotes Primordial Germ Cell Adhesion.”https://doi.org/10.1016/j.devcel.2010.12.007__Developmental Cell. Cell Press, 2011.https://doi.org/10.1016/j.devcel.2010.12.007 .

Faust, Sebastian, Krzysztof Z Pietrzak, and Daniele Venturi. “Tamper Proof Circuits How to Trade Leakage for Tamper Resilience,”https://doi.org/10.1007/978-3-642-22006-7_33__6755:391–402. Springer, 2011.https://doi.org/10.1007/978-3-642-22006-7_33 .

Jain, Abhishek, and Krzysztof Z Pietrzak. “Parallel Repetition for Leakage Resilience Amplification Revisited,”https://doi.org/10.1007/978-3-642-19571-6_5__6597:58–69. Springer, 2011.https://doi.org/10.1007/978-3-642-19571-6_5 .

Prentice, Jason, Jan Homann, Kristina Simmons, Gasper Tkadik, Vijay Balasubramanian, and Philip Nelson. “Fast, Scalable, Bayesian Spike Identification for Multi-Electrode Arrays.”https://doi.org/10.1371/journal.pone.0019884__PLoS One. Public Library of Science, 2011.https://doi.org/10.1371/journal.pone.0019884 .

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 .

Vila, Roger, Naomi Pierce, David Nash, and Line V Ugelvig. “A Phylogenetic Revision of the Glaucopsyche Section (Lepidoptera: Lycaenidae), with Special Focus on the Phengaris-Maculinea Clade.”https://doi.org/10.1016/j.ympev.2011.05.016__Molecular Phylogenetics and Evolution. Elsevier, 2011.https://doi.org/10.1016/j.ympev.2011.05.016 .

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 .

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

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 .

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

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

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

Chatterjee, Krishnendu. “Graph Games with Reachability Objectives.”https://doi.org/10.1007/978-3-642-24288-5_1__edited by Giorgo Delzanno and Igor Potapov, 6945:1–1. Springer, 2011.https://doi.org/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,”https://doi.org/10.1137/1.9781611973082.101__1318–36. SIAM, 2011.https://doi.org/10.1137/1.9781611973082.101 .

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

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

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

Cerny, Pavol, and Thomas A Henzinger. “From Boolean to Quantitative Synthesis,”https://doi.org/10.1145/2038642.2038666__149–54. ACM, 2011.https://doi.org/10.1145/2038642.2038666 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “The Complexity of Request-Response Games.”https://doi.org/10.1007/978-3-642-21254-3_17__edited by Adrian-Horia Dediu, Shunsuke Inenaga, and Carlos Martín-Vide, 6638:227–37. Springer, 2011.https://doi.org/10.1007/978-3-642-21254-3_17 .

Ibáñez, Maria, Pablo Guardia, Alexey Shavel, Doris Cadavid, Jordi Arbiol, Joan Morante, and Andreu Cabot. “Growth Kinetics of Asymmetric Bi2 Nanocrystals: Size Distribution Focusing in Nanorods.”https://doi.org/10.1021/jp2002904__Journal of Physical Chemistry C. American Chemical Society, 2011.https://doi.org/10.1021/jp2002904 .

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

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

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

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

Bendich, Paul, and John Harer. “Persistent Intersection Homology.”https://doi.org/10.1007/s10208-010-9081-1__Foundations of Computational Mathematics. Springer, 2011.https://doi.org/10.1007/s10208-010-9081-1 .

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

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

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

Blaschko, Matthew, Jacquelyn Shelton, Andreas Bartels, Christoph Lampert, and Arthur Gretton. “Semi Supervised Kernel Canonical Correlation Analysis with Application to Human FMRI.”https://doi.org/10.1016/j.patrec.2011.02.011__Pattern Recognition Letters. Elsevier, 2011.https://doi.org/10.1016/j.patrec.2011.02.011 .

Kroemer, Oliver, Christoph Lampert, and Jan Peters. “Learning Dynamic Tactile Sensing with Robust Vision Based Training.”https://doi.org/10.1109/TRO.2011.2121130__IEEE Transactions on Robotics. IEEE, 2011.https://doi.org/10.1109/TRO.2011.2121130 .

Schrempf, Alexandra, Sylvia Cremer, and Jürgen Heinze. “Social Influence on Age and Reproduction Reduced Lifespan and Fecundity in Multi Queen Ant Colonies.”https://doi.org/10.1111/j.1420-9101.2011.02278.x__Journal of Evolutionary Biology. Wiley-Blackwell, 2011.https://doi.org/10.1111/j.1420-9101.2011.02278.x .

Sixt, Michael K. “Interstitial Locomotion of Leukocytes.”https://doi.org/10.1016/j.imlet.2011.02.013__Immunology Letters. Elsevier, 2011.https://doi.org/10.1016/j.imlet.2011.02.013 .

Heisenberg, Carl-Philipp J. “Invited Lectureshttps://doi.org/10.1111/j.1742-4658.2011.08136.x__Symposia Area.”https://doi.org/10.1111/j.1742-4658.2011.08136.x__FEBS Journal. Wiley-Blackwell, 2011.https://doi.org/10.1111/j.1742-4658.2011.08136.x .

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 .

Little, Shawn, Gasper Tkadik, Thomas Kneeland, Eric Wieschaus, and Thomas Gregor. “The Formation of the Bicoid Morphogen Gradient Requires Protein Movement from Anteriorly Localized Source.”https://doi.org/10.1371/journal.pbio.1000596__PLoS Biology. Public Library of Science, 2011.https://doi.org/10.1371/journal.pbio.1000596 .

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

Hollatz, Claudia, Sibelle Vilaça, Rodrigo A Fernandes Redondo, Míriam Marmontel, Cyndi Baker, and Fabrício Santos. “The Amazon River System as an Ecological Barrier Driving Genetic Differentiation of the Pink Dolphin (Inia Geoffrensis).”https://doi.org/10.1111/j.1095-8312.2011.01616.x__Biological Journal of the Linnean Society. Wiley, 2011.https://doi.org/10.1111/j.1095-8312.2011.01616.x .

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 .

Hosten, Onur. “Quantum Physics: How to Catch a Wave.”https://doi.org/10.1038/474170a__Nature. Nature Publishing Group, 2011.https://doi.org/10.1038/474170a .

Schmid, David, Shiraz Hazrat, Radhika Rangarajan, Onur Hosten, Stephan Quint, and Paul Kwiat. “Methods towards Achieving Precise Birefringent Focusing.”https://doi.org/10.1364/CLEO_AT.2011.JThB130__OSA, 2011.https://doi.org/10.1364/CLEO_AT.2011.JThB130 .

Vrijsen, Geert, Onur Hosten, Jongmin Lee, Simon Bernon, and Mark Kasevich. “Raman Lasing with a Cold Atom Gain Medium in a High-Finesse Optical Cavity.”https://doi.org/10.1103/PhysRevLett.107.063904__Physical Review Letters. American Physical Society, 2011.https://doi.org/10.1103/PhysRevLett.107.063904 .