Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free.”https://doi.org/10.1016/j.ic.2015.06.003__Information and Computation. Elsevier, 2015.https://doi.org/10.1016/j.ic.2015.06.003 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments.”https://doi.org/10.1145/2699430__Journal of the ACM. ACM, 2015.https://doi.org/10.1145/2699430 .

Chatterjee, Krishnendu, Monika H Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for One-Pair and k-Pair Streett Objectives.”https://doi.org/10.1109/LICS.2015.34__In Proceedings - Symposium on Logic in Computer Science, Vol. 2015–July. IEEE, 2015.https://doi.org/10.1109/LICS.2015.34 .

Lewin, Mathieu, Phan Nam, and Nicolas Rougerie. “Derivation of Nonlinear Gibbs Measures from Many-Body Quantum Mechanics.”https://doi.org/10.5802/jep.18__Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique, 2015.https://doi.org/10.5802/jep.18 .

Holst, Katrin, Daria Guseva, Susann Schindler, Michael K Sixt, Armin Braun, Himpriya Chopra, Oliver Pabst, and Evgeni Ponimaskin. “The Serotonin Receptor 5-HR Regulates the Morphology and Migratory Properties of Dendritic Cells.”https://doi.org/10.1242/jcs.167999__Journal of Cell Science. Company of Biologists, 2015.https://doi.org/10.1242/jcs.167999 .

Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.”https://doi.org/10.1016/j.ic.2015.03.010__Information and Computation. Elsevier, 2015.https://doi.org/10.1016/j.ic.2015.03.010 .

Li, Wenyang, Mengdi Ma, Ying Feng, Hongjiang Li, Yichuan Wang, Yutong Ma, Mingzhe Li, Fengying An, and Hongwei Guo. “EIN2-Directed Translational Regulation of Ethylene Signaling in Arabidopsis.”https://doi.org/10.1016/j.cell.2015.09.037__Cell. Cell Press, 2015.https://doi.org/10.1016/j.cell.2015.09.037 .

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.”https://doi.org/10.1016/j.ic.2015.03.009__Information and Computation. Elsevier, 2015.https://doi.org/10.1016/j.ic.2015.03.009 .

Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. “Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2:745–52. AAAI Press, 2015.

Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications,”https://doi.org/10.1109/ICRA.2015.7139019__325–30. IEEE, 2015.https://doi.org/10.1109/ICRA.2015.7139019 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Kristoffer Hansen. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-322-v1-1 .

Anonymous, 1, and 2 Anonymous. Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs. IST Austria, 2015.

Chatterjee, Krishnendu, Zuzana Komárková, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.”https://doi.org/10.1109/LICS.2015.32__LICS. IEEE, 2015.https://doi.org/10.1109/LICS.2015.32 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.”https://doi.org/10.1109/LICS.2015.72__In Proceedings - Symposium on Logic in Computer Science, Vol. 2015–July. IEEE, 2015.https://doi.org/10.1109/LICS.2015.72 .

Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-318-v1-1 .

Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-318-v2-1 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-170-v2-2 .

Boker, Udi, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.”https://doi.org/10.1109/LICS.2015.74__In LICS, 750–61. Logic in Computer Science. IEEE, 2015.https://doi.org/10.1109/LICS.2015.74 .

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.”https://doi.org/10.1007/978-3-662-47666-6_10__In 42nd International Colloquium, 9135:121–33. Springer Nature, 2015.https://doi.org/10.1007/978-3-662-47666-6_10 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-330-v2-1 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-319-v1-1 .

Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-335-v1-1 .

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. Edit Distance for Pushdown Automata. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-334-v1-1 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-323-v2-2 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-323-v1-1 .

Reiter, Johannes, Alvin Makohon-Moore, Jeffrey Gerold, Ivana Bozic, Krishnendu Chatterjee, Christine Iacobuzio-Donahue, Bert Vogelstein, and Martin Nowak. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-399-v1-1 .

