Uecker, Hildegard, Derek Setter, and Joachim Hermisson. “Adaptive Gene Introgression after Secondary Contact.”https://doi.org/10.1007/s00285-014-0802-y__Journal of Mathematical Biology. Springer, 2015.https://doi.org/10.1007/s00285-014-0802-y .

Wysokiski, Marcin, Jan Kaczmarczyk, and Jozef Spaek. “Gutzwiller Wave Function Solution for Anderson Lattice Model: Emerging Universal Regimes of Heavy Quasiparticle States.”https://doi.org/10.1103/PhysRevB.92.125135__Physical Review B. American Physical Society, 2015.https://doi.org/10.1103/PhysRevB.92.125135 .

Tkadik, Gasper, Thierry Mora, Olivier Marre, Dario Amodei, Stephanie Palmer, Michael Berry Ii, and William Bialek. “Thermodynamics and Signatures of Criticality in a Network of Neurons.”https://doi.org/10.1073/pnas.1514188112__PNAS. National Academy of Sciences, 2015.https://doi.org/10.1073/pnas.1514188112 .

Velner, Yaron, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, and Jean Raskin. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.”https://doi.org/10.1016/j.ic.2015.03.001__Information and Computation. Elsevier, 2015.https://doi.org/10.1016/j.ic.2015.03.001 .

Van Loon, Erik, Mikhail Katsnelson, and Mikhail Lemeshko. “Ultralong-Range Order in the Fermi-Hubbard Model with Long-Range Interactions.”https://doi.org/10.1103/PhysRevB.92.081106__Physical Review B. American Physical Society, 2015.https://doi.org/10.1103/PhysRevB.92.081106 .

Deuchert, Andreas, Christian Hainzl, and Robert Seiringer. “Note on a Family of Monotone Quantum Relative Entropies.”https://doi.org/10.1007/s11005-015-0787-5__Letters in Mathematical Physics. Springer, 2015.https://doi.org/10.1007/s11005-015-0787-5 .

Broadhurst, Linda, Graham Fifield, Bindi Vanzella, and Melinda Pickup. “An Evaluation of the Genetic Structure of Seed Sources and the Maintenance of Genetic Diversity during Establishment of Two Yellow Box (Eucalyptus Melliodora) Seed-Production Areas.”https://doi.org/10.1071/BT15023__Australian Journal of Botany. CSIRO, 2015.https://doi.org/10.1071/BT15023 .

Pentina, Anastasia, and Shai Ben David. “Multi-Task and Lifelong Learning of Kernels,”https://doi.org/10.1007/978-3-319-24486-0_13__9355:194–208. Springer, 2015.https://doi.org/10.1007/978-3-319-24486-0_13 .

Ratheesh, Aparna, Vera Belyaeva, and Daria E Siekhaus. “Drosophila Immune Cell Migration and Adhesion during Embryonic Development and Larval Immune Responses.”https://doi.org/10.1016/j.ceb.2015.07.003__Current Opinion in Cell Biology. Elsevier, 2015.https://doi.org/10.1016/j.ceb.2015.07.003 .

Akopyan, Arseniy, and Alexander Plakhov. “Minimal Resistance of Curves under the Single Impact Assumption.”https://doi.org/10.1137/140993843__Society for Industrial and Applied Mathematics. SIAM, 2015.https://doi.org/10.1137/140993843 .

Colin De Verdière, Éric, Alfredo Hubard, and Arnaud N de Mesmay. “Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.”https://doi.org/10.1007/s00454-015-9679-9__Discrete &; Computational Geometry. Springer, 2015.https://doi.org/10.1007/s00454-015-9679-9 .

Ando, Ryoichi, Nils Thürey, and Chris Wojtan. “A Dimension-Reduced Pressure Solver for Liquid Simulations.”https://doi.org/10.1111/cgf.12576__Computer Graphics Forum. Wiley, 2015.https://doi.org/10.1111/cgf.12576 .

Klehm, Oliver, Fabrice Rousselle, Marios Papas, Derek Bradley, Christophe Hery, Bernd Bickel, Wojciech Jarosz, and Thabo Beeler. “Recent Advances in Facial Appearance Capture.”https://doi.org/10.1111/cgf.12594__Computer Graphics Forum. Wiley-Blackwell, 2015.https://doi.org/10.1111/cgf.12594 .

