Kolesnikov, Alexander, and Christoph Lampert. Seed, Expand and Constrain: Three Principles for Weakly-Supervised Image Segmentation. Vol. 9908, Springer, 2016, pp. 695–711, doi:10.1007/978-3-319-46493-0_42.

Wysokiski, Marcin, et al. “Correlation Driven d Wave Superconductivity in Anderson Lattice Model: Two Gaps.”10.1103/PhysRevB.94.024517__Physical Review B - Condensed Matter and Materials Physics, vol. 94, no. 2, 024517, American Physical Society, 2016, doi:10.1103/PhysRevB.94.024517.

Martin, Olivier, et al. “Drivers of Structural Features in Gene Regulatory Networks: From Biophysical Constraints to Biological Function.”10.1016/j.plrev.2016.06.002__Physics of Life Reviews, vol. 17, Elsevier, 2016, pp. 124–58, doi:10.1016/j.plrev.2016.06.002.

Barzanjeh, Shabir, and David Vitali. “Phonon Josephson Junction with Nanomechanical Resonators.”10.1103/PhysRevA.93.033846__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3, 033846, American Physical Society, 2016, doi:10.1103/PhysRevA.93.033846.

Martin, Olivier, and Marcin P. Zagórski. “Network Architectures and Operating Principles. Reply to Comments on &;quot;Drivers of Structural Features in Gene Regulatory Networks: From Biophysical Constraints to Biological Function&;quot;”10.1016/j.plrev.2016.06.006__Physics of Life Reviews, vol. 17, Elsevier, 2016, pp. 168–71, doi:10.1016/j.plrev.2016.06.006.

Kolmogorov, Vladimir, et al. “Total Variation on a Tree.”10.1137/15M1010257__SIAM Journal on Imaging Sciences, vol. 9, no. 2, Society for Industrial and Applied Mathematics , 2016, pp. 605–36, doi:10.1137/15M1010257.

Mabillard, Isaac, and Uli Wagner. Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the r-Metastable Range. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12, doi:10.4230/LIPIcs.SoCG.2016.51.

Chonev, Ventsislav K., et al. “On the Complexity of the Orbit Problem.”10.1145/2857050__Journal of the ACM, vol. 63, no. 3, 23, ACM, 2016, doi:10.1145/2857050.

Chonev, Ventsislav K., et al. “On Recurrent Reachability for Continuous Linear Dynamical Systems.”10.1145/2933575.2934548__LICS ’16, IEEE, 2016, pp. 515–24, doi:10.1145/2933575.2934548.

D’Antoni, Loris, et al. QLOSE: Program Repair with Quantitative Objectives. Vol. 9780, Springer, 2016, pp. 383–401, doi:10.1007/978-3-319-41540-6_21.

De Martino, Daniele, et al. “Growth against Entropy in Bacterial Metabolism: The Phenotypic Trade-off behind Empirical Growth Rate Distributions in E. Coli.”10.1088/1478-3975/13/3/036005__Physical Biology, vol. 13, no. 3, 036005, IOP Publishing Ltd., 2016, doi:10.1088/1478-3975/13/3/036005.

Goldade, Ryan, et al. “A Practical Method for High-Resolution Embedded Liquid Surfaces.”10.1111/cgf.12826__Computer Graphics Forum, vol. 35, no. 2, Wiley-Blackwell, 2016, pp. 233–42, doi:10.1111/cgf.12826.

Ugalde, José, et al. “Phosphatidylinositol 4-Phosphate 5-Kinases 1 and 2 Are Involved in the Regulation of Vacuole Morphology during Arabidopsis Thaliana Pollen Development.”10.1016/j.plantsci.2016.05.014__Plant Science, vol. 250, Elsevier, 2016, pp. 10–19, doi:10.1016/j.plantsci.2016.05.014.

Abbott, Richard, et al. “Genomics of Hybridization and Its Evolutionary Consequences.”10.1111/mec.13685__Molecular Ecology, vol. 25, no. 11, Wiley-Blackwell, 2016, pp. 2325–32, doi:10.1111/mec.13685.

Jeschke, Stefan. “Generalized Diffusion Curves: An Improved Vector Representation for Smooth-Shaded Images.”10.1111/cgf.12812__Computer Graphics Forum, vol. 35, no. 2, Wiley-Blackwell, 2016, pp. 71–79, doi:10.1111/cgf.12812.

