R. Frank, C. Hainzl, R. Seiringer, and J. Solovej, “The external field dependence of the BCS critical temperature,” Communications in Mathematical Physics, vol. 342, no. 1. Springer, pp. 189–216, 2016.

D. Lundholm, P. Nam, and F. Portmann, “Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems,” Archive for Rational Mechanics and Analysis, vol. 219, no. 3. Springer, pp. 1343–1382, 2016.

J. Kelleher, A. Etheridge, A. Véber, and N. H. Barton, “Spread of pedigree versus genetic ancestry in spatially distributed populations,” Theoretical Population Biology, vol. 108. Academic Press, pp. 1–12, 2016.

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

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

T. Okamoto, K. Z. Pietrzak, B. Waters, and D. Wichs, “New realizations of somewhere statistically binding hashing and positional accumulators,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand, 2016, vol. 9452, pp. 121–145.

S. Bogomolov et al., “Guided search for hybrid systems based on coarse-grained space abstractions,” International Journal on Software Tools for Technology Transfer, vol. 18, no. 4. Springer, pp. 449–467, 2016.

T. D. Browning and A. Booker, “Square-free values of reducible polynomials,” Discrete Analysis, vol. 8. pp. 1–18, 2016.

A. Klimova and T. Rudas, “On the closure of relational models,” Journal of Multivariate Analysis, vol. 143. Elsevier, pp. 440–452, 2016.

J. Lee and K. Schnelli, “Extremal eigenvalues and eigenvectors of deformed Wigner matrices,” Probability Theory and Related Fields, vol. 164, no. 1–2. Springer, pp. 165–241, 2016.

J. Matousek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems of noncrossing curves,” Israel Journal of Mathematics, vol. 212, no. 1. Springer, pp. 37–79, 2016.

T. D. Browning and R. Newton, “The proportion of failures of the Hasse norm principle,” Mathematika, vol. 62, no. 2. Cambridge University Press, pp. 337–347, 2016.

R. De La Bretèche, T. D. Browning, and P. Salberger, “Counting rational points on the Cayley ruled cubic,” European Journal of Mathematics, vol. 2, no. 1. Springer Nature, pp. 55–72, 2016.

M. Bright, T. D. Browning, and D. Loughran, “Failures of weak approximation in families,” Compositio Mathematica, vol. 152, no. 7. Cambridge University Press, pp. 1435–1475, 2016.

S. Krenn, K. Z. Pietrzak, A. Wadia, and D. Wichs, “A counterexample to the chain rule for conditional HILL entropy,” Computational Complexity, vol. 25, no. 3. Springer, pp. 567–605, 2016.

M. Meyn et al., “Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs,” ACS Applied Materials and Interfaces, vol. 8, no. 30. American Chemical Society, pp. 19579–19586, 2016.

F. Mahmood et al., “Selective scattering between Floquet Bloch and Volkov states in a topological insulator,” Nature Physics, vol. 12, no. 4. Nature Publishing Group, pp. 306–310, 2016.

K. Willmann et al., “Expanding the interactome of the noncanonical NF-;aB signaling pathway,” Journal of Proteome Research, vol. 15, no. 9. American Chemical Society, pp. 2900–2909, 2016.

K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.

K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.

B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.

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

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

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

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

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

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

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

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

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

S. Mattei, F. K. Schur, and J. A. Briggs, “Retrovirus maturation—an extraordinary structural transformation,” Current Opinion in Virology, vol. 18, no. 6. Elsevier, pp. 27–35, 2016.

O. Hosten, R. Krishnakumar, N. Engelsen, and M. Kasevich, “Quantum phase magnification,” Science, vol. 352, no. 6293. American Association for the Advancement of Science, pp. 1552–1555, 2016.

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

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

P. J. W. Moll et al., “Magnetic torque anomaly in the quantum limit of Weyl semimetals,” Nature Communications, vol. 7. Springer Nature, 2016.

E. Mourad et al., “Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors,” Nature Materials, vol. 16, no. 4. Springer Nature, pp. 446–453, 2016.

S. A. Freunberger, “Batteries: Charging ahead rationally,” Nature Energy, vol. 1, no. 6. Springer Nature, 2016.

Y. Tang, C.-Y. Zhao, S. Tan, and H.-W. Xue, “Arabidopsis type II phosphatidylinositol 4-kinase PK;35 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor AN,” PLOS Genetics, vol. 12, no. 8. Public Library of Science, 2016.

