Resilience for the Littlewood-Offord problem
A.S. Bandeira, A. Ferber, M.A. Kwan, Electronic Notes in Discrete Mathematics 61 (2017) 93–99.

Bounded-degree spanning trees in randomly perturbed graphs
M. Krivelevich, M.A. Kwan, B. Sudakov, SIAM Journal on Discrete Mathematics 31 (2017) 155–171.

Resilience for the Littlewood–Offord problem
A.S. Bandeira, A. Ferber, M.A. Kwan, Advances in Mathematics 319 (2017) 292–312.

The average number of spanning trees in sparse graphs with given degrees
C. Greenhill, M. Isaev, M.A. Kwan, B.D. McKay, European Journal of Combinatorics 63 (2017) 6–25.

Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Data from: Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkadik, M. Berry, (2017).

Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, PLoS Genetics 13 (2017).

Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, (2017).

Sensory noise predicts divisive reshaping of receptive fields
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).

On the marked length spectrum of generic strictly convex billiard tables
G. Huang, V. Kaloshin, A. Sorrentino, Duke Mathematical Journal 167 (2017) 175–209.

Dynamical spectral rigidity among Z2-symmetric strictly convex domains close to a circle
J. De Simoi, V. Kaloshin, Q. Wei, Annals of Mathematics 186 (2017) 277–314.

A survey of precipitation-induced atmospheric cold pools over oceans and their interactions with the larger-scale environment
P. Zuidema, G. Torri, C.J. Muller, A. Chandra, Surveys in Geophysics 38 (2017) 1283–1305.

Observing convective aggregation
C.E. Holloway, A.A. Wing, S. Bony, C.J. Muller, H. Masunaga, T.S. L’Ecuyer, D.D. Turner, P. Zuidema, Surveys in Geophysics 38 (2017) 1199–1236.

Impact of a mean current on the internal tide energy dissipation at the critical latitude
O. Richet, C.J. Muller, J.-M. Chomaz, Journal of Physical Oceanography 47 (2017) 1457–1472.

An evolutionary case for functional gene body methylation in plants and animals
D. Zilberman, Genome Biology 18 (2017).

The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit
B. Cheng, G.A. Tribello, M. Ceriotti, The Journal of Chemical Physics 147 (2017).

Bridging the gap between atomistic and macroscopic models of homogeneous nucleation
B. Cheng, M. Ceriotti, The Journal of Chemical Physics 146 (2017).

Data from: Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, (2017).

Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013
E.S. MILES, I.C. WILLIS, N.S. ARNOLD, J. STEINER, F. Pellicciotti, Journal of Glaciology 63 (2017) 88–105.

Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal
E.S. Miles, J. Steiner, I. Willis, P. Buri, W.W. Immerzeel, A. Chesnokova, F. Pellicciotti, Frontiers in Earth Science 5 (2017).

Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile
A. AYALA, F. Pellicciotti, N. PELEG, P. BURLANDO, Journal of Glaciology 63 (2017) 803–822.

Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations
T.E. SHAW, B.W. BROCK, Á. AYALA, N. RUTTER, F. Pellicciotti, Journal of Glaciology 63 (2017) 973–988.

Scientific Computing at IST Austria
A. Schlögl, J. Kiss, in:, AHP – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.

Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.

Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices
T. Udayabhaskararao, T. Altantzis, L. Houben, M. Coronado-Puchau, J. Langer, R. Popovitz-Biro, L.M. Liz-Marzán, L. Vukovi, P. Král, S. Bals, R. Klajn, Science 358 (2017) 514–518.

Chemical systems out of equilibrium
J.H. van Esch, R. Klajn, S. Otto, Chemical Society Reviews 46 (2017) 5474–5475.

Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction
E. Zapartas, S.E. de Mink, R.G. Izzard, S.-C. Yoon, C. Badenes, Y.L.L. Götberg, A. de Koter, C.J. Neijssel, M. Renzo, A. Schootemeijer, T.S. Shrotriya, Astronomy &; Astrophysics 601 (2017).

Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity
Y.L.L. Götberg, S.E. de Mink, J.H. Groh, Astronomy &; Astrophysics 608 (2017).

Signatures of electronic structure in bicircular high-harmonic spectroscopy
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).

Signatures of electronic structure in bicircular high-harmonic spectroscopy
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).

Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering
S.G. Walt, N. Bhargava Ram, M. Atala, N.I. Shvetsov-Shilovski, A. von Conta, D.R. Baykusheva, M. Lein, H.J. Wörner, Nature Communications 8 (2017).

Comment on ‘Time delays in molecular photoionization’
D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 50 (2017).

Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

A proof of the orbit conjecture for flipping edge labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.

Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, Institute of Science and Technology Austria, 2017.

Effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, Biology Letters 13 (2017).

Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, Institute of Science and Technology Austria, 2017.

Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment
K. Mitosch, G. Rieckh, M.T. Bollenbach, Cell Systems 4 (2017) 393–403.

Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.

The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, Institute of Science and Technology Austria, 2017.

(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, Institute of Science and Technology Austria, 2017.

The exact security of PMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.

Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, Institute of Science and Technology Austria, 2017.

Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana 
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , Institute of Science and Technology Austria, 2017.

Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, Institute of Science and Technology Austria, 2017.

Expected sizes of poisson Delaunay mosaics and their discrete Morse functions
H. Edelsbrunner, A. Nikitenko, M. Reitzner, Advances in Applied Probability 49 (2017) 745–767.

Beyond Hellman’s time-memory trade-offs with applications to proofs of space
H.M. Abusalah, J.F. Alwen, B. Cohen, D. Khilko, K.Z. Pietrzak, L. Reyzin, in:, Springer, 2017, pp. 357–379.

Singularities of the density of states of random Gram matrices
J. Alt, Electronic Communications in Probability 22 (2017).

Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.

Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.

Fluctuations of functions of Wigner matrices
L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).

