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

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

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

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

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

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

Practical round-optimal blind signatures in the standard model from weaker assumptions
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.

New realizations of somewhere statistically binding hashing and positional accumulators
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.

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

Square-free values of reducible polynomials
T.D. Browning, A. Booker, Discrete Analysis 8 (2016) 1–18.

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

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

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

The proportion of failures of the Hasse norm principle
T.D. Browning, R. Newton, Mathematika 62 (2016) 337–347.

Counting rational points on the Cayley ruled cubic
R. De La Bretèche, T.D. Browning, P. Salberger, European Journal of Mathematics 2 (2016) 55–72.

Failures of weak approximation in families
M. Bright, T.D. Browning, D. Loughran, Compositio Mathematica 152 (2016) 1435–1475.

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

Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs
M. Meyn, M. Perálvarez, A. Heuer Jungemann, W. Hertog, M. Ibáñez, R. Nafria, A. Genç, J. Arbiol, M. Kovalenko, J. Carreras, A. Cabot, A. Kanaras, ACS Applied Materials and Interfaces 8 (2016) 19579–19586.

Selective scattering between Floquet Bloch and Volkov states in a topological insulator
F. Mahmood, C. Chan, Z. Alpichshev, D. Gardner, Y. Lee, P. Lee, N. Gedik, Nature Physics 12 (2016) 306–310.

Expanding the interactome of the noncanonical NF-;aB signaling pathway
K. Willmann, R. Sacco, R. Martins, W. Garncarz, A. Krolo, S. Knapp, K. Bennett, K. Boztug, Journal of Proteome Research 15 (2016) 2900–2909.

The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.

Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.

Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.

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

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

Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.

Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.

Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.

Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.

Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.

Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.

Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.

Retrovirus maturation—an extraordinary structural transformation
S. Mattei, F.K. Schur, J.A. Briggs, Current Opinion in Virology 18 (2016) 27–35.

Quantum phase magnification
O. Hosten, R. Krishnakumar, N. Engelsen, M. Kasevich, Science 352 (2016) 1552–1555.

Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors
M. Mondelli, S.H. Hassani, R.L. Urbanke, IEEE Transactions on Information Theory 62 (2016) 6698–6712.

Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels
S. Kudekar, S. Kumar, M. Mondelli, H.D. Pfister, R. Urbankez, in:, 2016 IEEE International Symposium on Information Theory , IEEE, 2016, pp. 1755–1759.

Magnetic torque anomaly in the quantum limit of Weyl semimetals
P.J.W. Moll, A.C. Potter, N.L. Nair, B.J. Ramshaw, K.A. Modic, S. Riggs, B. Zeng, N.J. Ghimire, E.D. Bauer, R. Kealhofer, F. Ronning, J.G. Analytis, Nature Communications 7 (2016).

Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors
E. Mourad, L. Coustan, P. Lannelongue, D. Zigah, A. Mehdi, A. Vioux, S.A. Freunberger, F. Favier, O. Fontaine, Nature Materials 16 (2016) 446–453.

Batteries: Charging ahead rationally
S.A. Freunberger, Nature Energy 1 (2016).

Arabidopsis type II phosphatidylinositol 4-kinase PK;35 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor AN
Y. Tang, C.-Y. Zhao, S. Tan, H.-W. Xue, PLOS Genetics 12 (2016).

Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets
Z. Zhu, F. Zhang, H. Hu, A. Bakshi, M.R. Robinson, J.E. Powell, G.W. Montgomery, M.E. Goddard, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 48 (2016) 481–487.

Are lock free concurrent algorithms practically wait free 
D.-A. Alistarh, K. Censor Hillel, N. Shavit, Journal of the ACM 63 (2016).

Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories
H.C. Barron, T.P. Vogels, U.E. Emir, T.R. Makin, J. O’Shea, S. Clare, S. Jbabdi, R.J. Dolan, T.E.J. Behrens, Neuron 90 (2016) 191–203.

Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.

