Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolution on Graphs. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-190-v2-2 .

Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean-François Raskin. “Doomsday Equilibria for Omega-Regular Games.”https://doi.org/10.1007/978-3-642-54013-4_5__In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, 8318:78–97. Springer Nature, 2014.https://doi.org/10.1007/978-3-642-54013-4_5 .

Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. 1st ed. SpringerBriefs in Applied Sciences and Technology. Cham: Springer Nature, 2014.https://doi.org/10.1007/978-3-319-05957-0 .

Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria, n.d.

Kim, M. Yvonne, and Daniel Zilberman. “DNA Methylation as a System of Plant Genomic Immunity.”https://doi.org/10.1016/j.tplants.2014.01.014__Trends in Plant Science. Elsevier, 2014.https://doi.org/10.1016/j.tplants.2014.01.014 .

Lagator, Mato, Andrew Morgan, Paul Neve, and Nick Colegrave. “Role of Sex and Migration in Adaptation to Sink Environments.”https://doi.org/10.1111/evo.12440__Evolution. Wiley, 2014.https://doi.org/10.1111/evo.12440 .

Lagator, Mato, Andrew Morgan, Paul Neve, and Nick Colegrave. “Data from: Role of Sex and Migration in Adaptation to Sink Environments.”https://doi.org/10.5061/dryad.s42n1__Dryad, 2014.https://doi.org/10.5061/dryad.s42n1 .

Wolf, Stephan, Dino Mcmahon, Ka Lim, Christopher Pull, Suzanne Clark, Robert Paxton, and Juliet Osborne. “So near and yet so Far: Harmonic Radar Reveals Reduced Homing Ability of Nosema Infected Honeybees.”https://doi.org/10.1371/journal.pone.0103989__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0103989 .

Wolf, Stephan, Dino Mcmahon, Ka Lim, Christopher Pull, Suzanne Clark, Robert Paxton, and Juliet Osborne. “Supporting Information.”https://doi.org/10.1371/journal.pone.0103989.s003__Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0103989.s003 .

Huff, Jason T., and Daniel Zilberman. “Dnmt1-Independent CG Methylation Contributes to Nucleosome Positioning in Diverse Eukaryotes.”https://doi.org/10.1016/j.cell.2014.01.029__Cell. Elsevier, 2014.https://doi.org/10.1016/j.cell.2014.01.029 .

Mérai, Zsuzsanna, Nina Chumak, Marcelina García-Aguilar, Tzung-Fu Hsieh, Toshiro Nishimura, Vera K. Schoft, János Bindics, et al. “The AAA-ATPase Molecular Chaperone Cd/ Disassembles Sumoylated Centromeres, Decondenses Heterochromatin, and Activates Ribosomal RNA Genes.”https://doi.org/10.1073/pnas.1418564111__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2014.https://doi.org/10.1073/pnas.1418564111 .

Lovrics, Anna, Yu Gao, Bianka Juhász, István Bock, Helen Byrne, András Dinnyés, and Krisztián Kovács. “Boolean Modelling Reveals New Regulatory Connections between Transcription Factors Orchestrating the Development of the Ventral Spinal Cord.”https://doi.org/10.1371/journal.pone.0111430__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0111430 .

Lovrics, Anna, Yu Gao, Bianka Juhász, István Bock, Helen M. Byrne, András Dinnyés, and Krisztián Kovács. “Transition Probability between TF Expression States When Db Inhibits Nk.2.”https://doi.org/10.1371/journal.pone.0111430.s006__Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0111430.s006 .

Chatterjee, Krishnendu, Andreas Pavlogiannis, Ben Adlam, and Martin Nowak. “The Time Scale of Evolutionary Innovation.”https://doi.org/10.1371/journal.pcbi.1003818__PLoS Computational Biology. Public Library of Science, 2014.https://doi.org/10.1371/journal.pcbi.1003818 .

Westhus, Claudia, Line V Ugelvig, Edouard Tourdot, Jürgen Heinze, Claudie Doums, and Sylvia Cremer. “Increased Grooming after Repeated Brood Care Provides Sanitary Benefits in a Clonal Ant.”https://doi.org/10.1007/s00265-014-1778-8__Behavioral Ecology and Sociobiology. Springer, 2014.https://doi.org/10.1007/s00265-014-1778-8 .