Chatterjee, Krishnendu, Martin Chmelik, and Jessica Davies. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-325-v2-1 .

Goaoc, Xavier, Isaac Mabillard, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “On Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-Type Nonembeddability Result,”https://doi.org/10.4230/LIPIcs.SOCG.2015.476__34:476–90. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015.https://doi.org/10.4230/LIPIcs.SOCG.2015.476 .

Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs,”https://doi.org/10.1109/FOCS.2015.80__1246–58. IEEE, 2015.https://doi.org/10.1109/FOCS.2015.80 .

Engel, Jakob, Philipp S Schmalhorst, Anke Kruger, Christina Muller, Falk Buettner, and Françoise Routier. “Characterization of an N-Acetylglucosaminyltransferase Involved in Aspergillus Fumigatus Zwitterionic Glycoinositolphosphoceramide Biosynthesis.”https://doi.org/10.1093/glycob/cwv059__Glycobiology. Oxford University Press, 2015.https://doi.org/10.1093/glycob/cwv059 .

Chevereau, Guillaume, Marta Lukacisinova, Tugce Batur, Aysegul Guvenek, Dilay Hazal Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Excel File Containing the Raw Data for All Figures.”https://doi.org/10.1371/journal.pbio.1002299.s001__Public Library of Science, 2015.https://doi.org/10.1371/journal.pbio.1002299.s001 .

Mcmahon, Dino, Matthias Fürst, Jesicca Caspar, Panagiotis Theodorou, Mark Brown, and Robert Paxton. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.”https://doi.org/10.1111/1365-2656.12345__Journal of Animal Ecology. Wiley, 2015.https://doi.org/10.1111/1365-2656.12345 .

Theis, Fabian, Line V Ugelvig, Carsten Marr, and Sylvia Cremer. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.”https://doi.org/10.1098/rstb.2014.0108__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2015.https://doi.org/10.1098/rstb.2014.0108 .

Theis, Fabian, Line V Ugelvig, Carsten Marr, and Sylvia Cremer. “Data from: Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.”https://doi.org/10.5061/dryad.dj2bf__Dryad, 2015.https://doi.org/10.5061/dryad.dj2bf .

Friedlander, Tamar, Avraham E. Mayo, Tsvi Tlusty, and Uri Alon. “Supporting Information Text.”https://doi.org/10.1371/journal.pcbi.1004055.s001__Public Library of Science, 2015.https://doi.org/10.1371/journal.pcbi.1004055.s001 .

Symonova, Olga, Christopher Topp, and Herbert Edelsbrunner. “DynamicRoots: A Software Platform for the Reconstruction and Analysis of Growing Plant Roots.”https://doi.org/10.1371/journal.pone.0127657__PLoS One. Public Library of Science, 2015.https://doi.org/10.1371/journal.pone.0127657 .

Symonova, Olga, Christopher Topp, and Herbert Edelsbrunner. “Root Traits Computed by DynamicRoots for the Maize Root Shown in Fig 2.”https://doi.org/10.1371/journal.pone.0127657.s001__Public Library of Science, 2015.https://doi.org/10.1371/journal.pone.0127657.s001 .

Friedlander, Tamar, Avraham Mayo, Tsvi Tlusty, and Uri Alon. “Evolution of Bow-Tie Architectures in Biology.”https://doi.org/10.1371/journal.pcbi.1004055__PLoS Computational Biology. Public Library of Science, 2015.https://doi.org/10.1371/journal.pcbi.1004055 .

Trubenova, Barbora, Sebastian Novak, and Reinmar Hager. “Indirect Genetic Effects and the Dynamics of Social Interactions.”https://doi.org/10.1371/journal.pone.0126907__PLoS One. Public Library of Science, 2015.https://doi.org/10.1371/journal.pone.0126907 .

