Rose, Tobias, et al. “Developmental Refinement of Vesicle Cycling at Schaffer Collateral Synapses.”10.1016/j.neuron.2013.01.021__Neuron, vol. 77, no. 6, Elsevier, 2013, pp. 1109–21, doi:10.1016/j.neuron.2013.01.021.

Chatterjee, Krishnendu, et al. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.”10.1016/j.jcss.2012.12.001__Journal of Computer and System Sciences, vol. 79, no. 5, Elsevier, 2013, pp. 640–57, doi:10.1016/j.jcss.2012.12.001.

Tkadik, Gasper, et al. “The Simplest Maximum Entropy Model for Collective Behavior in a Neural Network.”10.1088/1742-5468/2013/03/P03011__Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3, 011, IOP Publishing Ltd., 2013, doi:10.1088/1742-5468/2013/03/P03011.

Berry, Michael, et al. “A Simple Method for Estimating the Entropy of Neural Activity.”10.1088/1742-5468/2013/03/P03015__Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3, 015, IOP Publishing Ltd., 2013, doi:10.1088/1742-5468/2013/03/P03015.

Szobota, Stephanie, et al. “Optical Control of Ligand-Gated Ion Channels.”10.1007/978-1-62703-351-0_32__Methods in Molecular Biology, vol. 998, Springer, 2013, pp. 417–35, doi:10.1007/978-1-62703-351-0_32.

Dupret, David, et al. “Dynamic Reconfiguration of Hippocampal Interneuron Circuits during Spatial Learning.”10.1016/j.neuron.2013.01.033__Neuron, vol. 78, no. 1, Elsevier, 2013, pp. 166–80, doi:10.1016/j.neuron.2013.01.033.

Hippenmeyer, Simon, et al. “Mosaic Analysis with Double Markers Reveals Cell Type Specific Paternal Growth Dominance.”10.1016/j.celrep.2013.02.002__Cell Reports, vol. 3, no. 3, Cell Press, 2013, pp. 960–67, doi:10.1016/j.celrep.2013.02.002.

Levitz, Joshua, et al. “Optical Control of Metabotropic Glutamate Receptors.”10.1038/nn.3346__Nature Neuroscience, vol. 16, Nature Publishing Group, 2013, pp. 507–16, doi:10.1038/nn.3346.

Bendich, Paul, et al. “Homology and Robustness of Level and Interlevel Sets.”10.4310/HHA.2013.v15.n1.a3__Homology, Homotopy and Applications, vol. 15, no. 1, International Press, 2013, pp. 51–72, doi:10.4310/HHA.2013.v15.n1.a3.

Granot Atedgi, Einat, et al. “Stimulus-Dependent Maximum Entropy Models of Neural Population Codes.”10.1371/journal.pcbi.1002922__PLoS Computational Biology, vol. 9, no. 3, e1002922, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1002922.

Tay, Hwee, et al. “Lethal Giant Larvae 2 Regulates Development of the Ciliated Organ Kupffer’s Vesicle.”10.1242/dev.087130__Development, vol. 140, no. 7, Company of Biologists, 2013, pp. 1550–59, doi:10.1242/dev.087130.

Botella Soler, Vicente, et al. “Lyapunov Exponent and Topological Entropy Plateaus in Piecewise Linear Maps.”10.1088/1751-8113/46/12/125101__Journal of Physics A: Mathematical and Theoretical, vol. 46, no. 12, 125101, IOP Publishing Ltd., 2013, doi:10.1088/1751-8113/46/12/125101.

Wang, Bangjun, et al. “Arabidopsis TWISTED DWAR Functionally Interacts with Auxin Exporter ABC on the Root Plasma Membrane.”10.1105/tpc.112.105999__Plant Cell, vol. 25, no. 1, American Society of Plant Biologists, 2013, pp. 202–14, doi:10.1105/tpc.112.105999.

Marhavý, Peter, et al. “Auxin Reflux between the Endodermis and Pericycle Promotes Lateral Root Initiation.”10.1038/emboj.2012.303__EMBO Journal, vol. 32, no. 1, Wiley-Blackwell, 2013, pp. 149–58, doi:10.1038/emboj.2012.303.

