D. F. Gauto, A. Hessel, P. Rovó, V. Kurauskas, R. Linser, and P. Schanda, “Protein conformational dynamics studied by 15N and 1H<1 relaxation dispersion: Application to wild-type and A ubiquitin crystals,” Solid State Nuclear Magnetic Resonance, vol. 87, no. 10. Elsevier, pp. 86–95, 2017.

R. Franco, A. Favier, P. Schanda, and B. Brutscher, “Optimized fast mixing device for real-time NMR applications,” Journal of Magnetic Resonance, vol. 281, no. 8. Elsevier, pp. 125–129, 2017.

B. Bersch, J. M. Dörr, A. Hessel, J. A. Killian, and P. Schanda, “Proton-detected solid-state NMR spectroscopy of a Zinc diffusion facilitator protein in native nanodiscs,” Angewandte Chemie International Edition, vol. 56, no. 9. Wiley, pp. 2508–2512, 2017.

V. Kurauskas, P. Schanda, and R. Sounier, “Methyl-specific isotope labeling strategies for NMR studies of membrane proteins,” in Membrane protein structure and function characterization, vol. 1635, Springer Nature, 2017, pp. 109–123.

P. Zuidema, G. Torri, C. J. Muller, and A. Chandra, “A survey of precipitation-induced atmospheric cold pools over oceans and their interactions with the larger-scale environment,” Surveys in Geophysics, vol. 38, no. 6. Springer Nature, pp. 1283–1305, 2017.

C. E. Holloway et al., “Observing convective aggregation,” Surveys in Geophysics, vol. 38, no. 6. Springer Nature, pp. 1199–1236, 2017.

A. A. Wing, K. Emanuel, C. E. Holloway, and C. J. Muller, “Convective self-aggregation in numerical simulations: A review,” Surveys in Geophysics, vol. 38, no. 6. Springer Nature, pp. 1173–1197, 2017.

O. Richet, C. J. Muller, and J.-M. Chomaz, “Impact of a mean current on the internal tide energy dissipation at the critical latitude,” Journal of Physical Oceanography, vol. 47, no. 6. American Meteorological Society, pp. 1457–1472, 2017.

C. Scheele et al., “Identity and dynamics of mammary stem cells during branching morphogenesis,” Nature, vol. 542, no. 7641. Nature Publishing Group, pp. 313–317, 2017.

J. Sedzinski, E. B. Hannezo, F. Tu, M. Biro, and J. Wallingford, “RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells ,” Journal of Cell Science, vol. 130, no. 5. Company of Biologists, 2017.

D. Pinheiro et al., “Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows,” Nature, vol. 545, no. 7652. Nature Publishing Group, pp. 103–107, 2017.

X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic  PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.

D. Zilberman, “An evolutionary case for functional gene body methylation in plants and animals,” Genome Biology, vol. 18, no. 1. Springer Nature, 2017.

J. Mitchell et al., “Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 89–99.

B. Cheng, G. A. Tribello, and M. Ceriotti, “The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit,” The Journal of Chemical Physics, vol. 147, no. 10. AIP Publishing, 2017.

B. Cheng and M. Ceriotti, “Bridging the gap between atomistic and macroscopic models of homogeneous nucleation,” The Journal of Chemical Physics, vol. 146, no. 3. AIP Publishing, 2017.

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

N. Nikolic et al., “Source data for figures and tables.” Public Library of Science, 2017.

A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, and P. Burlando, “Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions,” Water Resources Research, vol. 53, no. 7. American Geophysical Union, pp. 5601–5625, 2017.

E. S. MILES, I. C. WILLIS, N. S. ARNOLD, J. STEINER, and F. Pellicciotti, “Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013,” Journal of Glaciology, vol. 63, no. 237. Cambridge University Press, pp. 88–105, 2017.

E. S. Miles et al., “Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal,” Frontiers in Earth Science, vol. 5. Frontiers Media, 2017.

A. AYALA, F. Pellicciotti, N. PELEG, and P. BURLANDO, “Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile,” Journal of Glaciology, vol. 63, no. 241. Cambridge University Press, pp. 803–822, 2017.