Miguel Villalba, Eder, et al. “Modeling and Estimation of Energy-Based Hyperelastic Objects.”10.1111/cgf.12840__Computer Graphics Forum, vol. 35, no. 2, Wiley-Blackwell, 2016, pp. 385–96, doi:10.1111/cgf.12840.

Simon, Sibu, et al. “PIN6 Auxin Transporter at Endoplasmic Reticulum and Plasma Membrane Mediates Auxin Homeostasis and Organogenesis in Arabidopsis.”10.1111/nph.14019__New Phytologist, vol. 211, no. 1, Wiley-Blackwell, 2016, pp. 65–74, doi:10.1111/nph.14019.

Ferstl, Florian, et al. “Narrow Band FLIP for Liquid Simulations.”10.1111/cgf.12825__Computer Graphics Forum, vol. 35, no. 2, Wiley-Blackwell, 2016, pp. 225–32, doi:10.1111/cgf.12825.

Van Loon, Erik, et al. “Interaction-Driven Lifshitz Transition with Dipolar Fermions in Optical Lattices.”10.1103/PhysRevB.93.195145__Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 19, 195145, American Physical Society, 2016, doi:10.1103/PhysRevB.93.195145.

Tomski, Andrzej, and Jan Kaczmarczyk. “Gutzwiller Wave Function for Finite Systems: Superconductivity in the Hubbard Model.”10.1088/0953-8984/28/17/175701__Journal of Physics: Condensed Matter, vol. 28, no. 17, 175701, IOP Publishing Ltd., 2016, doi:10.1088/0953-8984/28/17/175701.

Lagator, Mato, et al. “Epistatic Interactions in the Arabinose Cis-Regulatory Element.”10.1093/molbev/msv269__Molecular Biology and Evolution, vol. 33, no. 3, Oxford University Press, 2016, pp. 761–69, doi:10.1093/molbev/msv269.

Könenberg, Martin, et al. “Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential.”10.1088/1742-6596/691/1/012016__Journal of Physics: Conference Series, vol. 691, no. 1, 012016, IOP Publishing Ltd., 2016, doi:10.1088/1742-6596/691/1/012016.

Chakra, Maria, et al. “Coevolutionary Interactions between Farmers and Mafia Induce Host Acceptance of Avian Brood Parasites.”10.1098/rsos.160036__Royal Society Open Science, vol. 3, no. 5, 160036, Royal Society, The, 2016, doi:10.1098/rsos.160036.

Baek, Seung, et al. “Comparing Reactive and Memory-One Strategies of Direct Reciprocity.”10.1038/srep25676__Scientific Reports, vol. 6, 25676, Nature Publishing Group, 2016, doi:10.1038/srep25676.

Frank, Rupert, et al. “Incompatibility of Time-Dependent Bogoliubov–de-Gennes and Ginzburg–Landau Equations.”10.1007/s11005-016-0847-5__Letters in Mathematical Physics, vol. 106, no. 7, Springer, 2016, pp. 913–23, doi:10.1007/s11005-016-0847-5.

Bak, Stanley, et al. Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. Springer, 2016, pp. 155–64, doi:10.1145/2883817.2883837.

Bodova, Katarina, et al. “A General Approximation for the Dynamics of Quantitative Traits.”10.1534/genetics.115.184127__Genetics, vol. 202, no. 4, Genetics Society of America, 2016, pp. 1523–48, doi:10.1534/genetics.115.184127.

Husko, Chad, et al. “Free-Carrier-Induced Soliton Fission Unveiled by in Situ Measurements in Nanophotonic Waveguides.”10.1038/ncomms11332__Nature Communications, vol. 7, 11332 (2016), Nature Publishing Group, 2016, doi:10.1038/ncomms11332.

Tartally, András, et al. “Host Plant Use Drives Genetic Differentiation in Syntopic Populations of Maculinea Alcon.”10.7717/peerj.1865__PeerJ, vol. 2016, no. 3, 1865, PeerJ, 2016, doi:10.7717/peerj.1865.

Bao, Zhigang, et al. “Local Stability of the Free Additive Convolution.”10.1016/j.jfa.2016.04.006__Journal of Functional Analysis, vol. 271, no. 3, Academic Press, 2016, pp. 672–719, doi:10.1016/j.jfa.2016.04.006.