Kuechler, Alma, Alexander Zink, Thomas Wieland, Hermann Lüdecke, Kirsten Cremer, Leonardo Salviati, Pamela Magini, et al. “Loss-of-Function Variants of SET Cause Intellectual Disability and the Core Phenotype of Microdeletion 3.3 Syndrome.”https://doi.org/10.1038/ejhg.2014.165__European Journal of Human Genetics. Nature Publishing Group, 2015.https://doi.org/10.1038/ejhg.2014.165 .

Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Transition to Turbulence in Taylor-Couette Ferrofluidic Flow.”https://doi.org/10.1038/srep10781__Scientific Reports. Nature Publishing Group, 2015.https://doi.org/10.1038/srep10781 .

Goldman, Michael, and Jimena Royo-Letelier. “Sharp Interface Limit for Two Components Bose-Einstein Condensates.”https://doi.org/10.1051/cocv/2014040__ESAIM - Control, Optimisation and Calculus of Variations. EDP Sciences, 2015.https://doi.org/10.1051/cocv/2014040 .

Bollenbach, Mark Tobias. “Antimicrobial Interactions: Mechanisms and Implications for Drug Discovery and Resistance Evolution.”https://doi.org/10.1016/j.mib.2015.05.008__Current Opinion in Microbiology. Elsevier, 2015.https://doi.org/10.1016/j.mib.2015.05.008 .

Lahrz, Martin, Mikhail Lemeshko, and Ludwig Mathey. “Exotic Roton Excitations in Quadrupolar Bose–Einstein Condensates .”https://doi.org/10.1088/1367-2630/17/4/045005__New Journal of Physics. IOP Publishing Ltd., 2015.https://doi.org/10.1088/1367-2630/17/4/045005 .

Safari, Laleh, José Santos, Pedro Amaro, Kari Jänkälä, and Filippo Fratini. “Analytical Evaluation of Atomic Form Factors: Application to Rayleigh Scattering.”https://doi.org/10.1063/1.4921227__Journal of Mathematical Physics. American Institute of Physics, 2015.https://doi.org/10.1063/1.4921227 .

Schmidt, Richard, and Mikhail Lemeshko. “Rotation of Quantum Impurities in the Presence of a Many-Body Environment.”https://doi.org/10.1103/PhysRevLett.114.203001__Physical Review Letters. American Physical Society, 2015.https://doi.org/10.1103/PhysRevLett.114.203001 .

Gupta, Ashutosh, and Thomas A Henzinger. “Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology.”https://doi.org/10.1145/2745799__ACM Transactions on Modeling and Computer Simulation. ACM, 2015.https://doi.org/10.1145/2745799 .

Porazinski, Sean, Huijia Wang, Yoichi Asaoka, Martin Behrndt, Tatsuo Miyamoto, Hitoshi Morita, Shoji Hata, et al. “YAP Is Essential for Tissue Tension to Ensure Vertebrate 3D Body Shape.”https://doi.org/10.1038/nature14215__Nature. Nature Publishing Group, 2015.https://doi.org/10.1038/nature14215 .

Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , 5:3496–3502. AAAI Press, 2015.

Jeschke, Stefan, and Chris Wojtan. “Water Wave Animation via Wavefront Parameter Interpolation.”https://doi.org/10.1145/2714572__ACM Transactions on Graphics. ACM, 2015.https://doi.org/10.1145/2714572 .

Polechova, Jitka, and Nicholas H Barton. “Limits to Adaptation along Environmental Gradients.”https://doi.org/10.1073/pnas.1421515112__PNAS. National Academy of Sciences, 2015.https://doi.org/10.1073/pnas.1421515112 .