Trubenova, Barbora, Sebastian Novak, and Reinmar Hager. “Description of the Agent Based Simulations.”https://doi.org/10.1371/journal.pone.0126907.s003__Public Library of Science, 2015.https://doi.org/10.1371/journal.pone.0126907.s003 .

Friedlander, Tamar, Avraham E. Mayo, Tsvi Tlusty, and Uri Alon. “Evolutionary Simulation Code.”https://doi.org/10.1371/journal.pcbi.1004055.s002__Public Library of Science, 2015.https://doi.org/10.1371/journal.pcbi.1004055.s002 .

Gómez Sicilia, Àngel, Mateusz K Sikora, Marek Cieplak, and Mariano Carrión Vázquez. “An Exploration of the Universe of Polyglutamine Structures.”https://doi.org/10.1371/journal.pcbi.1004541__PLoS Computational Biology. Public Library of Science, 2015.https://doi.org/10.1371/journal.pcbi.1004541 .

Tugrul, Murat, Tiago Paixao, Nicholas H Barton, and Gasper Tkadik. “Other Fitness Models for Comparison &; for Interacting TFBSs.”https://doi.org/10.1371/journal.pgen.1005639.s001__Public Library of Science, 2015.https://doi.org/10.1371/journal.pgen.1005639.s001 .

Gómez Sicilia, Àngel, Mateusz K Sikora, Marek Cieplak, and Mariano Carrión Vázquez. “An Exploration of the Universe of Polyglutamine Structures - Submission to PLOS Journals.”https://doi.org/10.1371/journal.pcbi.1004541.s001__Public Library of Science , 2015.https://doi.org/10.1371/journal.pcbi.1004541.s001 .

Trubenova, Barbora, Sebastian Novak, and Reinmar Hager. “Mathematical Inference of the Results.”https://doi.org/10.1371/journal.pone.0126907.s001__Public Library of Science, 2015.https://doi.org/10.1371/journal.pone.0126907.s001 .

Konrad, Matthias, Anna V Grasse, Simon Tragust, and Sylvia Cremer. “Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.”https://doi.org/10.1098/rspb.2014.1976__Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 2015.https://doi.org/10.1098/rspb.2014.1976 .

Westhus, Claudia, Line V Ugelvig, Edouard Tourdot, Jürgen Heinze, Claudie Doums, and Sylvia Cremer. “Data from: Increased Grooming after Repeated Brood Care Provides Sanitary Benefits in a Clonal Ant.”https://doi.org/10.5061/dryad.7kc79__Dryad, 2015.https://doi.org/10.5061/dryad.7kc79 .

Chevereau, Guillaume, Marta Lukacisinova, Tugce Batur, Aysegul Guvenek, Dilay Hazal Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Gene Ontology Enrichment Analysis for the Most Sensitive Gene Deletion Strains for All Drugs.”https://doi.org/10.1371/journal.pbio.1002299.s008__Public Library of Science, 2015.https://doi.org/10.1371/journal.pbio.1002299.s008 .

Veldkamp, Christopher, Eva Kiermaier, Skylar Gabel Eissens, Miranda Gillitzer, David Lippner, Frank Disilvio, Casey Mueller, et al. “Solution Structure of CCL19 and Identification of Overlapping CC and PSGL-1 Binding Sites.”https://doi.org/10.1021/acs.biochem.5b00560__Biochemistry. American Chemical Society, 2015.https://doi.org/10.1021/acs.biochem.5b00560 .

Martius, Georg S, and Eckehard Olbrich. “Quantifying Self-Organizing Behavior of Autonomous Robots.”https://doi.org/10.7551/978-0-262-33027-5-ch018__In Proceedings of the 13th European Conference on Artificial Life, 78. MIT Press, 2015.https://doi.org/10.7551/978-0-262-33027-5-ch018 .