T. E. SHAW, B. W. BROCK, Á. AYALA, N. RUTTER, and F. Pellicciotti, “Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations,” Journal of Glaciology, vol. 63, no. 242. Cambridge University Press, pp. 973–988, 2017.

A. Schlögl and J. Kiss, “Scientific Computing at IST Austria,” in AHP – Austrian HPC Meeting 2017, Grundlsee, Austria, 2017, p. 28.

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

T. Udayabhaskararao et al., “Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices,” Science, vol. 358, no. 6362. American Association for the Advancement of Science, pp. 514–518, 2017.

M. Sawczyk and R. Klajn, “Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles,” Journal of the American Chemical Society, vol. 139, no. 49. American Chemical Society, pp. 17973–17978, 2017.

J. Ahrens, T. Bian, T. Vexler, and R. Klajn, “Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles,” ChemPhotoChem, vol. 1, no. 5. Wiley, pp. 230–236, 2017.

D. Samanta and R. Klajn, “Clathrates grow up,” Science, vol. 355, no. 6328. American Association for the Advancement of Science, pp. 912–912, 2017.

J. H. van Esch, R. Klajn, and S. Otto, “Chemical systems out of equilibrium,” Chemical Society Reviews, vol. 46, no. 18. Royal Society of Chemistry, pp. 5474–5475, 2017.

E. Zapartas et al., “Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction,” Astronomy &; Astrophysics, vol. 601, no. A&;A. EDP Sciences, 2017.

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

D. R. Baykusheva, S. Brennecke, M. Lein, and H. J. Wörner, “Signatures of electronic structure in bicircular high-harmonic spectroscopy,” Physical Review Letters, vol. 119, no. 20. American Physical Society, 2017.

D. R. Baykusheva, S. Brennecke, M. Lein, and H. J. Wörner, “Signatures of electronic structure in bicircular high-harmonic spectroscopy,” Physical Review Letters, vol. 119, no. 20. American Physical Society, 2017.

S. G. Walt et al., “Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering,” Nature Communications, vol. 8. Springer Nature, 2017.

Y. Pertot et al., “Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source,” Science, vol. 355, no. 6322. American Association for the Advancement of Science, pp. 264–267, 2017.

D. R. Baykusheva and H. J. Wörner, “Theory of attosecond delays in molecular photoionization,” The Journal of Chemical Physics, vol. 146, no. 12. AIP Publishing, 2017.

I. Jordan, M. Huppert, S. Pabst, A. S. Kheifets, D. R. Baykusheva, and H. J. Wörner, “Spin-orbit delays in photoemission,” Physical Review A, vol. 95, no. 1. American Physical Society, 2017.

D. R. Baykusheva and H. J. Wörner, “Comment on ‘Time delays in molecular photoionization,’” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 50, no. 7. IOP Publishing, 2017.

G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.

A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge labelled triangulations,” presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia, 2017, vol. 77.

P. Daca, “Statistical and logical methods for property checking,” Institute of Science and Technology Austria, 2017.

P. Payne, “Bacterial herd and social immunity to phages,” Institute of Science and Technology Austria, 2017.

M. Pleska and C. C. Guet, “Effects of mutations in phage restriction sites during escape from restriction–modification,” Biology Letters, vol. 13, no. 12. The Royal Society, 2017.

K. Mitosch, “Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics,” Institute of Science and Technology Austria, 2017.

K. Mitosch, G. Rieckh, and M. T. Bollenbach, “Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment,” Cell Systems, vol. 4, no. 4. Cell Press, pp. 393–403, 2017.

A. Pavlogiannis, “Algorithmic advances in program analysis and their applications,” Institute of Science and Technology Austria, 2017.

F. Jesse, “The lac operon in the wild,” Institute of Science and Technology Austria, 2017.

M. Rybar, “(The exact security of) Message authentication codes,” Institute of Science and Technology Austria, 2017.