Zwiewka, Marta, Tomasz Nodzyski, Stéphanie Robert, Steffen Vanneste, and Jií Friml. “Osmotic Stress Modulates the Balance between Exocytosis and Clathrin Mediated Endocytosis in Arabidopsis Thaliana.”https://doi.org/10.1016/j.molp.2015.03.007__Molecular Plant. Elsevier, 2015.https://doi.org/10.1016/j.molp.2015.03.007 .

Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of Drug Interaction Mechanisms.”https://doi.org/10.15252/msb.20156098__Molecular Systems Biology. Nature Publishing Group, 2015.https://doi.org/10.15252/msb.20156098 .

Knebel, Johannes, Markus Weber, Torben H Krüger, and Erwin Frey. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.”https://doi.org/10.1038/ncomms7977__Nature Communications. Nature Publishing Group, 2015.https://doi.org/10.1038/ncomms7977 .

Kappeler, Peter, Sylvia Cremer, and Charles Nunn. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.”https://doi.org/10.1098/rstb.2014.0116__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2015.https://doi.org/10.1098/rstb.2014.0116 .

Akopyan, Arseniy, Sergey Pirogov, and Aleksandr Rybko. “Invariant Measures of Genetic Recombination Process.”https://doi.org/10.1007/s10955-015-1238-5__Journal of Statistical Physics. Springer, 2015.https://doi.org/10.1007/s10955-015-1238-5 .

Cerny, Pavol, Thomas A Henzinger, Laura Kovács, Arjun Radhakrishna, and Jakob Zwirchmayr. “Segment Abstraction for Worst-Case Execution Time Analysis.”https://doi.org/10.1007/978-3-662-46669-8_5__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-46669-8_5 .

Bloem, Roderick, Krishnendu Chatterjee, Swen Jacobs, and Robert Könighofer. “Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information,”https://doi.org/10.1007/978-3-662-46681-0_50__9035:517–32. Springer, 2015.https://doi.org/10.1007/978-3-662-46681-0_50 .

Brázdil, Tomás, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.”https://doi.org/10.1007/978-3-662-46681-0_12__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-46681-0_12 .

Kühnen, Jakob, P Braunshier, M Schwegel, Hendrik Kuhlmann, and Björn Hof. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.”https://doi.org/10.1017/jfm.2015.184__Journal of Fluid Mechanics. Cambridge University Press, 2015.https://doi.org/10.1017/jfm.2015.184 .

Schwamb, Bettina, Robert Pick, Sara Fernández, Kirsten Völp, Jan Heering, Volker Dötsch, Susanne Bösser, et al. “FAM96A Is a Novel Pro-Apoptotic Tumor Suppressor in Gastrointestinal Stromal Tumors.”https://doi.org/10.1002/ijc.29498__International Journal of Cancer. Wiley, 2015.https://doi.org/10.1002/ijc.29498 .

Benes, Nikola, Jan Kretinsky, Kim Larsen, Mikael Möller, Salomon Sickert, and Jií Srba. “Refinement Checking on Parametric Modal Transition Systems.”https://doi.org/10.1007/s00236-015-0215-4__Acta Informatica. Springer, 2015.https://doi.org/10.1007/s00236-015-0215-4 .

Vandael, David H, Claudiahttps://doi.org/10.1016/j.neuron.2015.03.006__Espinoza Martinez, and Peter M Jonas. “Excitement about Inhibitory Presynaptic Terminals.”https://doi.org/10.1016/j.neuron.2015.03.006__Neuron. Elsevier, 2015.https://doi.org/10.1016/j.neuron.2015.03.006 .

Geiger, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.”https://doi.org/10.1109/TAC.2014.2364971__IEEE Transactions on Automatic Control. IEEE, 2015.https://doi.org/10.1109/TAC.2014.2364971 .

Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.”https://doi.org/10.1109/TPAMI.2014.2363465__IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2015.https://doi.org/10.1109/TPAMI.2014.2363465 .

Himschoot, Ellie, Tom Beeckman, Jií Friml, and Steffen Vanneste. “Calcium Is an Organizer of Cell Polarity in Plants.”https://doi.org/10.1016/j.bbamcr.2015.02.017__Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier, 2015.https://doi.org/10.1016/j.bbamcr.2015.02.017 .

Grones, Peter, and Jií Friml. “AB: Finally Docking.”https://doi.org/10.1016/j.molp.2014.12.013__Molecular Plant. Elsevier, 2015.https://doi.org/10.1016/j.molp.2014.12.013 .