Bach, Volker, et al. “Kinetic Energy Estimates for the Accuracy of the Time-Dependent Hartree-Fock Approximation with Coulomb Interaction.”10.1016/j.matpur.2015.09.003__Journal de Mathématiques Pures et Appliquées, vol. 105, no. 1, Elsevier, 2016, pp. 1–30, doi:10.1016/j.matpur.2015.09.003.

Guzmán, José, and Zoltan Gerevich. “Y Receptors in Synaptic Transmission and Plasticity: Therapeutic Potential in Cognitive Dysfunction.”10.1155/2016/1207393__Neural Plasticity, vol. 2016, 1207393, Hindawi Publishing Corporation, 2016, doi:10.1155/2016/1207393.

Dragoi, Cezara, et al. PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms. Vol. 20–22, ACM, 2016, pp. 400–15, doi:10.1145/2837614.2837650.

Janovjak, Harald L. “Light at the End of the Protein: Crystal Structure of a C-Terminal Light-Sensing Domain.”10.1016/j.str.2016.01.002__Structure, vol. 24, no. 2, Cell Press, 2016, pp. 213–15, doi:10.1016/j.str.2016.01.002.

Calatrava Moreno, Maria, et al. “On the Uncertainty of Interdisciplinarity Measurements Due to Incomplete Bibliographic Data.”10.1007/s11192-016-1842-4__Scientometrics, vol. 107, no. 1, Springer, 2016, pp. 213–32, doi:10.1007/s11192-016-1842-4.

Fathi, Max, and Jan Maas. “Entropic Ricci Curvature Bounds for Discrete Interacting Systems.”10.1214/15-AAP1133__The Annals of Applied Probability, vol. 26, no. 3, Institute of Mathematical Statistics, 2016, pp. 1774–806, doi:10.1214/15-AAP1133.

Toshima, Junko, et al. “Sr/CAP Is Required for Polarized Actin Cable Assembly and Patch Internalization during Clathrin-Mediated Endocytosis.”10.1242/jcs.176651__Journal of Cell Science, vol. 129, no. 2, Company of Biologists, 2016, pp. 367–79, doi:10.1242/jcs.176651.

Toshima, Junko, et al. “Yeast Ep-like Endocytic Protein Pan1p Regulates the Interaction between Endocytic Vesicles, Endosomes and the Actin Cytoskeleton.”10.7554/eLife.10276__ELife, vol. 5, no. February 2016, e10276, eLife Sciences Publications, 2016, doi:10.7554/eLife.10276.

Seiringer, Robert, and Simone Warzel. “Decay of Correlations and Absence of Superfluidity in the Disordered Tonks-Girardeau Gas.”10.1088/1367-2630/18/3/035002__New Journal of Physics, vol. 18, no. 3, 035002, IOP Publishing Ltd., 2016, doi:10.1088/1367-2630/18/3/035002.

Michaek, Mateusz, et al. “Exponential Varieties.”10.1112/plms/pdv066__Proceedings of the London Mathematical Society, vol. 112, no. 1, Oxford University Press, 2016, pp. 27–56, doi:10.1112/plms/pdv066.

Grion, Natalia, et al. “Coherence between Rat Sensorimotor System and Hippocampus Is Enhanced during Tactile Discrimination.”10.1371/journal.pbio.1002384__PLoS Biology, vol. 14, no. 2, e1002384, Public Library of Science, 2016, doi:10.1371/journal.pbio.1002384.

Adibi, Milad, et al. “Centering the Organizing Center in the Arabidopsis Thaliana Shoot Apical Meristem by a Combination of Cytokinin Signaling and Self-Organization.”10.1371/journal.pone.0147830__PLoS One, vol. 11, no. 2, e0147830, Public Library of Science, 2016, doi:10.1371/journal.pone.0147830.

Chen, Xu, et al. “Environmental and Endogenous Control of Cortical Microtubule Orientation.”10.1016/j.tcb.2016.02.003__Trends in Cell Biology, vol. 26, no. 6, Cell Press, 2016, pp. 409–19, doi:10.1016/j.tcb.2016.02.003.

De Martino, Daniele. “Genome-Scale Estimate of the Metabolic Turnover of E. Coli from the Energy Balance Analysis.”10.1088/1478-3975/13/1/016003__Physical Biology, vol. 13, no. 1, 016003, IOP Publishing Ltd., 2016, doi:10.1088/1478-3975/13/1/016003.