Z. Zhu et al., “Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets,” Nature Genetics, vol. 48, no. 5. Springer Nature, pp. 481–487, 2016.

D.-A. Alistarh, K. Censor Hillel, and N. Shavit, “Are lock free concurrent algorithms practically wait free ,” Journal of the ACM, vol. 63, no. 4. ACM, 2016.

H. C. Barron et al., “Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories,” Neuron, vol. 90, no. 1. Elsevier, pp. 191–203, 2016.

G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Self-organized control of an tendon driven arm by differential extrinsic plasticity,” in Proceedings of the Artificial Life Conference 2016, Cancun, Mexico, 2016, vol. 28, pp. 142–143.

C. Clopath, T. P. Vogels, R. C. Froemke, and H. Sprekeler, “Receptive field formation by interacting excitatory and inhibitory synaptic plasticity,” bioRxiv. Cold Spring Harbor Laboratory, 2016.

J. Singer et al., “Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform,” OncoImmunology, vol. 5, no. 7. Taylor &; Francis, 2016.

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

P. Drobinski, B. Alonzo, S. Bastin, N. D. Silva, and C. J. Muller, “Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape?,” Journal of Geophysical Research: Atmospheres, vol. 121, no. 7. American Geophysical Union, pp. 3100–3119, 2016.

M. Krivelevich, M. A. Kwan, and B. Sudakov, “Cycles and matchings in randomly perturbed digraphs and hypergraphs,” Combinatorics, Probability and Computing, vol. 25, no. 6. Cambridge University Press, pp. 909–927, 2016.

J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkadik, and M. Berry, “Error-robust modes of the retinal population code,” PLoS Computational Biology, vol. 12, no. 11. Public Library of Science, 2016.

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

A. Potter, M. Serbyn, and A. Vishwanath, “Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level,” Physical Review X, vol. 6, no. 3. American Physical Society, 2016.

L. Campos et al., “Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene,” Physical Review Letters, vol. 117, no. 6. American Physical Society, 2016.

C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, and N. Bierne, “Shedding light on the grey zone of speciation along a continuum of genomic divergence,” PLoS Biology, vol. 14, no. 12. Public Library of Science, 2016.

M. P. Zagórski, Z. Burda, and B. Wacaw, “Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks,” PLoS Computational Biology, vol. 12, no. 12. Public Library of Science, 2016.

M. M. Bakail and F. Ochsenbein, “Targeting protein–protein interactions, a wide open field for drug design,” Comptes Rendus Chimie, vol. 19, no. 1–2. Elsevier, pp. 19–27, 2016.

M. S. Davies Wykes et al., “Dynamic self-assembly of microscale rotors and swimmers,” Soft Matter, vol. 12, no. 20. Royal Society of Chemistry, pp. 4584–4589, 2016.

H. Moyses, J. A. Palacci, S. Sacanna, and D. G. Grier, “Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam,” Soft Matter, vol. 12, no. 30. Royal Society of Chemistry , pp. 6357–6364, 2016.

J. T. Huff, D. Zilberman, and S. W. Roy, “Mechanism for DNA transposons to generate introns on genomic scales,” Nature, vol. 538, no. 7626. Springer Nature , pp. 533–536, 2016.

D. Mcmahon et al., “Elevated virulence of an emerging viral genotype as a driver of honeybee loss,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1833. Royal Society, The, 2016.

D. Mcmahon et al., “Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss.” Dryad, 2016.

M. Serbyn, A. Michailidis, D. Abanin, and Z. Papi, “Power-law entanglement spectrum in many-body localized phases,” Physical Review Letters, vol. 117, no. 16. American Physical Society, 2016.

M. Serbyn and J. Moore, “Spectral statistics across the many-body localization transition,” Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 4. American Physical Society, 2016.

C. Hilbe, K. Hagel, and M. Milinski, “Asymmetric power boosts extortion in an economic experiment,” PLoS One, vol. 11, no. 10. Public Library of Science, 2016.

P. Hillenbrand, U. Gerland, and G. Tkadik, “Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information,” PLoS One, vol. 11, no. 9. Public Library of Science, 2016.

A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, and M. Ackermann, “Genetic manipulation of glycogen allocation affects replicative lifespan in E coli,” PLoS Genetics, vol. 12, no. 4. Public Library of Science, 2016.

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

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