P. Gazi, K. Z. Pietrzak, and M. Rybar, “The exact security of PMAC,” IACR Transactions on Symmetric Cryptology, vol. 2016, no. 2. Ruhr University Bochum, pp. 145–161, 2017.

H. Xu, “Reactivation of the hippocampal cognitive map in goal-directed spatial tasks,” Institute of Science and Technology Austria, 2017.

M. Adamowski, “Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana ,” Institute of Science and Technology Austria, 2017.

M. Rolinek, “Complexity of constraint satisfaction,” Institute of Science and Technology Austria, 2017.

H. Edelsbrunner, A. Nikitenko, and M. Reitzner, “Expected sizes of poisson Delaunay mosaics and their discrete Morse functions,” Advances in Applied Probability, vol. 49, no. 3. Cambridge University Press, pp. 745–767, 2017.

H. M. Abusalah, J. F. Alwen, B. Cohen, D. Khilko, K. Z. Pietrzak, and L. Reyzin, “Beyond Hellman’s time-memory trade-offs with applications to proofs of space,” presented at the ASIACRYPT: Theory and Applications of Cryptology and Information Security, Hong Kong, China, 2017, vol. 10625, pp. 357–379.

J. Alt, “Singularities of the density of states of random Gram matrices,” Electronic Communications in Probability, vol. 22. Institute of Mathematical Statistics, 2017.

S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132.

S. Bogomolov, G. Frehse, M. Giacobbe, and T. A. Henzinger, “Counterexample guided refinement of template polyhedra,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 589–606.

L. Erdös and D. J. Schröder, “Fluctuations of functions of Wigner matrices,” Electronic Communications in Probability, vol. 21. Institute of Mathematical Statistics, 2017.

O. Elek et al., “Scattering-aware texture reproduction for 3D printing,” ACM Transactions on Graphics, vol. 36, no. 6. ACM, 2017.

Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K. Z. Pietrzak, and D. Wichs, “Be adaptive avoid overcommitting,” presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States, 2017, vol. 10401, pp. 133–163.

A. Etheridge and N. H. Barton, “Data for: Establishment in a new habitat by polygenic adaptation.” Mendeley Data, 2017.

F. Locatello, M. Tschannen, G. Rätsch, and M. Jaggi, “Greedy algorithms for cone constrained optimization with convergence guarantees,” in Advances in Neural Information Processing Systems, Long Beach, CA, United States, 2017.

F. Locatello, R. Khanna, M. Tschannen, and M. Jaggi, “A unified optimization view on generalized matching pursuit and Frank-Wolfe,” in Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 860–868.

M. Pleska, “Biology of restriction-modification systems at the single-cell and population level,” Institute of Science and Technology Austria, 2017.

A. Nikitenko, “Discrete Morse theory for random complexes ,” Institute of Science and Technology Austria, 2017.

T. Prat, “Identification of novel regulators of PIN polarity and development of novel auxin sensor,” Institute of Science and Technology Austria, 2017.

A. Martin Del Campo Sanchez, S. A. Cepeda Humerez, and C. Uhler, “Exact goodness-of-fit testing for the Ising model,” Scandinavian Journal of Statistics, vol. 44, no. 2. Wiley-Blackwell, pp. 285–306, 2017.

Z. Bao and L. Erdös, “Delocalization for a class of random block band matrices,” Probability Theory and Related Fields, vol. 167, no. 3–4. Springer, pp. 673–776, 2017.

U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “Phat - Persistent homology algorithms toolbox,” Journal of Symbolic Computation, vol. 78. Academic Press, pp. 76–90, 2017.

M. Svoreová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cbrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2. Elsevier, pp. 230–253, 2017.

P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, and M. Cani, “Adaptive physically based models in computer graphics,” Computer Graphics Forum, vol. 36, no. 6. Wiley-Blackwell, pp. 312–337, 2017.

P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” Formal Methods in System Design, vol. 50, no. 2–3. Springer, pp. 97–139, 2017.

M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8. Springer, pp. 765–787, 2017.

T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime comparison of natural and artificial evolution,” Algorithmica, vol. 78, no. 2. Springer, pp. 681–713, 2017.