Scattering-aware texture reproduction for 3D printing
O. Elek, D. Sumin, R. Zhang, T. Weyrich, K. Myszkowski, B. Bickel, A. Wilkie, J. Krivanek, ACM Transactions on Graphics 36 (2017).

Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.

Data for: Establishment in a new habitat by polygenic adaptation
A. Etheridge, N.H. Barton, (2017).

Greedy algorithms for cone constrained optimization with convergence guarantees
F. Locatello, M. Tschannen, G. Rätsch, M. Jaggi, in:, Advances in Neural Information Processing Systems, 2017.

A unified optimization view on generalized matching pursuit and Frank-Wolfe
F. Locatello, R. Khanna, M. Tschannen, M. Jaggi, in:, Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2017, pp. 860–868.

Biology of restriction-modification systems at the single-cell and population level
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, Institute of Science and Technology Austria, 2017.

Discrete Morse theory for random complexes 
A. Nikitenko, Discrete Morse Theory for Random Complexes , Institute of Science and Technology Austria, 2017.

Identification of novel regulators of PIN polarity and development of novel auxin sensor
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, Institute of Science and Technology Austria, 2017.

Exact goodness-of-fit testing for the Ising model
A. Martin Del Campo Sanchez, S.A. Cepeda Humerez, C. Uhler, Scandinavian Journal of Statistics 44 (2017) 285–306.

Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.

Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cbrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.

Adaptive physically based models in computer graphics
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.

From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.

Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.

Towards a runtime comparison of natural and artificial evolution
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.

Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.

Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kudera, Journal of Computer and System Sciences 84 (2017) 144–170.

Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.

Triviality of a model of particles with point interactions in the thermodynamic limit
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.

Local law of addition of random matrices on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.

How does epistasis influence the response to selection?
N.H. Barton, Heredity 118 (2017) 96–109.

Maximum likelihood estimation for linear Gaussian covariance models
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.

Lower bounds on key derivation for square-friendly applications
M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Towards practical attacks on Argon2i and balloon hashing
J.F. Alwen, J. Blocki, in:, IEEE, 2017.

Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.

Even delta-matroids and the complexity of planar Boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.

Simulating auxiliary inputs, revisited
M. Skórski, in:, Springer, 2017, pp. 159–179.

Algebraic vertices of non-convex polyhedra
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.

Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation
W. Steenackers, P. Klíma, M. Quareshy, I. Cesarino, R. Kumpf, S. Corneillie, P. Araújo, T. Viaene, G. Goeminne, M. Nowack, K. Ljung, J. Friml, J. Blakeslee, O. Novák, E. Zaeímalová, R. Napier, W. Boerjan, B. Vanholme, Plant Physiology 173 (2017) 552–565.

Spatial gene frequency waves under genotype dependent dispersal
S. Novak, R. Kollár, Genetics 205 (2017) 367–374.

Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 7 (2017).

Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment
J. Spaek, M. Zegrodnik, J. Kaczmarczyk, Physical Review B - Condensed Matter and Materials Physics 95 (2017).

A multi objective memetic inverse solver reinforced by local optimization methods
E.P. Gajda-Zagorska, R. Schaefer, M. Smoka, D. Pardo, J. Alvarez Aramberri, Journal of Computational Science 18 (2017) 85–94.

D inf s optimality in copula models
E. Perrone, A. Rappold, W. Müller, Statistical Methods and Applications 26 (2017) 403–418.

The Voronoi functional is maximized by the Delaunay triangulation in the plane
H. Edelsbrunner, A. Glazyrin, O. Musin, A. Nikitenko, Combinatorica 37 (2017) 887–910.

Computing scores of forwarding schemes in switched networks with probabilistic faults
G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017, pp. 169–187.

Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo
J. Gan, S.-M. Weng, A. Pernia-Andrade, J.L. Csicsvari, P.M. Jonas, Neuron 93 (2017) 308–314.

Synaptotagmin 2 is the fast C+ sensor at a central inhibitory synapse
C. Chen,  itaru Arai, R. Satterield, S. Young, P.M. Jonas, Cell Reports 18 (2017) 723–736.

Superficial layers of the medial entorhinal cortex replay independently of the hippocampus
J. O’Neill, C.N. Boccara, F. Stella, P. Schönenberger, J.L. Csicsvari, Science 355 (2017) 184–188.

Angular self-localization of impurities rotating in a bosonic bath
X. Li, R. Seiringer, M. Lemeshko, Physical Review A 95 (2017).

Anomalous screening of quantum impurities by a neutral environment
E. Yakaboylu, M. Lemeshko, Physical Review Letters 118 (2017).

Quasiparticle approach to molecules interacting with quantum solvents
M. Lemeshko, Physical Review Letters 118 (2017).

Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity
B. Kuhn, T. Nodzyski, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zaeímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017).

Multiplexed computations in retinal ganglion cells of a single type
S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkadik, O. Marre, Nature Communications 8 (2017).

Brain specific knockin of the pathogenic Tub 1K allele causes defects in motor coordination and prepulse inhibition
M. Breuss, A.H. Hansen, L. Landler, D. Keays, Behavioural Brain Research 323 (2017) 47–55.

Observation of the photon blockade breakdown phase transition
J.M. Fink, A. Dombi, A. Vukics, A. Wallraff, P. Domokos, Physical Review X 7 (2017).

Selection limits to adaptive walks on correlated landscapes
J. Heredia, B. Trubenova, D. Sudholt, T. Paixao, Genetics 205 (2017) 803–825.