Receptive field formation by interacting excitatory and inhibitory synaptic plasticity
C. Clopath, T.P. Vogels, R.C. Froemke, H. Sprekeler, BioRxiv (2016).

Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform
J. Singer, K. Manzano-Szalai, J. Singer, K. Thell, A. Bentley-Lukschal, C. Stremnitzer, F. Roth-Walter, M. Weghofer, M. Ritter, K. Pino Tossi, M. Hörer, U. Michaelis, E. Jensen-Jarolim, OncoImmunology 5 (2016).

Enhancing bitcoin security and performance with strong consistency via collective signing
E. Kokoris Kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser, B. Ford, in:, Proceedings of the 25th USENIX Conference on Security Symposium, USENIX Association, 2016, pp. 279–296.

Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape?
P. Drobinski, B. Alonzo, S. Bastin, N.D. Silva, C.J. Muller, Journal of Geophysical Research: Atmospheres 121 (2016) 3100–3119.

Cycles and matchings in randomly perturbed digraphs and hypergraphs
M. Krivelevich, M.A. Kwan, B. Sudakov, Combinatorics, Probability and Computing 25 (2016) 909–927.

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

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

Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level
A. Potter, M. Serbyn, A. Vishwanath, Physical Review X 6 (2016).

Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene
L. Campos, T. Taychatanapat, M. Serbyn, K. Surakitbovorn, K. Watanabe, T. Taniguchi, D. Abanin, P. Jarillo Herrero, Physical Review Letters 117 (2016).

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

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

Targeting protein–protein interactions, a wide open field for drug design
M.M. Bakail, F. Ochsenbein, Comptes Rendus Chimie 19 (2016) 19–27.

Dynamic self-assembly of microscale rotors and swimmers
M.S. Davies Wykes, J.A. Palacci, T. Adachi, L. Ristroph, X. Zhong, M.D. Ward, J. Zhang, M.J. Shelley, Soft Matter 12 (2016) 4584–4589.

Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam
H. Moyses, J.A. Palacci, S. Sacanna, D.G. Grier, Soft Matter 12 (2016) 6357–6364.

Mechanism for DNA transposons to generate introns on genomic scales
J.T. Huff, D. Zilberman, S.W. Roy, Nature 538 (2016) 533–536.

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

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

Power-law entanglement spectrum in many-body localized phases
M. Serbyn, A. Michailidis, D. Abanin, Z. Papi, Physical Review Letters 117 (2016).

Spectral statistics across the many-body localization transition
M. Serbyn, J. Moore, Physical Review B - Condensed Matter and Materials Physics 93 (2016).

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

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

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

Superconductivity and nematic fluctuations in a model of doped FeSe monolayers: Determinant quantum Monte Carlo study
P. Dumitrescu, M. Serbyn, R. Scalettar, A. Vishwanath, Physical Review B - Condensed Matter and Materials Physics 94 (2016).

An enhanced temperature index model for debris-covered glaciers accounting for thickness effect
M. Carenzo, F. Pellicciotti, J. Mabillard, T. Reid, B.W. Brock, Advances in Water Resources 94 (2016) 457–469.

Contrasting climate change impact on river flows from high-altitude catchments in the Himalayan and Andes Mountains
S. Ragettli, W.W. Immerzeel, F. Pellicciotti, PNAS 113 (2016) 9222–9227.

Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery
P. Kraaijenbrink, S.W. Meijer, J.M. Shea, F. Pellicciotti, S.M. De Jong, W.W. Immerzeel, Annals of Glaciology 57 (2016) 103–113.

Quantifying volume loss from ice cliffs on debris-covered glaciers using high-resolution terrestrial and aerial photogrammetry
F. BRUN, P. BURI, E.S. MILES, P. WAGNON, J. STEINER, E. BERTHIER, S. RAGETTLI, P. KRAAIJENBRINK, W.W. IMMERZEEL, F. Pellicciotti, Journal of Glaciology 62 (2016) 684–695.

Air temperature variability in a high-elevation Himalayan catchment
M. Heynen, E. Miles, S. Ragettli, P. Buri, W.W. Immerzeel, F. Pellicciotti, Annals of Glaciology 57 (2016) 212–222.

Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal
E.S. Miles, F. Pellicciotti, I.C. Willis, J.F. Steiner, P. Buri, N.S. Arnold, Annals of Glaciology 57 (2016) 29–40.