Lagator, Mato, Nick Colegrave, and Paul Neve. “Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.”https://doi.org/10.1098/rspb.2014.1679__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2014.https://doi.org/10.1098/rspb.2014.1679 .

Konrad, Matthias, Anna V Grasse, Simon Tragust, and Sylvia Cremer. “Data from: Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.”https://doi.org/10.5061/dryad.vm0vc__Dryad, 2014.https://doi.org/10.5061/dryad.vm0vc .

Lagator, Mato, Nick Colegrave, and Paul Neve. “Data from: Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.”https://doi.org/10.5061/dryad.85dn7__Dryad, 2014.https://doi.org/10.5061/dryad.85dn7 .

Chatterjee, Krishnendu, Andreas Pavlogiannis, Ben Adlam, and Martin Novak. “Detailed Proofs for ‘The Time Scale of Evolutionary Innovation.’”https://doi.org/10.1371/journal.pcbi.1003818.s001__Public Library of Science, 2014.https://doi.org/10.1371/journal.pcbi.1003818.s001 .

Hearn, Jack, Graham Stone, Lynsey Bunnefeld, James Nicholls, Nicholas H Barton, and Konrad Lohse. “Likelihood-Based Inference of Population History from Low-Coverage de Novo Genome Assemblies.”https://doi.org/10.1111/mec.12578__Molecular Ecology. Wiley-Blackwell, 2014.https://doi.org/10.1111/mec.12578 .

Tragust, Simon, Line V Ugelvig, Michel Chapuisat, Jürgen Heinze, and Sylvia Cremer. “Data from: Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.”https://doi.org/10.5061/dryad.nc0gc__Dryad, 2014.https://doi.org/10.5061/dryad.nc0gc .

Simmons, Kristina, Jason Prentice, Gasper Tkadik, Jan Homann, Heather Yee, Stephanie Palmer, Philip Nelson, and Vijay Balasubramanian. “Data from: Transformation of Stimulus Correlations by the Retina.”https://doi.org/10.5061/dryad.246qg__Dryad, 2014.https://doi.org/10.5061/dryad.246qg .

Dhar, Riddhiman, Tobias Bergmiller, and Andreas Wagner. “Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.”https://doi.org/10.1111/evo.12373__Evolution. Wiley, 2014.https://doi.org/10.1111/evo.12373 .

Dhar, Riddhiman, Tobias Bergmiller, and Andreas Wagner. “Data from: Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.”https://doi.org/10.5061/dryad.jc402__Dryad, 2014.https://doi.org/10.5061/dryad.jc402 .

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/s00453-013-9843-7__Algorithmica. Springer, 2014.https://doi.org/10.1007/s00453-013-9843-7 .

Zobel, Valentin, Jan Reininghaus, and Ingrid Hotz. “Visualization of Two-Dimensional Symmetric Positive Definite Tensor Fields Using the Heat Kernel Signature.”https://doi.org/10.1007/978-3-319-04099-8_16__In Topological Methods in Data Analysis and Visualization III , 249–62. Springer, 2014.https://doi.org/10.1007/978-3-319-04099-8_16 .

Smutny, Michael, Martin Behrndt, Pedro Campinho, Verena Ruprecht, and Carl-Philipp J Heisenberg. “UV Laser Ablation to Measure Cell and Tissue-Generated Forces in the Zebrafish Embryo in Vivo and Ex Vivo.”https://doi.org/10.1007/978-1-4939-1164-6_15__In Tissue Morphogenesis, edited by Celeste Nelson, 1189:219–35. Methods in Molecular Biology. New York, NY: Springer, 2014.https://doi.org/10.1007/978-1-4939-1164-6_15 .

Seiringer, Robert. “The Excitation Spectrum for Bose Fluids with Weak Interactions.”https://doi.org/10.1365/s13291-014-0083-9__Jahresbericht Der Deutschen Mathematiker-Vereinigung. Springer Nature, 2014.https://doi.org/10.1365/s13291-014-0083-9 .

Günther, David, Jan Reininghaus, Hans-Peter Seidel, and Tino Weinkauf. “Notes on the Simplification of the Morse-Smale Complex.”https://doi.org/10.1007/978-3-319-04099-8_9__In Topological Methods in Data Analysis and Visualization III., edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 135–50. Mathematics and Visualization. Cham: Springer Nature, 2014.https://doi.org/10.1007/978-3-319-04099-8_9 .