Wielgoss, Sébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Data from: Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Non-Mutator Bacteria.”https://doi.org/10.5061/dryad.cj910__Dryad, 2015.https://doi.org/10.5061/dryad.cj910 .

Sharmanska, Viktoriia. “Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views.”https://doi.org/10.15479/at:ista:1401__Institute of Science and Technology Austria, 2015.https://doi.org/10.15479/at:ista:1401 .

Reiter, Johannes, Ayush Kanodia, Raghav Gupta, Martin Nowak, and Krishnendu Chatterjee. “Biological Auctions with Multiple Rewards.”https://doi.org/10.1098/rspb.2015.1041__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, 2015.https://doi.org/10.1098/rspb.2015.1041 .

Reiter, Johannes. “The Subclonal Evolution of Cancer.” Institute of Science and Technology Austria, 2015.

Pausinger, Florian, and Anne Svane. “A Koksma-Hlawka Inequality for General Discrepancy Systems.”https://doi.org/10.1016/j.jco.2015.06.002__Journal of Complexity. Academic Press, 2015.https://doi.org/10.1016/j.jco.2015.06.002 .

Pausinger, Florian. “On the Approximation of Intrinsic Volumes.” Institute of Science and Technology Austria, 2015.

Tugrul, Murat, Tiago Paixao, Nicholas H Barton, and Gasper Tkadik. “Dynamics of Transcription Factor Binding Site Evolution.”https://doi.org/10.1371/journal.pgen.1005639__PLoS Genetics. Public Library of Science, 2015.https://doi.org/10.1371/journal.pgen.1005639 .

Benes, Nikola, Przemyslaw Daca, Thomas A Henzinger, Jan Kretinsky, and Dejan Nickovic. “Complete Composition Operators for IOCO-Testing Theory,”https://doi.org/10.1145/2737166.2737175__101–10. ACM, 2015.https://doi.org/10.1145/2737166.2737175 .

Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.”https://doi.org/10.1007/s10703-015-0235-2__Formal Methods in System Design. Springer, 2015.https://doi.org/10.1007/s10703-015-0235-2 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, and Prateesh Goyal. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.”https://doi.org/10.1145/2676726.2676979__ACM SIGPLAN Notices. ACM, 2015.https://doi.org/10.1145/2676726.2676979 .

Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. “Quantitative Interprocedural Analysis.”https://doi.org/10.1145/2676726.2676968__Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . ACM, 2015.https://doi.org/10.1145/2676726.2676968 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs,”https://doi.org/10.1007/978-3-319-21690-4_9__9206:140–57. Springer, 2015.https://doi.org/10.1007/978-3-319-21690-4_9 .

Chatterjee, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.”https://doi.org/10.1109/RTSS.2014.9__In Real-Time Systems Symposium, 2015:118–27. IEEE, 2015.https://doi.org/10.1109/RTSS.2014.9 .

Hahn, David, and Chris Wojtan. “High-Resolution Brittle Fracture Simulation with Boundary Elements,”https://doi.org/10.1145/2766896__Vol. 34. ACM, 2015.https://doi.org/10.1145/2766896 .

Ruprecht, Verena, Stefan Wieser, Andrew Callan Jones, Michael Smutny, Hitoshi Morita, Keisuke Sako, Vanessa Barone, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.”https://doi.org/10.1016/j.cell.2015.01.008__Cell. Cell Press, 2015.https://doi.org/10.1016/j.cell.2015.01.008 .

Adamowski, Maciek, and Jií Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.”https://doi.org/10.1105/tpc.114.134874__Plant Cell. American Society of Plant Biologists, 2015.https://doi.org/10.1105/tpc.114.134874 .

Alt, Johannes. “The Local Semicircle Law for Random Matrices with a Fourfold Symmetry.”https://doi.org/10.1063/1.4932606__Journal of Mathematical Physics. American Institute of Physics, 2015.https://doi.org/10.1063/1.4932606 .