Novak, Sebastian, and Sylvia Cremer. “Fungal Disease Dynamics in Insect Societies: Optimal Killing Rates and the Ambivalent Effect of High Social Interaction Rates.”https://doi.org/10.1016/j.jtbi.2015.02.018__Journal of Theoretical Biology. Elsevier, 2015.https://doi.org/10.1016/j.jtbi.2015.02.018 .

Priklopil, Tadeas, Eva Kisdi, and Mats Gyllenberg. “Evolutionarily Stable Mating Decisions for Sequentially Searching Females and the Stability of Reproductive Isolation by Assortative Mating.”https://doi.org/10.1111/evo.12618__Evolution. Wiley, 2015.https://doi.org/10.1111/evo.12618 .

Shah, Neel, Vladimir Kolmogorov, and Christoph Lampert. “A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly Max-Oracle,”https://doi.org/10.1109/CVPR.2015.7298890__2737–45. IEEE, 2015.https://doi.org/10.1109/CVPR.2015.7298890 .

Royer, Amélie, and Christoph Lampert. “Classifier Adaptation at Prediction Time,”https://doi.org/10.1109/CVPR.2015.7298746__1401–9. IEEE, 2015.https://doi.org/10.1109/CVPR.2015.7298746 .

Lampert, Christoph. “Predicting the Future Behavior of a Time-Varying Probability Distribution,”https://doi.org/10.1109/CVPR.2015.7298696__942–50. IEEE, 2015.https://doi.org/10.1109/CVPR.2015.7298696 .

Pentina, Anastasia, Viktoriia Sharmanska, and Christoph Lampert. “Curriculum Learning of Multiple Tasks,”https://doi.org/10.1109/CVPR.2015.7299188__5492–5500. IEEE, 2015.https://doi.org/10.1109/CVPR.2015.7299188 .

Hühner, Jens, Álvaro Inglés Prieto, Christian Neusüß, Michael Lämmerhofer, and Harald L Janovjak. “Quantification of Riboflavin, Flavin Mononucleotide, and Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced Fluorescence Detection.”https://doi.org/10.1002/elps.201400451__Electrophoresis. Wiley, 2015.https://doi.org/10.1002/elps.201400451 .

Robert, Hélène, Wim Grunewald, Michael Sauer, Bernard Cannoot, Mercedes Soriano, Ranjan Swarup, Dolf Weijers, Malcolm Bennett, Kim Boutilier, and Jií Friml. “Plant Embryogenesis Requires AUX/LAX-Mediated Auxin Influx.”https://doi.org/10.1242/dev.115832__Development. Company of Biologists, 2015.https://doi.org/10.1242/dev.115832 .

Park, Youngyong, Younghae Do, Sebastian Altmeyer, Yingcheng Lai, and Gyuwon Lee. “Early Effect in Time-Dependent, High-Dimensional Nonlinear Dynamical Systems with Multiple Resonances.”https://doi.org/10.1103/PhysRevE.91.022906__Physical Review E. American Physical Society, 2015.https://doi.org/10.1103/PhysRevE.91.022906 .

Erdös, László, and Antti Knowles. “The Altshuler–Shklovskii Formulas for Random Band Matrices II: The General Case.”https://doi.org/10.1007/s00023-014-0333-5__Annales Henri Poincare. Springer, 2015.https://doi.org/10.1007/s00023-014-0333-5 .

Ruess, Jakob, and John Lygeros. “Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks.”https://doi.org/10.1145/2688906__ACM Transactions on Modeling and Computer Simulation. ACM, 2015.https://doi.org/10.1145/2688906 .

Henzinger, Thomas A, and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.”https://doi.org/10.1145/2701001__Communications of the ACM. ACM, 2015.https://doi.org/10.1145/2701001 .

Grones, Peter, and Jií Friml. “Auxin Transporters and Binding Proteins at a Glance.”https://doi.org/10.1242/jcs.159418__Journal of Cell Science. Company of Biologists, 2015.https://doi.org/10.1242/jcs.159418 .