A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers
P. Buri, F. Pellicciotti, J.F. Steiner, E.S. Miles, W.W. Immerzeel, Annals of Glaciology 57 (2016) 199–211.

Air temperature distribution and energy-balance modelling of a debris-covered glacier
T.E. SHAW, B.W. BROCK, C.L. FYFFE, F. Pellicciotti, N. RUTTER, F. DIOTRI, Journal of Glaciology 62 (2016) 185–198.

A physically based 3D model of ice cliff evolution over debriscovered glaciers
P. Buri, E.S. Miles, J.F. Steiner, W.W. Immerzeel, P. Wagnon, F. Pellicciotti, Journal of Geophysical Research: Earth Surface 121 (2016) 2471–2493.

Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal
S. Ragettli, T. Bolch, F. Pellicciotti, The Cryosphere 10 (2016) 2075–2097.

DNA demethylation is initiated in the central cells of Arabidopsis and rice
K. Park, M.Y. Kim, M. Vickers, J.-S. Park, Y. Hyun, T. Okamoto, D. Zilberman, R.L. Fischer, X. Feng, Y. Choi, S. Scholten, Proceedings of the National Academy of Sciences 113 (2016) 15138–15143.

Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues
P.-H. Hsieh, S. He, T. Buttress, H. Gao, M. Couchman, R.L. Fischer, D. Zilberman, X. Feng, Proceedings of the National Academy of Sciences 113 (2016) 15132–15137.

High performance computing at IST Austria: Modelling the human hippocampus
A. Schlögl, S. Stadlbauer, in:, AHP - Austrian HPC Meeting 2016, VSC - Vienna Scientific Cluster, 2016, p. 37.

Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization
P.K. Kundu, S. Das, J. Ahrens, R. Klajn, Nanoscale 8 (2016) 19280–19286.

Inside cover: Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters (ChemPhysChem 12/2016)
T. Udayabhaskararao, P.K. Kundu, J. Ahrens, R. Klajn, Inside Cover: Reversible Photoisomerization of Spiropyran on the Surfaces of Au25 Nanoclusters (ChemPhysChem 12/2016), Wiley, 2016.

Long-term stability of the HR 8799 planetary system without resonant lock
Y.L.L. Götberg, M.B. Davies, A.J. Mustill, A. Johansen, R.P. Church, Astronomy &; Astrophysics 592 (2016).

Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.

Attosecond delays in molecular photoionization
M. Huppert, I. Jordan, D.R. Baykusheva, A. von Conta, H.J. Wörner, Physical Review Letters 117 (2016).

In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses
R. Rajeev, J. Hellwagner, A. Schumacher, I. Jordan, M. Huppert, A. Tehlar, B.R. Niraghatam, D.R. Baykusheva, N. Lin, A. von Conta, H.J. Wörner, Light: Science &; Applications 5 (2016) e16170–e16170.

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

Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.

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

Studying the complexities of transcriptional regulation
G. Rieckh, Studying the Complexities of Transcriptional Regulation, Institute of Science and Technology Austria, 2016.

Optical functionalization of human class A orphan G-protein coupled receptors
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, Institute of Science and Technology Austria, 2016.

Quantitative analysis of haptotactic cell migration
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, Institute of Science and Technology Austria, 2016.

Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, Institute of Science and Technology Austria, 2016.

Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.

Symmetric spike timing-dependent plasticity at C–C synapses optimizes storage and recall in autoassociative networks
R.K. Mishra, S. Kim, J. Guzmán, P.M. Jonas, Nature Communications 7 (2016).

Synaptic plasticity rules at C-C recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at C-C Recurrent Synapses in Hippocampus, Institute of Science and Technology Austria, 2016.

Evolutionary proccesses in variable emvironments
S. Novak, Evolutionary Proccesses in Variable Emvironments, Institute of Science and Technology Austria, 2016.

Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.

Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.

Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.