Konrad, Matthias. “Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus.” Institute of Science and Technology Austria, 2014.

Marhavá, Petra. “Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2014.

Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.”https://doi.org/10.1007/s10851-013-0468-x__Journal of Mathematical Imaging and Vision. Springer, 2014.https://doi.org/10.1007/s10851-013-0468-x .

Mabillard, Isaac, and Uli Wagner. “Eliminating Tverberg Points, I. An Analogue of the Whitney Trick.”https://doi.org/10.1145/2582112.2582134__In Proceedings of the Annual Symposium on Computational Geometry, 171–80. ACM, 2014.https://doi.org/10.1145/2582112.2582134 .

Novak, Sebastian. “Habitat Heterogeneities versus Spatial Type Frequency Variances as Driving Forces of Dispersal Evolution.”https://doi.org/10.1002/ece3.1289__Ecology and Evolution. Wiley-Blackwell, 2014.https://doi.org/10.1002/ece3.1289 .

Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Regression-Free Synthesis for Concurrency,”https://doi.org/10.1007/978-3-319-08867-9_38__8559:568–84. Springer, 2014.https://doi.org/10.1007/978-3-319-08867-9_38 .

Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. “Compositional Specifications for IOCO Testing.”https://doi.org/10.1109/ICST.2014.50__In IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE, 2014.https://doi.org/10.1109/ICST.2014.50 .

Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Qualitative Analysis of Probabilistic Systems,”https://doi.org/10.1007/978-3-319-08867-9_31__8559:473–90. Springer, 2014.https://doi.org/10.1007/978-3-319-08867-9_31 .

Mitosch, Karin, and Mark Tobias Bollenbach. “Bacterial Responses to Antibiotics and Their Combinations.”https://doi.org/10.1111/1758-2229.12190__Environmental Microbiology Reports. Wiley, 2014.https://doi.org/10.1111/1758-2229.12190 .

Gazi, Peter, Krzysztof Z Pietrzak, and Michal Rybar. “The Exact PRF-Security of NMAC and HMAC.”https://doi.org/10.1007/978-3-662-44371-2_7__edited by Juan Garay and Rosario Gennaro, 8616:113–30. Springer, 2014.https://doi.org/10.1007/978-3-662-44371-2_7 .

Compagnon, Julien, Vanessa Barone, Srivarsha Rajshekar, Rita Kottmeier, Kornelija Pranjic-Ferscha, Martin Behrndt, and Carl-Philipp J Heisenberg. “The Notochord Breaks Bilateral Symmetry by Controlling Cell Shapes in the Zebrafish Laterality Organ.”https://doi.org/10.1016/j.devcel.2014.11.003__Developmental Cell. Cell Press, 2014.https://doi.org/10.1016/j.devcel.2014.11.003 .

Grusch, Michael, Karin Schelch, Robert Riedler, Eva Gschaider-Reichhart, Christopher Differ, Walter Berger, Álvaro Inglés Prieto, and Harald L Janovjak. “Spatio-Temporally Precise Activation of Engineered Receptor Tyrosine Kinases by Light.”https://doi.org/10.15252/embj.201387695__EMBO Journal. Wiley-Blackwell, 2014.https://doi.org/10.15252/embj.201387695 .

Matousek, Jií, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Embeddability in the 3 Sphere Is Decidable.”https://doi.org/10.1145/2582112.2582137__In Proceedings of the Annual Symposium on Computational Geometry, 78–84. ACM, 2014.https://doi.org/10.1145/2582112.2582137 .

Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “PHAT – Persistent Homology Algorithms Toolbox.”https://doi.org/10.1007/978-3-662-44199-2_24__In ICMS 2014: International Congress on Mathematical Software, 8592:137–43. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014.https://doi.org/10.1007/978-3-662-44199-2_24 .

Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner. Quantitative Fair Simulation Games. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-315-v1-1 .

Cremer, Sylvia. “Gemeinsame Krankheitsabwehr in Ameisengesellschaften.” Zoologie. Deutsche Zoologische Gesellschaft, 2014.