Boccara, Charlotte N., Lisa Kjønigsen, Ingvild Hammer, Jan Bjaalie, Trygve Leergaard, and Menno Witter. “A Three-Plane Architectonic Atlas of the Rat Hippocampal Region.”https://doi.org/10.1002/hipo.22407__Hippocampus. Wiley, 2015.https://doi.org/10.1002/hipo.22407 .

Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic Semantics.”https://doi.org/10.1016/j.artint.2014.12.009__Artificial Intelligence. Elsevier, 2015.https://doi.org/10.1016/j.artint.2014.12.009 .

Kremer, A, Stefaan Lippens, Sonia Bartunkova, Bob Asselbergh, Cendric Blanpain, Matyas Fendrych, A Goossens, et al. “Developing 3D SEM in a Broad Biological Context.”https://doi.org/10.1111/jmi.12211__Journal of Microscopy. Wiley-Blackwell, 2015.https://doi.org/10.1111/jmi.12211 .

Könenberg, Martin, Thomas Moser, Robert Seiringer, and Jakob Yngvason. “Superfluid Behavior of a Bose-Einstein Condensate in a Random Potential.”https://doi.org/10.1088/1367-2630/17/1/013022__New Journal of Physics. IOP Publishing Ltd., 2015.https://doi.org/10.1088/1367-2630/17/1/013022 .

Fahrenberg, Uli, Jan Kretinsky, Axel Legay, and Louis Traonouez. “Compositionality for Quantitative Specifications,”https://doi.org/10.1007/978-3-319-15317-9_19__8997:306–24. Springer, 2015.https://doi.org/10.1007/978-3-319-15317-9_19 .

Keller-Schmidt, Stephanie, Murat Tugrul, Víctor Eguíluz, Emilio Hernandez Garcia, and Konstantin Klemm. “Anomalous Scaling in an Age-Dependent Branching Model.”https://doi.org/10.1103/PhysRevE.91.022803__Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2015.https://doi.org/10.1103/PhysRevE.91.022803 .

Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships of Petrocoptis A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the Iberian Peninsula.”https://doi.org/10.1007/s10265-014-0691-6__Journal of Plant Research. Springer, 2015.https://doi.org/10.1007/s10265-014-0691-6 .

Tkadik, Gasper, Julien Dubuis, Mariela Petkova, and Thomas Gregor. “Positional Information, Positional Error, and Readout Precision in Morphogenesis: A Mathematical Framework.”https://doi.org/10.1534/genetics.114.171850__Genetics. Genetics Society of America, 2015.https://doi.org/10.1534/genetics.114.171850 .

Sokolowski, Thomas R, and Gasper Tkadik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.”https://doi.org/10.1103/PhysRevE.91.062710__Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2015.https://doi.org/10.1103/PhysRevE.91.062710 .

Pausinger, Florian, and Stefan Steinerberger. “On the Distribution of Local Extrema in Quantum Chaos.”https://doi.org/10.1016/j.physleta.2014.12.010__Physics Letters, Section A. Elsevier, 2015.https://doi.org/10.1016/j.physleta.2014.12.010 .

Rakusová, Hana, Matyas Fendrych, and Jií Friml. “Intracellular Trafficking and PIN-Mediated Cell Polarity during Tropic Responses in Plants.”https://doi.org/10.1016/j.pbi.2014.12.002__Current Opinion in Plant Biology. Elsevier, 2015.https://doi.org/10.1016/j.pbi.2014.12.002 .

Gupta, Ashutosh, Thomas A Henzinger, Arjun Radhakrishna, Roopsha Samanta, and Thorsten Tarrach. “Succinct Representation of Concurrent Trace Sets,”https://doi.org/10.1145/2676726.2677008__433–44. ACM, 2015.https://doi.org/10.1145/2676726.2677008 .

Noren, Patrik. “The Three-State Toric Homogeneous Markov Chain Model Has Markov Degree Two.”https://doi.org/10.1016/j.jsc.2014.09.014__Journal of Symbolic Computation. Elsevier, 2015.https://doi.org/10.1016/j.jsc.2014.09.014 .