Löfke, Christian, et al. “Asymmetric Gibberellin Signaling Regulates Vacuolar Trafficking of PIN Auxin Transporters during Root Gravitropism.”10.1073/pnas.1300107110__PNAS, vol. 110, no. 9, National Academy of Sciences, 2013, pp. 3627–32, doi:10.1073/pnas.1300107110.

Kucera, Antonin, et al., editors. Mathematical and Engineering Methods in Computer Science. Vol. 7721, Springer, 2013, pp. 1–228, doi:10.1007/978-3-642-36046-6.

Maître, Jean-Léon, et al. “Cell Adhesion Mechanics of Zebrafish Gastrulation.”10.1051/medsci/2013292011__Medecine Sciences, vol. 29, no. 2, Éditions Médicales et Scientifiques, 2013, pp. 147–50, doi:10.1051/medsci/2013292011.

Chmelik, Martin, and Vojtbch ehák. Controllable-Choice Message Sequence Graphs. Vol. 7721, Springer, 2013, pp. 118–30, doi:10.1007/978-3-642-36046-6_12.

Fang, Suqin, et al. “Genotypic Recognition and Spatial Responses by Rice Roots.”10.1073/pnas.1222821110__PNAS, vol. 110, no. 7, National Academy of Sciences, 2013, pp. 2670–75, doi:10.1073/pnas.1222821110.

Chen, Chao, et al. Computing the M Most Probable Modes of a Graphical Model. Vol. 31, JMLR, 2013, pp. 161–69.

Kerber, Michael, and Herbert Edelsbrunner. “D Kinetic Alpha Complexes and Their Implementation.”10.1137/1.9781611972931.6__2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2013, pp. 70–77, doi:10.1137/1.9781611972931.6.

Kelleher, Jerome, et al. “Coalescent Simulation in Continuous Space.”10.1093/bioinformatics/btt067__Bioinformatics, vol. 29, no. 7, Oxford University Press, 2013, pp. 955–56, doi:10.1093/bioinformatics/btt067.

Barton, Nicholas H., et al. “Modelling Evolution in a Spatial Continuum.”10.1088/1742-5468/2013/01/P01002__Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 1, IOP Publishing Ltd., 2013, doi:10.1088/1742-5468/2013/01/P01002.

Barton, Nicholas H. “Does Hybridisation Influence Speciation?  .”10.1111/jeb.12015__Journal of Evolutionary Biology, vol. 26, no. 2, Wiley-Blackwell, 2013, pp. 267–69, doi:10.1111/jeb.12015.

Barton, Nicholas H. “Recombination and Sex.” The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–33.

Tkadik, Gasper, et al. “Retinal Metric: A Stimulus Distance Measure Derived from Population Neural Responses.”10.1103/PhysRevLett.110.058104__Physical Review Letters, vol. 110, no. 5, 058104, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.058104.

Castanon, Irinka, et al. “Anthrax Toxin Receptor 2a Controls Mitotic Spindle Positioning.”10.1038/ncb2632__Nature Cell Biology, vol. 15, no. 1, Nature Publishing Group, 2013, pp. 28–39, doi:10.1038/ncb2632.

Baster, Pawel, et al. “SCF^TI AFB-Auxin Signalling Regulates PIN Vacuolar Trafficking and Auxin Fluxes during Root Gravitropism.”10.1038/emboj.2012.310__EMBO Journal, vol. 32, no. 2, Wiley-Blackwell, 2013, pp. 260–74, doi:10.1038/emboj.2012.310.

Compagnon, Julien, and Carl-Philipp J. Heisenberg. “Neurulation Coordinating Cell Polarisation and Lumen Formation.”10.1038/emboj.2012.325__EMBO Journal, vol. 32, no. 1, Wiley-Blackwell, 2013, pp. 1–3, doi:10.1038/emboj.2012.325.

Krenn, Stephan, et al. A Counterexample to the Chain Rule for Conditional HILL Entropy, and What Deniable Encryption Has to Do with It. Edited by Amit Sahai, vol. 7785, Springer, 2013, pp. 23–39, doi:10.1007/978-3-642-36594-2_2.