Postiglione, Maria P, and Simon Hippenmeyer. “Monitoring Neurogenesis in the Cerebral Cortex: An Update.”https://doi.org/10.2217/fnl.14.18__Future Neurology. Future Science Group, 2014.https://doi.org/10.2217/fnl.14.18 .

Milenkovi, Ivan, Tatjana Petrov, and Gábor Kovács. “Patterns of Hippocampal Tau Pathology Differentiate Neurodegenerative Dementias.”https://doi.org/10.1159/000365548__Dementia and Geriatric Cognitive Disorders. Karger Publishers, 2014.https://doi.org/10.1159/000365548 .

Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” In Proceedings of the International Congress of Mathematicians, 3:214–36. International Congress of Mathematicians, 2014.

Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body Quantum Systems.” In Proceeding of the International Congress of Mathematicans, 3:1175–94. International Congress of Mathematicians, 2014.

Pentina, Anastasia, and Christoph Lampert. “A PAC-Bayesian Bound for Lifelong Learning,” 32:991–99. ML Research Press, 2014.

Behrndt, Martin. “Forces Driving Epithelial Spreading in Zebrafish Epiboly.” IST Austria, 2014.

Cremer, Sylvia. “Soziale Immunität: Wie Sich Der Staat Gegen Pathogene Wehrt  Bayerische Akademie Der Wissenschaften.” In Soziale Insekten in Einer Sich Wandelnden Welt, 43:65–72. Verlag Dr. Friedrich Pfeil, 2014.

Iglesias Ham, Mabel, Michael Kerber, and Caroline Uhler. “Sphere Packing with Limited Overlap.”https://doi.org/10.48550/arXiv.1401.0468__ArXiv, n.d.https://doi.org/10.48550/arXiv.1401.0468 .

Guo, Yujin, and Robert Seiringer. “On the Mass Concentration for Bose-Einstein Condensates with Attractive Interactions.”https://doi.org/10.1007/s11005-013-0667-9__Letters in Mathematical Physics. Springer, 2014.https://doi.org/10.1007/s11005-013-0667-9 .

Tkadik, Gasper, Olivier Marre, Dario Amodei, Elad Schneidman, William Bialek, and Michael Berry. “Searching for Collective Behavior in a Large Network of Sensory Neurons.”https://doi.org/10.1371/journal.pcbi.1003408__PLoS Computational Biology. Public Library of Science, 2014.https://doi.org/10.1371/journal.pcbi.1003408 .

Stroeymeyt, Nathalie, Barbara E Casillas Perez, and Sylvia Cremer. “Organisational Immunity in Social Insects.”https://doi.org/10.1016/j.cois.2014.09.001__Current Opinion in Insect Science. Elsevier, 2014.https://doi.org/10.1016/j.cois.2014.09.001 .

Schlögl, Alois, Peter M Jonas, C. Schmidt-Hieber, and S. J. Guzman. “Stimfit: A Fast Visualization and Analysis Environment for Cellular Neurophysiology.”https://doi.org/10.1515/bmt-2013-4181__Biomedical Engineering / Biomedizinische Technik. De Gruyter, 2013.https://doi.org/10.1515/bmt-2013-4181 .

Vanneste, Steffen, and Jií Friml. “Calcium: The Missing Link in Auxin Action.”https://doi.org/10.3390/plants2040650__Plants. MDPI, 2013.https://doi.org/10.3390/plants2040650 .

Haas, Andreas, Michael Lippautz, Thomas A Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, and Ali Sezgin. “Distributed Queues in Shared Memory: Multicore Performance and Scalability through Quantitative Relaxation.”https://doi.org/10.1145/2482767.2482789__In Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. ACM Press, 2013.https://doi.org/10.1145/2482767.2482789 .

Barton, Nicholas H. “Differentiation.”https://doi.org/10.1016/b978-0-12-384719-5.00031-9__In Encyclopedia of Biodiversity, 2nd ed., 508–15. Elsevier, 2013.https://doi.org/10.1016/b978-0-12-384719-5.00031-9 .

Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.”https://doi.org/10.4230/LIPIcs.CSL.2013.181__In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.181 .

Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.”https://doi.org/10.1109/FMCAD.2013.6679394__In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013.https://doi.org/10.1109/FMCAD.2013.6679394 .

Boker, Udi, Denis Kuperberg, Orna Kupferman, and Micha Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.”https://doi.org/10.1007/978-3-642-39212-2_11__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39212-2_11 .