O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type matrices,” Probability Theory and Related Fields, vol. 169, no. 3–4. Springer, pp. 667–727, 2017.

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

U. Sauerzopf et al., “Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence,” European Journal of Neuroscience, vol. 45, no. 1. Wiley-Blackwell, pp. 45–57, 2017.

N. S. Baranova and M. Loose, “Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers,” in Cytokinesis, vol. 137, A. Echard, Ed. Academic Press, 2017, pp. 355–370.

T. Moser and R. Seiringer, “Triviality of a model of particles with point interactions in the thermodynamic limit,” Letters in Mathematical Physics, vol. 107, no. 3. Springer, pp. 533–552, 2017.

Z. Bao, L. Erdös, and K. Schnelli, “Local law of addition of random matrices on optimal scale,” Communications in Mathematical Physics, vol. 349, no. 3. Springer, pp. 947–990, 2017.

T. A. Henzinger and J. Otop, “Model measuring for discrete and hybrid systems,” Nonlinear Analysis: Hybrid Systems, vol. 23. Elsevier, pp. 166–190, 2017.

N. H. Barton, “How does epistasis influence the response to selection?,” Heredity, vol. 118. Nature Publishing Group, pp. 96–109, 2017.

P. Zwiernik, C. Uhler, and D. Richards, “Maximum likelihood estimation for linear Gaussian covariance models,” Journal of the Royal Statistical Society. Series B: Statistical Methodology, vol. 79, no. 4. Wiley-Blackwell, pp. 1269–1292, 2017.

M. Skórski, “Lower bounds on key derivation for square-friendly applications,” presented at the STACS: Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 2017, vol. 66.

J. F. Alwen and J. Blocki, “Towards practical attacks on Argon2i and balloon hashing,” presented at the EuroS&;P: European Symposium on Security and Privacy, Paris, France, 2017.

E. Kiltz, K. Z. Pietrzak, D. Venturi, D. Cash, and A. Jain, “Efficient authentication from hard learning problems,” Journal of Cryptology, vol. 30, no. 4. Springer, pp. 1238–1275, 2017.

A. Kazda, V. Kolmogorov, and M. Rolinek, “Even delta-matroids and the complexity of planar Boolean CSPs,” presented at the SODA: Symposium on Discrete Algorithms, Barcelona, Spain, 2017, pp. 307–326.

M. Skórski, “Simulating auxiliary inputs, revisited,” presented at the TCC: Theory of Cryptography Conference, 2017, vol. 9985, pp. 159–179.

A. Akopyan, I. Bárány, and S. Robins, “Algebraic vertices of non-convex polyhedra,” Advances in Mathematics, vol. 308. Academic Press, pp. 627–644, 2017.

W. Steenackers et al., “Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation,” Plant Physiology, vol. 173, no. 1. American Society of Plant Biologists, pp. 552–565, 2017.

S. Novak and R. Kollár, “Spatial gene frequency waves under genotype dependent dispersal,” Genetics, vol. 205, no. 1. Genetics Society of America, pp. 367–374, 2017.

S. Altmeyer, Y. Do, and Y. Lai, “Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.

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

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

E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” Statistical Methods and Applications, vol. 26, no. 3. Springer, pp. 403–418, 2017.

M. Wysokiski and J. Kaczmarczyk, “Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms,” Journal of Physics: Condensed Matter, vol. 29, no. 8. IOP Publishing Ltd., 2017.

H. Edelsbrunner, A. Glazyrin, O. Musin, and A. Nikitenko, “The Voronoi functional is maximized by the Delaunay triangulation in the plane,” Combinatorica, vol. 37, no. 5. Springer, pp. 887–910, 2017.

J. Müller and M. K. Sixt, “Cell migration: Making the waves,” Current Biology, vol. 27, no. 1. Cell Press, pp. –, 2017.

G. Avni, S. Goel, T. A. Henzinger, and G. Rodríguez Navas, “Computing scores of forwarding schemes in switched networks with probabilistic faults,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10206, pp. 169–187.