Hainzl, Christian, and Robert Seiringer. “The Bardeen–Cooper–Schrieffer Functional of Superconductivity and Its Mathematical Properties.”10.1063/1.4941723__Journal of Mathematical Physics, vol. 57, no. 2, 021101, American Institute of Physics, 2016, doi:10.1063/1.4941723.

Riccio, Paul, et al. “Ret and Et Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.”10.1371/journal.pbio.1002382__PLoS Biology, vol. 14, no. 2, e1002382, Public Library of Science, 2016, doi:10.1371/journal.pbio.1002382.

Ajanki, Oskari H., et al. “Local Spectral Statistics of Gaussian Matrices with Correlated Entries.”10.1007/s10955-016-1479-y__Journal of Statistical Physics, vol. 163, no. 2, Springer, 2016, pp. 280–302, doi:10.1007/s10955-016-1479-y.

Russo, Erica, et al. “Intralymphatic CCL21 Promotes Tissue Egress of Dendritic Cells through Afferent Lymphatic Vessels.”10.1016/j.celrep.2016.01.048__Cell Reports, vol. 14, no. 7, Cell Press, 2016, pp. 1723–34, doi:10.1016/j.celrep.2016.01.048.

Petrat, Sören P., and Peter Pickl. “A New Method and a New Scaling for Deriving Fermionic Mean-Field Dynamics.”10.1007/s11040-016-9204-2__Mathematical Physics, Analysis and Geometry, vol. 19, no. 1, 3, Springer, 2016, doi:10.1007/s11040-016-9204-2.

Marhavý, Peter, et al. “Targeted Cell Elimination Reveals an Auxin-Guided Biphasic Mode of Lateral Root Initiation.”10.1101/gad.276964.115__Genes and Development, vol. 30, no. 4, Cold Spring Harbor Laboratory Press, 2016, pp. 471–83, doi:10.1101/gad.276964.115.

Amaro, Pedro, et al. “Relativistic Evaluation of the Two-Photon Decay of the Metastable 1 State in Berylliumlike Ions with an Effective-Potential Model.”10.1103/PhysRevA.93.032502__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3, 032502, American Physical Society, 2016, doi:10.1103/PhysRevA.93.032502.

Lemoult, Grégoire M., et al. “Directed Percolation Phase Transition to Sustained Turbulence in Couette Flow.”10.1038/nphys3675__Nature Physics, vol. 12, no. 3, Nature Publishing Group, 2016, pp. 254–58, doi:10.1038/nphys3675.

Lewin, Mathieu, et al. “The Mean-Field Approximation and the Non-Linear Schrödinger Functional for Trapped Bose Gases.”10.1090/tran/6537__Transactions of the American Mathematical Society, vol. 368, no. 9, American Mathematical Society, 2016, pp. 6131–57, doi:10.1090/tran/6537.

Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups.”10.1007/s00454-016-9794-2__Discrete &; Computational Geometry, vol. 56, no. 1, Springer, 2016, pp. 126–64, doi:10.1007/s00454-016-9794-2.

Lohse, Konrad, et al. “Efficient Strategies for Calculating Blockwise Likelihoods under the Coalescent.”10.1534/genetics.115.183814__Genetics, vol. 202, no. 2, Genetics Society of America, 2016, pp. 775–86, doi:10.1534/genetics.115.183814.

Beica, Andreea, et al. Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. Vol. 9271, Springer, 2016, pp. 173–91, doi:10.1007/978-3-319-26916-0_10.

Berrisford, John, et al. “Structure of Bacterial Respiratory Complex I.”10.1016/j.bbabio.2016.01.012__Biochimica et Biophysica Acta - Bioenergetics, vol. 1857, no. 7, Elsevier, 2016, pp. 892–901, doi:10.1016/j.bbabio.2016.01.012.

Avvakumov, Sergey. “The Classification of Certain Linked 3-Manifolds in 6-Space.”10.17323/1609-4514-2016-16-1-1-25__Moscow Mathematical Journal, vol. 16, no. 1, Independent University of Moscow, 2016, pp. 1–25, doi:10.17323/1609-4514-2016-16-1-1-25.

Gundert, Anna, and Uli Wagner. “On Topological Minors in Random Simplicial Complexes.”10.1090/proc/12824__Proceedings of the American Mathematical Society, vol. 144, no. 4, American Mathematical Society, 2016, pp. 1815–28, doi:10.1090/proc/12824.