Uhler, Caroline, Garvesh Raskutti, Peter Bühlmann, and Bin Yu. “Geometry of the Faithfulness Assumption in Causal Inference.”https://doi.org/10.1214/12-AOS1080__The Annals of Statistics. Institute of Mathematical Statistics, 2013.https://doi.org/10.1214/12-AOS1080 .

Uhler, Caroline, Aleksandra Slavkovic, and Stephen Fienberg. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.”https://doi.org/10.29012/jpc.v5i1.629__Journal of Privacy and Confidentiality . Carnegie Mellon University, 2013.https://doi.org/10.29012/jpc.v5i1.629 .

Henzinger, Thomas A, Christoph Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. “Quantitative Relaxation of Concurrent Data Structures.”https://doi.org/10.1145/2429069.2429109__In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 317–28. ACM, 2013.https://doi.org/10.1145/2429069.2429109 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Abstraction Refinement.”https://doi.org/10.1145/2429069.2429085__In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 115–28. ACM, 2013.https://doi.org/10.1145/2429069.2429085 .

Biedl, Therese, Martin Held, and Stefan Huber. “Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input,”https://doi.org/10.1109/ISVD.2013.11__37–46. IEEE, 2013.https://doi.org/10.1109/ISVD.2013.11 .

Biedl, Therese, Martin Held, and Stefan Huber. “Reconstructing Polygons from Embedded Straight Skeletons.” In 29th European Workshop on Computational Geometry, 95–98. TU Braunschweig, 2013.

Blanc, Régis, Ashutosh Gupta, Laura Kovács, and Bernhard Kragl. “Tree Interpolation in Vampire.”https://doi.org/10.1007/978-3-642-45221-5_13__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_13 .

Chatterjee, Krishnendu, Vojtbch Forejt, and Dominik Wojtczak. “Multi-Objective Discounted Reward Verification in Graphs and MDPs.”https://doi.org/10.1007/978-3-642-45221-5_17__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_17 .

Michaliszyn, Jakub, and Jan Otop. “Elementary Modal Logics over Transitive Structures.”https://doi.org/10.4230/LIPIcs.CSL.2013.563__Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.563 .

Matousek, Jií, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.”https://doi.org/10.1007/978-3-319-03841-4_41__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-319-03841-4_41 .

Alwen, Joel F, Stephan Krenn, Krzysztof Z Pietrzak, and Daniel Wichs. “Learning with Rounding, Revisited: New Reduction Properties and Applications.”https://doi.org/10.1007/978-3-642-40041-4_4__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40041-4_4 .

Kiltz, Eike, Krzysztof Z Pietrzak, and Mario Szegedy. “Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions.”https://doi.org/10.1007/978-3-642-40041-4_31__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40041-4_31 .

Bernhard, David, Georg Fuchsbauer, and Essam Ghadafi. “Efficient Signatures of Knowledge and DAA in the Standard Model.”https://doi.org/10.1007/978-3-642-38980-1_33__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-38980-1_33 .

Liang, Huixuan, Guanxi Xiao, Haifeng Yin, Simon Hippenmeyer, Jonathan Horowitz, and Troy Ghashghaei. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.”https://doi.org/10.1242/dev.085621__Development. Company of Biologists, 2013.https://doi.org/10.1242/dev.085621 .

Bachrach, Yoram, Pushmeet Kohli, Vladimir Kolmogorov, and Morteza Zadimoghaddam. “Optimal Coalition Structures in Cooperative Graph Games,” 81–87. AAAI Press, 2013.

Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.

Pérez Gómez, Raquel, Jana Slovakova, Noemí Rives Quinto, Alena Krejdí, and Ana Carmena. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.”https://doi.org/10.1242/jcs.125617__Journal of Cell Science. Company of Biologists, 2013.https://doi.org/10.1242/jcs.125617 .

Gridchyn, Igor, and Vladimir Kolmogorov. “Potts Model, Parametric Maxflow and k-Submodular Functions,”https://doi.org/10.1109/ICCV.2013.288__2320–27. IEEE, 2013.https://doi.org/10.1109/ICCV.2013.288 .

Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.”https://doi.org/10.1137/120872309__SIAM Review. Society for Industrial and Applied Mathematics , 2013.https://doi.org/10.1137/120872309 .

Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.”https://doi.org/10.1002/ece3.465__Ecology and Evolution. Wiley-Blackwell, 2013.https://doi.org/10.1002/ece3.465 .