Tommasi, Tatiana, et al. Beyond Dataset Bias: Multi-Task Unaligned Shared Knowledge Transfer. Vol. 7724, Springer, 2013, pp. 1–15, doi:10.1007/978-3-642-37331-2_1.

Chatterjee, Krishnendu, et al. “Code Aware Resource Management.”10.1007/s10703-012-0170-4__Formal Methods in System Design, vol. 42, no. 2, Springer, 2013, pp. 142–74, doi:10.1007/s10703-012-0170-4.

Edelsbrunner, Herbert, et al. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.”10.1007/s00454-013-9517-x__Discrete &; Computational Geometry, vol. 49, no. 4, Springer, 2013, pp. 797–822, doi:10.1007/s00454-013-9517-x.

Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology.”10.1016/j.comgeo.2012.02.010__Computational Geometry: Theory and Applications, vol. 46, no. 4, Elsevier, 2013, pp. 435–47, doi:10.1016/j.comgeo.2012.02.010.

Dubuis, Julien, et al. “Positional Information, in Bits.”10.1073/pnas.1315642110__PNAS, vol. 110, no. 41, National Academy of Sciences, 2013, pp. 16301–08, doi:10.1073/pnas.1315642110.

Quadrianto, Novi, and Christoph Lampert. “Kernel Based Learning.”10.1007/978-1-4419-9863-7_604__Encyclopedia of Systems Biology, edited by Werner Dubitzky et al., vol. 3, Springer, 2013, pp. 1069–1069, doi:10.1007/978-1-4419-9863-7_604.

Chatterjee, Krishnendu, et al. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.”10.1007/s10703-012-0180-2__Formal Methods in System Design, vol. 42, no. 3, Springer, 2013, pp. 301–27, doi:10.1007/s10703-012-0180-2.

Pickup, Melinda, et al. “Source Population Characteristics Affect Heterosis Following Genetic Rescue of Fragmented Plant Populations.”10.1098/rspb.2012.2058__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1750, 2058, Royal Society, The, 2013, doi:10.1098/rspb.2012.2058.

Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the Maternal Immune Activation Model: Using Translatable Measures to Explore Targeted Interventions.”10.3389/fnbeh.2013.00217__Frontiers in Behavioral Neuroscience, vol. 7, no. DEC, Frontiers Research Foundation, 2013, doi:10.3389/fnbeh.2013.00217.

Wakamoto, Yurichi, et al. “Dynamic Persistence of Antibiotic-Stressed Mycobacteria.”10.1126/science.1229858__Science, vol. 339, no. 6115, American Association for the Advancement of Science, 2013, pp. 91–95, doi:10.1126/science.1229858.

Ward, Melissa, et al. “Evolutionary Interactions between Haemagglutinin and Neuraminidase in Avian Influenza.”10.1186/1471-2148-13-222__BMC Evolutionary Biology, vol. 13, no. 1, 222, BioMed Central, 2013, doi:10.1186/1471-2148-13-222.

Cozzuol, Mario, et al. “A New Species of Tapir from the Amazon.”10.1644/12-MAMM-A-169.1__Journal of Mammalogy, vol. 94, no. 6, Oxford University Press, 2013, pp. 1331–45, doi:10.1644/12-MAMM-A-169.1.

Greimel, Katrin, et al. “Banning Toxic Heavy-Metal Catalysts from Paints: Enzymatic Cross-Linking of Alkyd Resins.”10.1039/c2gc36666e__Green Chemistry, vol. 15, no. 2, Royal Society of Chemistry, 2013, pp. 381–88, doi:10.1039/c2gc36666e.

Blazy, Olivier, et al. “Short Blind Signatures.”10.3233/JCS-130477__Journal of Computer Security, vol. 21, no. 5, IOS Press, 2013, pp. 627–61, doi:10.3233/JCS-130477.

Tarazona Santos, Eduardo, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NC, and NC: Functional Implications.”10.1093/molbev/mst119__Molecular Biology and Evolution, vol. 30, no. 9, Oxford University Press, 2013, pp. 2157–67, doi:10.1093/molbev/mst119.

