Stephens, Greg, Thierry Mora, Gasper Tkadik, and William Bialek. “Statistical Thermodynamics of Natural Images.”https://doi.org/10.1103/PhysRevLett.110.018701__Physical Review Letters. American Physical Society, 2013.https://doi.org/10.1103/PhysRevLett.110.018701 .

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

Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.”https://doi.org/10.1007/978-3-642-39799-8_11__In Computer Aided Verification, 8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-39799-8_11 .

Chatterjee, Krishnendu, Siddhesh Chaubal, and Sasha Rubin. “How to Travel between Languages.”https://doi.org/10.1007/978-3-642-37064-9_20__In 7th International Conference on Language and Automata Theory and Applications, 7810:214–25. LNCS. Berlin, Heidelberg: Springer Nature, 2013.https://doi.org/10.1007/978-3-642-37064-9_20 .

Edelsbrunner, Herbert. “Persistent Homology in Image Processing.”https://doi.org/10.1007/978-3-642-38221-5_19__In Graph-Based Representations in Pattern Recognition, 7877:182–83. LNCS. Berlin, Heidelberg: Springer Nature, 2013.https://doi.org/10.1007/978-3-642-38221-5_19 .

Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.”https://doi.org/10.15479/at:ista:1405__Institute of Science and Technology Austria, 2013.https://doi.org/10.15479/at:ista:1405 .

Bansal, Kshitij, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural Counter Abstraction.”https://doi.org/10.1007/978-3-642-36742-7_5__Edited by Nir Piterman and Scott Smolka. Lecture Notes in Computer Science. Springer, 2013.https://doi.org/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, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .”https://doi.org/10.1371/journal.pone.0080814__PLoS One. Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0080814 .

Reiter, Johannes, Ivana Boei, Benjamin Allen, Krishnendu Chatterjee, and Martin Nowak. “The Effect of One Additional Driver Mutation on Tumor Progression.”https://doi.org/10.1111/eva.12020__Evolutionary Applications. Wiley-Blackwell, 2013.https://doi.org/10.1111/eva.12020 .

Boei, Ivana, Johannes Reiter, Benjamin Allen, Tibor Antal, Krishnendu Chatterjee, Preya Shah, Yo Moon, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.”https://doi.org/10.7554/eLife.00747__ELife. eLife Sciences Publications, 2013.https://doi.org/10.7554/eLife.00747 .

Reiter, Johannes, Ivana Boei, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.”https://doi.org/10.1007/978-3-642-39799-8_6__In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_6 .

Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,”https://doi.org/10.1007/978-3-642-39799-8_68__8044:951–67. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_68 .

Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.”https://doi.org/10.1016/j.cub.2012.11.034__Current Biology. Cell Press, 2013.https://doi.org/10.1016/j.cub.2012.11.034 .

Brázdil, Tomás, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Trading Performance for Stability in Markov Decision Processes.”https://doi.org/10.1109/LICS.2013.39__In 28th Annual ACM/IEEE Symposium, 331–40. IEEE, 2013.https://doi.org/10.1109/LICS.2013.39 .

Chatterjee, Krishnendu, Alexander Kößler, and Ulrich Schmid. “Automated Analysis of Real-Time Scheduling Using Graph Games.”https://doi.org/10.1145/2461328.2461356__In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 163–72. ACM, 2013.https://doi.org/10.1145/2461328.2461356 .

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

Remy, Estelle, Pawel Baster, Jií Friml, and Paula Duque. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.”https://doi.org/10.4161/psb.25688__Plant Signaling &; Behavior. Taylor &; Francis, 2013.https://doi.org/10.4161/psb.25688 .

Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.”https://doi.org/10.1098/rspb.2012.3035__Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 2013.https://doi.org/10.1098/rspb.2012.3035 .

Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.”https://doi.org/10.5061/dryad.b1q2n__Dryad, 2013.https://doi.org/10.5061/dryad.b1q2n .