Könenberg M, Moser T, Seiringer R, Yngvason J. 2016. Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential. Journal of Physics: Conference Series. 24th International Laser Physics Workshop (LPHYS’15) vol. 691, 012016.

Chakra M, Hilbe C, Traulsen A. 2016. Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites. Royal Society Open Science. 3(5), 160036.

Baek S, Jeong H, Hilbe C, Nowak M. 2016. Comparing reactive and memory-one strategies of direct reciprocity. Scientific Reports. 6, 25676.

Frank R, Hainzl C, Schlein B, Seiringer R. 2016. Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations. Letters in Mathematical Physics. 106(7), 913–923.

Bodova K, Tkadik G, Barton NH. 2016. A general approximation for the dynamics of quantitative traits. Genetics. 202(4), 1523–1548.

Husko C, Wulf M, Lefrançois S, Combrié S, Lehoucq G, De Rossi A, Eggleton B, Kuipers L. 2016. Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides. Nature Communications. 7, 11332 (2016).

Tartally A, Kelager A, Fürst M, Nash D. 2016. Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon. PeerJ. 2016(3), 1865.

Bao Z, Erdös L, Schnelli K. 2016. Local stability of the free additive convolution. Journal of Functional Analysis. 271(3), 672–719.

Bach V, Breteaux S, Petrat SP, Pickl P, Tzaneteas T. 2016. Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction. Journal de Mathématiques Pures et Appliquées. 105(1), 1–30.

Guzmán J, Gerevich Z. 2016. Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction. Neural Plasticity. 2016, 1207393.

Dragoi C, Henzinger TA, Zufferey D. 2016. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 20–22, 400–415.

Calatrava Moreno M, Auzinger T, Werthner H. 2016. On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. 107(1), 213–232.

Fathi M, Maas J. 2016. Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. 26(3), 1774–1806.

Toshima J, Horikomi C, Okada A, Hatori M, Nagano M, Masuda A, Yamamoto W, Siekhaus DE, Toshima J. 2016. Sr/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis. Journal of Cell Science. 129(2), 367–379.

Toshima J, Furuya E, Nagano M, Kanno C, Sakamoto Y, Ebihara M, Siekhaus DE, Toshima J. 2016. Yeast Ep-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. eLife. 5(February 2016), e10276.

Seiringer R, Warzel S. 2016. Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. 18(3), 035002.

Michaek M, Sturmfels B, Uhler C, Zwiernik P. 2016. Exponential varieties. Proceedings of the London Mathematical Society. 112(1), 27–56.

Grion N, Akrami A, Zuo Y, Stella F, Diamond M. 2016. Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology. 14(2), e1002384.

Adibi M, Yoshida S, Weijers D, Fleck C. 2016. Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. 11(2), e0147830.

Chen X, Wu S, Liu Z, Friml J. 2016. Environmental and endogenous control of cortical microtubule orientation. Trends in Cell Biology. 26(6), 409–419.

De Martino D. 2016. Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis. Physical Biology. 13(1), 016003.

Hainzl C, Seiringer R. 2016. The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. 57(2), 021101.

Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. 2016. Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis. PLoS Biology. 14(2), e1002382.

Ajanki OH, Erdös L, Krüger TH. 2016. Local spectral statistics of Gaussian matrices with correlated entries. Journal of Statistical Physics. 163(2), 280–302.

Russo E, Teijeira A, Vaahtomeri K, Willrodt A, Bloch J, Nitschké M, Santambrogio L, Kerjaschki D, Sixt MK, Halin C. 2016. Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels. Cell Reports. 14(7), 1723–1734.

Petrat SP, Pickl P. 2016. A new method and a new scaling for deriving fermionic mean-field dynamics. Mathematical Physics, Analysis and Geometry. 19(1), 3.

Marhavý P, Montesinos López JC, Abuzeineh A, Van Damme D, Vermeer J, Duclercq J, Rakusova H, Marhavá P, Friml J, Geldner N, Benková E. 2016. Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation. Genes and Development. 30(4), 471–483.