Campinho, Pedro, Martin Behrndt, Jonas Ranft, Thomas Risler, Nicolas Minc, and Carl-Philipp J Heisenberg. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.”https://doi.org/10.1038/ncb2869__Nature Cell Biology. Nature Publishing Group, 2013.https://doi.org/10.1038/ncb2869 .

Pull, Christopher, William Hughes, and Markus Brown. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .”https://doi.org/10.1007/s00114-013-1115-5__Naturwissenschaften. Springer, 2013.https://doi.org/10.1007/s00114-013-1115-5 .

Campinho, Pedro, and Carl-Philipp J Heisenberg. “The Force and Effect of Cell Proliferation.”https://doi.org/10.1038/emboj.2013.225__EMBO Journal. Wiley-Blackwell, 2013.https://doi.org/10.1038/emboj.2013.225 .

Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.”https://doi.org/10.1007/s00450-013-0251-7__Computer Science Research and Development. Springer, 2013.https://doi.org/10.1007/s00450-013-0251-7 .

Boutté, Yohann, Kristoffer Jonsson, Heather Mcfarlane, Errin Johnson, Delphine Gendre, Ranjan Swarup, Jií Friml, Lacey Samuels, Stéphanie Robert, and Rishikesh Bhalerao. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.”https://doi.org/10.1073/pnas.1309057110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1309057110 .

Kazmar, Tomas, Evgeny Kvon, Alexander Stark, and Christoph Lampert. “Drosophila Embryo Stage Annotation Using Label Propagation.”https://doi.org/10.1109/ICCV.2013.139__IEEE, 2013.https://doi.org/10.1109/ICCV.2013.139 .

Chatterjee, Krishnendu, and Jiri Sgall, eds. Mathematical Foundations of Computer Science 2013. Vol. 8087. Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40313-2 .

Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Learning to Rank Using Privileged Information,”https://doi.org/10.1109/ICCV.2013.107__825–32. IEEE, 2013.https://doi.org/10.1109/ICCV.2013.107 .

Ferrara, Anna, Georg Fuchsbauer, and Bogdan Warinschi. “Cryptographically Enforced RBAC,”https://doi.org/10.1109/CSF.2013.15__115–29. IEEE, 2013.https://doi.org/10.1109/CSF.2013.15 .

Gupta, Ashutosh, and Thomas A Henzinger, eds. Computational Methods in Systems Biology. Vol. 8130. Springer, 2013.https://doi.org/10.1007/978-3-642-40708-6 .

Dragoi, Cezara, Constantin Enea, and Mihaela Sighireanu. “Local Shape Analysis for Overlaid Data Structures,”https://doi.org/10.1007/978-3-642-38856-9_10__7935:150–71. Springer, 2013.https://doi.org/10.1007/978-3-642-38856-9_10 .

Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis of AMBA AHB from Formal Specification: A Case Study.”https://doi.org/10.1007/s10009-011-0207-9__International Journal on Software Tools for Technology Transfer. Springer, 2013.https://doi.org/10.1007/s10009-011-0207-9 .

Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.”https://doi.org/10.1007/s11537-013-1264-5__Japanese Journal of Mathematics. Springer, 2013.https://doi.org/10.1007/s11537-013-1264-5 .

Desai, Ankush, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. “P: Safe Asynchronous Event-Driven Programming.”https://doi.org/10.1145/2491956.2462184__In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 321–31. ACM, 2013.https://doi.org/10.1145/2491956.2462184 .

Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Realization of Stripes and Slabs in Two and Three Dimensions.”https://doi.org/10.1103/PhysRevB.88.064401__Physical Review B. American Physical Society, 2013.https://doi.org/10.1103/PhysRevB.88.064401 .

Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.”https://doi.org/10.1007/s11515-013-1279-6__Frontiers in Biology. Springer, 2013.https://doi.org/10.1007/s11515-013-1279-6 .

Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.”https://doi.org/10.1016/j.endm.2013.07.008__Electronic Notes in Discrete Mathematics. Elsevier, 2013.https://doi.org/10.1016/j.endm.2013.07.008 .