Henzinger, Thomas A., et al. Lipschitz Robustness of Timed I/O Systems. Vol. 9583, Springer, 2016, pp. 250–67, doi:10.1007/978-3-662-49122-5_12.

Nam, Phan, et al. “Diagonalization of Bosonic Quadratic Hamiltonians by Bogoliubov Transformations.”10.1016/j.jfa.2015.12.007__Journal of Functional Analysis, vol. 270, no. 11, Academic Press, 2016, pp. 4340–68, doi:10.1016/j.jfa.2015.12.007.

Qi, Qin, et al. “The Genomic Basis of Adaptation to the Fitness Cost of Rifampicin Resistance in Pseudomonas Aeruginosa.”10.1098/rspb.2015.2452__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1822, 20152452, Royal Society, The, 2016, doi:10.1098/rspb.2015.2452.

Dunaeva, Olga, et al. “The Classification of Endoscopy Images with Persistent Homology.”10.1016/j.patrec.2015.12.012__Pattern Recognition Letters, vol. 83, no. 1, Elsevier, 2016, pp. 13–22, doi:10.1016/j.patrec.2015.12.012.

Fulek, Radoslav, et al. Hanani-Tutte for Radial Planarity II. Vol. 9801, Springer, 2016, pp. 468–81, doi:10.1007/978-3-319-50106-2_36.

Abe, Masayuki, et al. “Structure Preserving Signatures and Commitments to Group Elements.”10.1007/s00145-014-9196-7__Journal of Cryptology, vol. 29, no. 2, Springer, 2016, pp. 363–421, doi:10.1007/s00145-014-9196-7.

Kiermaier, Eva, et al. “Polysialylation Controls Dendritic Cell Trafficking by Regulating Chemokine Recognition.”10.1126/science.aad0512__Science, vol. 351, no. 6269, American Association for the Advancement of Science, 2016, pp. 186–90, doi:10.1126/science.aad0512.

Schwarz, Jan, and Michael K. Sixt. “Quantitative Analysis of Dendritic Cell Haptotaxis.”10.1016/bs.mie.2015.11.004__Methods in Enzymology, vol. 570, Elsevier, 2016, pp. 567–81, doi:10.1016/bs.mie.2015.11.004.

Sadel, Christian. “Anderson Transition at 2 Dimensional Growth Rate on Antitrees and Spectral Theory for Operators with One Propagating Channel.”10.1007/s00023-015-0456-3__Annales Henri Poincare, vol. 17, no. 7, Birkhäuser, 2016, pp. 1631–75, doi:10.1007/s00023-015-0456-3.

Kazda, Alexandr. “CSP for Binary Conservative Relational Structures.”10.1007/s00012-015-0358-8__Algebra Universalis, vol. 75, no. 1, Springer, 2016, pp. 75–84, doi:10.1007/s00012-015-0358-8.

Pausinger, Florian, and Stefan Steinerberger. “On the Discrepancy of Jittered Sampling.”10.1016/j.jco.2015.11.003__Journal of Complexity, vol. 33, Academic Press, 2016, pp. 199–216, doi:10.1016/j.jco.2015.11.003.

Frank, Rupert, et al. “The External Field Dependence of the BCS Critical Temperature.”10.1007/s00220-015-2526-2__Communications in Mathematical Physics, vol. 342, no. 1, Springer, 2016, pp. 189–216, doi:10.1007/s00220-015-2526-2.

Lundholm, Douglas, et al. “Fractional Hardy–Lieb–Thirring and Related Inequalities for Interacting Systems.”10.1007/s00205-015-0923-5__Archive for Rational Mechanics and Analysis, vol. 219, no. 3, Springer, 2016, pp. 1343–82, doi:10.1007/s00205-015-0923-5.

Kelleher, Jerome, et al. “Spread of Pedigree versus Genetic Ancestry in Spatially Distributed Populations.”10.1016/j.tpb.2015.10.008__Theoretical Population Biology, vol. 108, Academic Press, 2016, pp. 1–12, doi:10.1016/j.tpb.2015.10.008.