Di Rubbo, Simone, et al. “The Clathrin Adaptor Complex AP-2 Mediates Endocytosis of Brassinosteroid INSENSITIV in Arabidopsis.”10.1105/tpc.113.114058__Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2986–97, doi:10.1105/tpc.113.114058.

Kim, Soo, et al. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.”10.1105/tpc.113.114264__Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2970–85, doi:10.1105/tpc.113.114264.

Pbndík, Ales, et al. “Regulation of Auxin Homeostasis and Gradients in Arabidopsis Roots through the Formation of the Indole-3-Acetic Acid Catabolite 2-Oxindole-3-Acetic Acid.”10.1105/tpc.113.114421__Plant Cell, vol. 25, no. 10, American Society of Plant Biologists, 2013, pp. 3858–70, doi:10.1105/tpc.113.114421.

Bargmann, Bastiaan, et al. “A Map of Cell Typespecific Auxin Responses.”10.1038/msb.2013.40__Molecular Systems Biology, vol. 9, no. 1, 688, Nature Publishing Group, 2013, doi:10.1038/msb.2013.40.

Fuertbauer, Elke, et al. “Thymic Medullar Conduits-Associated Podoplanin Promotes Natural Regulatory T Cells.”10.1016/j.imlet.2013.07.007__Immunology Letters, vol. 154, no. 1–2, Elsevier, 2013, pp. 31–41, doi:10.1016/j.imlet.2013.07.007.

Chatterjee, Krishnendu, et al. Looking at Mean-Payoff and Total-Payoff through Windows. Vol. 8172, Springer, 2013, pp. 118–32, doi:10.1007/978-3-319-02444-8_10.

Robert, Hélène, et al. “Local Auxin Sources Orient the Apical Basal Axis in Arabidopsis Embryos.”10.1016/j.cub.2013.09.039__Current Biology, vol. 23, no. 24, Cell Press, 2013, pp. 2506–12, doi:10.1016/j.cub.2013.09.039.

Wabnik, Krzysztof T., et al. “Modeling Framework for the Establishment of the Apical-Basal Embryonic Axis in Plants.”10.1016/j.cub.2013.10.038__Current Biology, vol. 23, no. 24, Cell Press, 2013, pp. 2513–18, doi:10.1016/j.cub.2013.10.038.

Reiter, Johannes, et al. TTP: Tool for Tumor Progression. IST Austria, 2013, doi:10.15479/AT:IST-2013-104-v1-1.

Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 165–80, doi:10.4230/LIPIcs.CSL.2013.165.

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-126-v1-1.

Henzinger, Thomas A., and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013, doi:10.15479/AT:IST-2013-123-v1-1.

Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives. IST Austria, 2013, doi:10.15479/AT:IST-2013-109-v1-1.

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-127-v1-1.

Porsche, Jana. Initiatives and Projects Related to RD. IST Austria, 2013.

Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-128-v1-1.

Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.

Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.”10.1109/FMCAD.2013.6679386__13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.

Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-v1-1.

Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi:10.15479/AT:IST-2013-141-v1-1.

Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.

Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-146-v1-1.

Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. Vol. 8052, Springer, 2013, pp. 273–87, doi:10.1007/978-3-642-40184-8_20.

Henzinger, Thomas A., et al. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013, doi:10.15479/AT:IST-2013-124-v1-1.

Chatterjee, Krishnendu, and Yaron Velner. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Vol. 8052, Springer, 2013, pp. 500–15, doi:10.1007/978-3-642-40184-8_35.

O’Brien, José, and Eva Benková. “Cytokinin Cross Talking during Biotic and Abiotic Stress Responses.”10.3389/fpls.2013.00451__Frontiers in Plant Science, vol. 4, 451, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00451.

Cuesta, Candela, et al. “Systems Approaches to Study Root Architecture Dynamics.”10.3389/fpls.2013.00537__Frontiers in Plant Science, vol. 4, 537, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00537.

Zagorsky, Benjamin, et al. Forgiver Triumphs in Alternating Prisoner’s Dilemma . Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.s001.