Inglés Prieto, Álvaro, Eva Gschaider-Reichhart, Markus Muellner, Matthias Nowak, Sebastian Nijman, Michael Grusch, and Harald L Janovjak. “Light-Assisted Small-Molecule Screening against Protein Kinases.”https://doi.org/10.1038/nchembio.1933__Nature Chemical Biology. Nature Publishing Group, 2015.https://doi.org/10.1038/nchembio.1933 .

Cepeda Humerez, Sarah A, Georg Rieckh, and Gasper Tkadik. “Stochastic Proofreading Mechanism Alleviates Crosstalk in Transcriptional Regulation.”https://doi.org/10.1103/PhysRevLett.115.248101__Physical Review Letters. American Physical Society, 2015.https://doi.org/10.1103/PhysRevLett.115.248101 .

Avvakumov, Sergey, Isaac Mabillard, A. Skopenkov, and Uli Wagner. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” ArXiv, n.d.

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-340-v1-1 .

Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015.

Svoreová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cbrná, and Celin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.”https://doi.org/10.1145/2728606.2728608__In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 259–68. ACM, 2015.https://doi.org/10.1145/2728606.2728608 .

Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.”https://doi.org/10.1007/978-3-319-21668-3_11__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-319-21668-3_11 .

Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.”https://doi.org/10.1007/978-3-662-46681-0_47__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-46681-0_47 .

Michalko, Jaroslav, Marta Lukacisinova, Mark Tobias Bollenbach, and Jií Friml. “Embryo-Lethal Phenotypes in Early Ab Mutants Are Due to Disruption of the Neighboring BSM Gene.”https://doi.org/10.12688/f1000research.7143.1__00 Research . 00 Research, 2015.https://doi.org/10.12688/f1000research.7143.1 .

Priklopil, Tadeas, and Krishnendu Chatterjee. “Evolution of Decisions in Population Games with Sequentially Searching Individuals.”https://doi.org/10.3390/g6040413__Games. MDPI, 2015.https://doi.org/10.3390/g6040413 .

Martius, Georg S, and Eckehard Olbrich. “Quantifying Emergent Behavior of Autonomous Robots.”https://doi.org/10.3390/e17107266__Entropy. MDPI, 2015.https://doi.org/10.3390/e17107266 .

Chen, Chong, Chao Wang, Xuan Zhao, Tao Zhou, Dao Xu, Zhi Wang, and Ying Wang. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.”https://doi.org/10.1177/1759091415575845__ASN Neuro. SAGE Publications, 2015.https://doi.org/10.1177/1759091415575845 .

Erbar, Matthias, Jan Maas, and Prasad Tetali. “Discrete Ricci Curvature Bounds for Bernoulli-Laplace and Random Transposition Models.”https://doi.org/10.5802/afst.1464__Annales de La Faculté Des Sciences de Toulouse. Faculté des sciences de Toulouse, 2015.https://doi.org/10.5802/afst.1464 .

Brázdil, Tomás, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, and Jan Kretinsky. “Counterexample Explanation by Learning Small Strategies in Markov Decision Processes,”https://doi.org/10.1007/978-3-319-21690-4_10__9206:158–77. Springer, 2015.https://doi.org/10.1007/978-3-319-21690-4_10 .

Fellner, Andreas. “Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.”https://doi.org/10.15479/AT:ISTA:28__Institute of Science and Technology Austria, 2015.https://doi.org/10.15479/AT:ISTA:28 .

Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers,”https://doi.org/10.4230/LIPIcs.SOCG.2015.507__34:507–21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015.https://doi.org/10.4230/LIPIcs.SOCG.2015.507 .

Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. “Proofs of Space.”https://doi.org/10.1007/978-3-662-48000-7_29__In 35th Annual Cryptology Conference, 9216:585–605. Springer, 2015.https://doi.org/10.1007/978-3-662-48000-7_29 .