Zemová, Radka, et al. “A Forward Genetic Screen for New Regulators of Auxin Mediated Degradation of Auxin Transport Proteins in Arabidopsis Thaliana.”10.1007/s00344-015-9553-2__Journal of Plant Growth Regulation, vol. 35, no. 2, Springer, 2016, pp. 465–76, doi:10.1007/s00344-015-9553-2.

Fuchsbauer, Georg, et al. Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions. Vol. 9841, Springer, 2016, pp. 391–408, doi:10.1007/978-3-319-44618-9_21.

Okamoto, Tatsuaki, et al. New Realizations of Somewhere Statistically Binding Hashing and Positional Accumulators. Vol. 9452, Springer, 2016, pp. 121–45, doi:10.1007/978-3-662-48797-6_6.

Schilling, Christian, et al. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.”10.1016/j.biosystems.2016.07.005__Biosystems, vol. 149, Elsevier, 2016, pp. 15–25, doi:10.1016/j.biosystems.2016.07.005.

Bogomolov, Sergiy, et al. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.”10.1007/s10009-015-0393-y__International Journal on Software Tools for Technology Transfer, vol. 18, no. 4, Springer, 2016, pp. 449–67, doi:10.1007/s10009-015-0393-y.

Pielorz, Jasmin, and Christoph Lampert. Optimal Geospatial Allocation of Volunteers for Crisis Management. 7402041, IEEE, 2016, doi:10.1109/ICT-DM.2015.7402041.

Klimova, Anna, and Tamás Rudas. “On the Closure of Relational Models.”10.1016/j.jmva.2015.10.005__Journal of Multivariate Analysis, vol. 143, Elsevier, 2016, pp. 440–52, doi:10.1016/j.jmva.2015.10.005.

Lee, Jioon, and Kevin Schnelli. “Extremal Eigenvalues and Eigenvectors of Deformed Wigner Matrices.”10.1007/s00440-014-0610-8__Probability Theory and Related Fields, vol. 164, no. 1–2, Springer, 2016, pp. 165–241, doi:10.1007/s00440-014-0610-8.

Matousek, Jií, et al. “Untangling Two Systems of Noncrossing Curves.”10.1007/s11856-016-1294-9__Israel Journal of Mathematics, vol. 212, no. 1, Springer, 2016, pp. 37–79, doi:10.1007/s11856-016-1294-9.

Krenn, Stephan, et al. “A Counterexample to the Chain Rule for Conditional HILL Entropy.”10.1007/s00037-015-0120-9__Computational Complexity, vol. 25, no. 3, Springer, 2016, pp. 567–605, doi:10.1007/s00037-015-0120-9.

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Vol. 285, IOS Press, 2016, pp. 1432–39, doi:10.3233/978-1-61499-672-9-1432.

Jiang, Yu, et al. “Use Runtime Verification to Improve the Quality of Medical Care Practice.”10.1145/2889160.2889233__Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–21, doi:10.1145/2889160.2889233.

Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:10.1145/2933575.2934513.

Burton, Benjamin, et al. Finding Non-Orientable Surfaces in 3-Manifolds. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15, doi:10.4230/LIPIcs.SoCG.2016.24.

Chatterjee, Krishnendu, et al. “What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives.”10.1016/j.jcss.2016.02.009__Journal of Computer and System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 878–911, doi:10.1016/j.jcss.2016.02.009.

Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.”10.1016/j.artint.2016.01.007__Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 26–48, doi:10.1016/j.artint.2016.01.007.

Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.

Chatterjee, Krishnendu, et al. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, vol. 2016, AAAI Press, 2016, pp. 3225–32.

Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.

Anonymous, 1, et al. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.

Anonymous, 1, et al. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.

Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.

Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.

Anonymous, 1, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.

Martius, Georg S., et al. “Self-Organized Control of an Tendon Driven Arm by Differential Extrinsic Plasticity.”10.7551/978-0-262-33936-0-ch029__Proceedings of the Artificial Life Conference 2016, vol. 28, MIT Press, 2016, pp. 142–43, doi:10.7551/978-0-262-33936-0-ch029.

Prentice, Jason, et al. “Error-Robust Modes of the Retinal Population Code.”10.1371/journal.pcbi.1005148__PLoS Computational Biology, vol. 12, no. 11, e1005855, Public Library of Science, 2016, doi:10.1371/journal.pcbi.1005148.

Mcmahon, Dino, et al. Data from: A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees. Dryad, 2016, doi:10.5061/dryad.4b565.