Aeschbacher, Simon, et al. “Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. .”10.1111/mec.12165__Molecular Ecology, vol. 22, no. 4, Wiley-Blackwell, 2013, pp. 987–1002, doi:10.1111/mec.12165.

Tragust, Simon, et al. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.”10.1186/1471-2148-13-225__BMC Evolutionary Biology, vol. 13, no. 1, 225, BioMed Central, 2013, doi:10.1186/1471-2148-13-225.

Simmons, Kristina, et al. “Transformation of Stimulus Correlations by the Retina.”10.1371/journal.pcbi.1003344__PLoS Computational Biology, vol. 9, no. 12, e1003344, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1003344.

Hearn, Jack, et al. Data from: Likelihood-Based Inference of Population History from Low Coverage de Novo Genome Assemblies. Dryad, 2013, doi:10.5061/dryad.r3r60.

Stephens, Greg, et al. “Statistical Thermodynamics of Natural Images.”10.1103/PhysRevLett.110.018701__Physical Review Letters, vol. 110, no. 1, 018701, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.018701.

Weber, Michele, and Michael K. Sixt. “Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations.”10.1007/978-1-62703-426-5_14__Chemokines, edited by Astrid Cardona and Eroboghene Ubogu, vol. 1013, Humana Press, 2013, pp. 215–26, doi:10.1007/978-1-62703-426-5_14.

Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.”10.1007/978-3-642-39799-8_11__Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.

Chatterjee, Krishnendu, et al. “How to Travel between Languages.”10.1007/978-3-642-37064-9_20__7th International Conference on Language and Automata Theory and Applications, vol. 7810, Springer Nature, 2013, pp. 214–25, doi:10.1007/978-3-642-37064-9_20.

Edelsbrunner, Herbert. “Persistent Homology in Image Processing.”10.1007/978-3-642-38221-5_19__Graph-Based Representations in Pattern Recognition, vol. 7877, Springer Nature, 2013, pp. 182–83, doi:10.1007/978-3-642-38221-5_19.

Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405.

Bansal, Kshitij, et al. Structural Counter Abstraction. Edited by Nir Piterman and Scott Smolka, vol. 7795, Springer, 2013, pp. 62–77, doi:10.1007/978-3-642-36742-7_5.

Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. Institute of Science and Technology Austria, 2013.

Zagorsky, Benjamin, et al. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .”10.1371/journal.pone.0080814__PLoS One, vol. 8, no. 12, e80814, Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.

Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.”10.1111/eva.12020__Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020.

Boei, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.”10.7554/eLife.00747__ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747.

Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.”10.1007/978-3-642-39799-8_6__Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.

Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.

Tragust, Simon, et al. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.”10.1016/j.cub.2012.11.034__Current Biology, vol. 23, no. 1, Cell Press, 2013, pp. 76–82, doi:10.1016/j.cub.2012.11.034.

Brázdil, Tomás, et al. “Trading Performance for Stability in Markov Decision Processes.”10.1109/LICS.2013.39__28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.

Chatterjee, Krishnendu, et al. “Automated Analysis of Real-Time Scheduling Using Graph Games.”10.1145/2461328.2461356__Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–72, doi:10.1145/2461328.2461356.

Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” ICML’13 Proceedings of the 30th International Conference on International, vol. 28, no. 3, ML Research Press, 2013, pp. 145–53.

Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.”10.4161/psb.25688__Plant Signaling &; Behavior, vol. 8, no. 10, e25688, Taylor &; Francis, 2013, doi:10.4161/psb.25688.

Refardt, Dominik, et al. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.”10.1098/rspb.2012.3035__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1759, The Royal Society, 2013, doi:10.1098/rspb.2012.3035.

Refardt, Dominik, et al. Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection. Dryad, 2013, doi:10.5061/dryad.b1q2n.

Dziembowski, Stefan, et al. Proofs of Space. IST Austria, 2013.

zur Nedden, Stephanie, et al. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.”10.1007/978-1-4614-3903-5_6__Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., Springer, 2012, pp. 109–29, doi:10.1007/978-1-4614-3903-5_6.

Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.”10.1145/2393596.2393664__Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.