Klimova, Anna, and Tamás Rudas. “Iterative Scaling in Curved Exponential Families.”https://doi.org/10.1111/sjos.12139__Scandinavian Journal of Statistics. Wiley, 2015.https://doi.org/10.1111/sjos.12139 .

Hein, Nicolas, Christopher Hillar, Abraham Martin del Campo Sanchez, Frank Sottile, and Zach Teitler. “The Monotone Secant Conjecture in the Real Schubert Calculus.”https://doi.org/10.1080/10586458.2014.980044__Experimental Mathematics. Taylor &; Francis, 2015.https://doi.org/10.1080/10586458.2014.980044 .

Klimova, Anna, Caroline Uhler, and Tamás Rudas. “Faithfulness and Learning Hypergraphs from Discrete Distributions.”https://doi.org/10.1016/j.csda.2015.01.017__Computational Statistics &; Data Analysis. Elsevier, 2015.https://doi.org/10.1016/j.csda.2015.01.017 .

Kawada, Daiki, Hiromu Kobayashi, Tsuyoshi Tomita, Eisuke Nakata, Makoto Nagano, Daria E Siekhaus, Junko Toshima, and Jiro Toshimaa. “The Yeast Arf-GAP Glo3p Is Required for the Endocytic Recycling of Cell Surface Proteins.”https://doi.org/10.1016/j.bbamcr.2014.10.009__Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier, 2015.https://doi.org/10.1016/j.bbamcr.2014.10.009 .

Shi, Liang, Markus Rampp, Björn Hof, and Marc Avila. “A Hybrid MPI-OpenMP Parallel Implementation for Pseudospectral Simulations with Application to Taylor-Couette Flow.”https://doi.org/10.1016/j.compfluid.2014.09.021__Computers and Fluids. Elsevier, 2015.https://doi.org/10.1016/j.compfluid.2014.09.021 .

Edelsbrunner, Herbert, Grzegorz Jablonski, and Marian Mrozek. “The Persistent Homology of a Self-Map.”https://doi.org/10.1007/s10208-014-9223-y__Foundations of Computational Mathematics. Springer, 2015.https://doi.org/10.1007/s10208-014-9223-y .

Bérard, Béatrice, Krishnendu Chatterjee, and Nathalie Sznajder. “Probabilistic Opacity for Markov Decision Processes.”https://doi.org/10.1016/j.ipl.2014.09.001__https://doi.org/10.1016/j.ipl.2014.09.001__Information Processing Letters. Elsevier, 2015.https://doi.org/10.1016/j.ipl.2014.09.001 .

Nam, Phan, and Robert Seiringer. “Collective Excitations of Bose Gases in the Mean-Field Regime.”https://doi.org/10.1007/s00205-014-0781-6__Archive for Rational Mechanics and Analysis. Springer, 2015.https://doi.org/10.1007/s00205-014-0781-6 .

Erdös, László, and Antti Knowles. “The Altshuler-Shklovskii Formulas for Random Band Matrices I: The Unimodular Case.”https://doi.org/10.1007/s00220-014-2119-5__Communications in Mathematical Physics. Springer, 2015.https://doi.org/10.1007/s00220-014-2119-5 .

Chakraborty, Soham, Thomas A Henzinger, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.”https://doi.org/10.2168/LMCS-11(1:20)2015__Logical Methods in Computer Science. International Federation of Computational Logic, 2015.https://doi.org/10.2168/LMCS-11(1:20)2015 .

Kolmogorov, Vladimir, Johan Thapper, and Stanislav divný. “The Power of Linear Programming for General-Valued CSPs.”https://doi.org/10.1137/130945648__SIAM Journal on Computing. SIAM, 2015.https://doi.org/10.1137/130945648 .

Chatterjee, Krishnendu, Manas Joglekar, and Nisarg Shah. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.”https://doi.org/10.1016/j.tcs.2015.01.050__Theoretical Computer Science. Elsevier, 2015.https://doi.org/10.1016/j.tcs.2015.01.050 .

Attali, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in .”https://doi.org/10.1016/j.comgeo.2014.08.010__Computational Geometry: Theory and Applications. Elsevier, 2015.https://doi.org/10.1016/j.comgeo.2014.08.010 .

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 .