Amaro P, Fratini F, Safari L, Machado J, Guerra M, Indelicato P, Santos J. 2016. Relativistic evaluation of the two-photon decay of the metastable 1 state in berylliumlike ions with an effective-potential model. Physical Review A - Atomic, Molecular, and Optical Physics. 93(3), 032502.

Lewin M, Nam P, Rougerie N. 2016. The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Transactions of the American Mathematical Society. 368(9), 6131–6157.

Franek P, Krcál M. 2016. On computability and triviality of well groups. Discrete &; Computational Geometry. 56(1), 126–164.

Lohse K, Chmelik M, Martin S, Barton NH. 2016. Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. 202(2), 775–786.

Beica A, Guet CC, Petrov T. 2016. Efficient reduction of kappa models by static inspection of the rule-set. HSB: Hybrid Systems Biology, LNCS, vol. 9271, 173–191.

Avvakumov S. 2016. The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. 16(1), 1–25.

Gundert A, Wagner U. 2016. On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. 144(4), 1815–1828.

Henzinger TA, Otop J, Samanta R. 2016. Lipschitz robustness of timed I/O systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 250–267.

Nam P, Napiórkowski MM, Solovej J. 2016. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 270(11), 4340–4368.

Qi Q, Toll Riera M, Heilbron K, Preston G, Maclean RC. 2016. The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa. Proceedings of the Royal Society of London Series B Biological Sciences. 283(1822), 20152452.

Dunaeva O, Edelsbrunner H, Lukyanov A, Machin M, Malkova D, Kuvaev R, Kashin S. 2016. The classification of endoscopy images with persistent homology. Pattern Recognition Letters. 83(1), 13–22.

Fulek R, Pelsmajer M, Schaefer M. 2016. Hanani-Tutte for radial planarity II. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 468–481.

Kiermaier E, Moussion C, Veldkamp C, Gerardy  Schahn R, de Vries I, Williams L, Chaffee G, Phillips A, Freiberger F, Imre R, Taleski D, Payne R, Braun A, Förster R, Mechtler K, Mühlenhoff M, Volkman B, Sixt MK. 2016. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 351(6269), 186–190.

Sadel C. 2016. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 17(7), 1631–1675.

Kazda A. 2016. CSP for binary conservative relational structures. Algebra Universalis. 75(1), 75–84.

Pausinger F, Steinerberger S. 2016. On the discrepancy of jittered sampling. Journal of Complexity. 33, 199–216.

Frank R, Hainzl C, Seiringer R, Solovej J. 2016. The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. 342(1), 189–216.

Lundholm D, Nam P, Portmann F. 2016. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 219(3), 1343–1382.

Kelleher J, Etheridge A, Véber A, Barton NH. 2016. Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. 108, 1–12.

Zemová R, Zwiewka M, Bielach A, Robert H, Friml J. 2016. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. 35(2), 465–476.

Fuchsbauer G, Hanser C, Kamath Hosdurg C, Slamanig D. 2016. Practical round-optimal blind signatures in the standard model from weaker assumptions. SCN: Security and Cryptography for Networks, LNCS, vol. 9841, 391–408.

Okamoto T, Pietrzak KZ, Waters B, Wichs D. 2016. New realizations of somewhere statistically binding hashing and positional accumulators. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 9452, 121–145.

Bogomolov S, Donzé A, Frehse G, Grosu R, Johnson T, Ladan H, Podelski A, Wehrle M. 2016. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 18(4), 449–467.

Klimova A, Rudas T. 2016. On the closure of relational models. Journal of Multivariate Analysis. 143, 440–452.

Lee J, Schnelli K. 2016. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. 164(1–2), 165–241.

Matousek J, Sedgwick E, Tancer M, Wagner U. 2016. Untangling two systems of noncrossing curves. Israel Journal of Mathematics. 212(1), 37–79.

Krenn S, Pietrzak KZ, Wadia A, Wichs D. 2016. A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. 25(3), 567–605.

Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of a single step of magic: The gathering. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285, 1432–1439.

Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, vol. 05-08-July-2016, 247–256.