Chevereau, Guillaume, Marta Lukacisinova, Tugce Batur, Aysegul Guvenek, Dilay Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.”https://doi.org/10.1371/journal.pbio.1002299__PLoS Biology. Public Library of Science, 2015.https://doi.org/10.1371/journal.pbio.1002299 .

Hashimoto, Masakazu, Hitoshi Morita, and Naoto Ueno. “Molecular and Cellular Mechanisms of Development Underlying Congenital Diseases.”https://doi.org/10.1111/cga.12039__Congenital Anomalies. Wiley, 2014.https://doi.org/10.1111/cga.12039 .

Zaeímalová, Eva, Jan Petrásek, and Eva Benková, eds. Auxin and Its Role in Plant Development. 1st ed. Vienna: Springer Nature, 2014.https://doi.org/10.1007/978-3-7091-1526-8 .

Aminof, Benjamin, Swen Jacobs, Ayrat Khalimov, and Sasha Rubin. “Parameterized Model Checking of Token-Passing Systems.”https://doi.org/10.1007/978-3-642-54013-4_15__In Verification, Model Checking, and Abstract Interpretation, 8318:262–81. Springer Nature, 2014.https://doi.org/10.1007/978-3-642-54013-4_15 .

Kasten, Jens, Jan Reininghaus, Wieland Reich, and Gerik Scheuermann. “Toward the Extraction of Saddle Periodic Orbits.”https://doi.org/10.1007/978-3-319-04099-8_4__In Topological Methods in Data Analysis and Visualization III , edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 1:55–69. Mathematics and Visualization. Cham: Springer, 2014.https://doi.org/10.1007/978-3-319-04099-8_4 .

Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.”https://doi.org/10.1016/j.tcs.2014.06.031__Theoretical Computer Science. Elsevier, 2014.https://doi.org/10.1016/j.tcs.2014.06.031 .

Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,”https://doi.org/10.1007/978-3-642-54013-4_10__8318:161–81. Springer, 2014.https://doi.org/10.1007/978-3-642-54013-4_10 .

Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.”https://doi.org/10.1145/2593882.2593900__In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014.https://doi.org/10.1145/2593882.2593900 .

Stock, Miriam. “Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants.” IST Austria, 2014.

Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS Gap Equation for Superfluid Fermionic Gases.”https://doi.org/10.1142/9789814618144_0007__In Proceedings of the QMat Conference, 127–37. World Scientific Publishing, 2014.https://doi.org/10.1142/9789814618144_0007 .

Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit Propagation Using Geometric Relationship Functions.”https://doi.org/10.1145/2591010__ACM Transactions on Graphics. ACM, 2014.https://doi.org/10.1145/2591010 .

Fulek, Radoslav, Jan Kyndl, Igor Malinovi, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.”https://doi.org/10.1007/978-3-662-45803-7_36__In International Symposium on Graph Drawing, 8871:428–36. Cham: Springer Nature, 2014.https://doi.org/10.1007/978-3-662-45803-7_36 .

Fuchsbauer, Georg. “Constrained Verifiable Random Functions .”https://doi.org/10.1007/978-3-319-10879-7_7__In SCN 2014, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer, 2014.https://doi.org/10.1007/978-3-319-10879-7_7 .

Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.”https://doi.org/10.4204/EPTCS.169.5__In Electronic Proceedings in Theoretical Computer Science, EPTCS, 169:31–38. Open Publishing, 2014.https://doi.org/10.4204/EPTCS.169.5 .

Savin, Cristina, and Sophie Denève. “Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks,” 3:2024–32. Neural Information Processing Systems, 2014.

Baster, Pawel, and Jií Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.”https://doi.org/10.1007/978-3-7091-1526-8_8__In Auxin and Its Role in Plant Development, edited by Eva Zaeímalová, Jan Petrásek, and Eva Benková, 143–70. Springer, 2014.https://doi.org/10.1007/978-3-7091-1526-8_8 .