S. Ragettli, W. W. Immerzeel, and F. Pellicciotti, “Contrasting climate change impact on river flows from high-altitude catchments in the Himalayan and Andes Mountains,” PNAS, vol. 113, no. 33. Proceedings of the National Academy of Sciences, pp. 9222–9227, 2016.

P. Kraaijenbrink, S. W. Meijer, J. M. Shea, F. Pellicciotti, S. M. De Jong, and W. W. Immerzeel, “Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 103–113, 2016.

F. BRUN et al., “Quantifying volume loss from ice cliffs on debris-covered glaciers using high-resolution terrestrial and aerial photogrammetry,” Journal of Glaciology, vol. 62, no. 234. Cambridge University Press, pp. 684–695, 2016.

M. Heynen, E. Miles, S. Ragettli, P. Buri, W. W. Immerzeel, and F. Pellicciotti, “Air temperature variability in a high-elevation Himalayan catchment,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 212–222, 2016.

E. S. Miles, F. Pellicciotti, I. C. Willis, J. F. Steiner, P. Buri, and N. S. Arnold, “Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 29–40, 2016.

P. Buri, F. Pellicciotti, J. F. Steiner, E. S. Miles, and W. W. Immerzeel, “A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 199–211, 2016.

T. E. SHAW, B. W. BROCK, C. L. FYFFE, F. Pellicciotti, N. RUTTER, and F. DIOTRI, “Air temperature distribution and energy-balance modelling of a debris-covered glacier,” Journal of Glaciology, vol. 62, no. 231. Cambridge University Press, pp. 185–198, 2016.

P. Buri, E. S. Miles, J. F. Steiner, W. W. Immerzeel, P. Wagnon, and F. Pellicciotti, “A physically based 3D model of ice cliff evolution over debriscovered glaciers,” Journal of Geophysical Research: Earth Surface, vol. 121, no. 12. American Geophysical Union, pp. 2471–2493, 2016.

S. Ragettli, T. Bolch, and F. Pellicciotti, “Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal,” The Cryosphere, vol. 10, no. 5. Copernicus Publications, pp. 2075–2097, 2016.

K. Park et al., “DNA demethylation is initiated in the central cells of Arabidopsis and rice,” Proceedings of the National Academy of Sciences, vol. 113, no. 52. National Academy of Sciences, pp. 15138–15143, 2016.

P.-H. Hsieh et al., “Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues,” Proceedings of the National Academy of Sciences, vol. 113, no. 52. National Academy of Sciences, pp. 15132–15137, 2016.

A. Schlögl and S. Stadlbauer, “High performance computing at IST Austria: Modelling the human hippocampus,” in AHP - Austrian HPC Meeting 2016, Grundlsee, Austria, 2016, p. 37.

P. K. Kundu, S. Das, J. Ahrens, and R. Klajn, “Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization,” Nanoscale, vol. 8, no. 46. Royal Society of Chemistry, pp. 19280–19286, 2016.

T. Udayabhaskararao, P. K. Kundu, J. Ahrens, and R. Klajn, Inside cover: Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters (ChemPhysChem 12/2016), vol. 17, no. 12. Wiley, 2016, pp. 1711–1711.

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

G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 153–166.

M. Huppert, I. Jordan, D. R. Baykusheva, A. von Conta, and H. J. Wörner, “Attosecond delays in molecular photoionization,” Physical Review Letters, vol. 117, no. 9. American Physical Society, 2016.

R. Rajeev et al., “In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses,” Light: Science &; Applications, vol. 5, no. 11. Springer Nature, pp. e16170–e16170, 2016.

S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria,” Molecular Biology and Evolution, vol. 33, no. 3. Oxford University Press, pp. 770–782, 2016.

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

H. Edelsbrunner and F. Pausinger, “Approximation and convergence of the intrinsic volume,” Advances in Mathematics, vol. 287. Academic Press, pp. 674–703, 2016.

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

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

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

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

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

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

R. K. Mishra, “Synaptic plasticity rules at C-C recurrent synapses in hippocampus,” Institute of Science and Technology Austria, 2016.

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

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

P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.

P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.

P. Daca, A. Gupta, and T. A. Henzinger, “Abstraction-driven concolic testing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 328–347.

P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 230–248.