Burton B, de Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 24.1-24.15.

Chatterjee K, Chmelik M, Tracol M. 2016. What is decidable about partially observable Markov decision processes with <9-regular objectives. Journal of Computer and System Sciences. 82(5), 878–911.

Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2016. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 234, 26–48.

Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.

Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.

Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.

Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.

Martius GS, Hostettler R, Knoll A, Der R. 2016. Self-organized control of an tendon driven arm by differential extrinsic plasticity. Proceedings of the Artificial Life Conference 2016. ALIFE 2016: 15th International Conference on the Synthesis and Simulation of Living Systems vol. 28, 142–143.

Prentice J, Marre O, Ioffe M, Loback A, Tkadik G, Berry M. 2016. Error-robust modes of the retinal population code. PLoS Computational Biology. 12(11), e1005855.

Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. 2016. Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees, Dryad,10.5061/dryad.4b565 .

Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. 2016. Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. 14(12), e2000234.

Zagórski MP, Burda Z, Wacaw B. 2016. Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. 12(12), e1005218.

Mcmahon D, Natsopoulou M, Doublet V, Fürst M, Weging S, Brown M, Gogol Döring A, Paxton R. 2016. Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. 283(1833), 20160811.

Mcmahon D, Natsopoulou M, Doublet V, Fürst M, Weging S, Brown M, Gogol Döring A, Paxton R. 2016. Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss, Dryad,10.5061/dryad.cq7t1 .

Hilbe C, Hagel K, Milinski M. 2016. Asymmetric power boosts extortion in an economic experiment. PLoS One. 11(10), e0163867.

Hillenbrand P, Gerland U, Tkadik G. 2016. Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information. PLoS One. 11(9), e0163628.

Boehm A, Arnoldini M, Bergmiller T, Röösli T, Bigosch C, Ackermann M. 2016. Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. 12(4), e1005974.

Schlögl A, Stadlbauer S. 2016. High performance computing at IST Austria: Modelling the human hippocampus. AHP - Austrian HPC Meeting 2016. AHPC: Austrian HPC Meeting, 37.

Avni G, Henzinger TA, Kupferman O. 2016. Dynamic resource allocation games. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928, 153–166.

Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. 2016. Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. 33(3), 770–782.

Acar H. 2016. Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.

Edelsbrunner H, Pausinger F. 2016. Approximation and convergence of the intrinsic volume. Advances in Mathematics. 287, 674–703.

Rieckh G. 2016. Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.

Morri M. 2016. Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.

Schwarz J. 2016. Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.

Pentina A. 2016. Theoretical foundations of multi-task lifelong learning. Institute of Science and Technology Austria.

Mabillard I. 2016. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.

Mishra RK, Kim S, Guzmán J, Jonas PM. 2016. Symmetric spike timing-dependent plasticity at C–C synapses optimizes storage and recall in autoassociative networks. Nature Communications. 7, 11552.

Mishra RK. 2016. Synaptic plasticity rules at C-C recurrent synapses in hippocampus. Institute of Science and Technology Austria.

Novak S. 2016. Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.

Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria.

Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Linear distances between Markov chains. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 20.

Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Faster statistical model checking for unbounded temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9636, 112–129.

Daca P, Gupta A, Henzinger TA. 2016. Abstraction-driven concolic testing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 328–347.

Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer Aided Verification, LNCS, vol. 9780, 230–248.

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2016. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. ESA: European Symposium on Algorithms, LIPIcs, vol. 57, 28.

Hahn D, Wojtan C. 2016. Fast approximations for boundary element based brittle fracture simulation. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35, 104.

Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Offline witness encryption. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 285–303.

Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Constrained PRFs for unbounded inputs. CT-RSA: Topics in Cryptology, LNCS, vol. 9610, 413–428.

Abusalah HM, Fuchsbauer G. 2016. Constrained PRFs for unbounded inputs with short keys. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 445–463.

Gschaider-Reichhart E, Inglés Prieto Á, Tichy A-M, Mckenzie C, Janovjak HL. 2016. A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. 55(21), 6339–6342.