Gaillochet C, Stiehl T, Wenzl C, Ripoll J-J, Bailey-Steinitz LJ, Li L, Pfeiffer A, Miotk A, Hakenjos JP, Forner J, Yanofsky MF, Marciniak-Czochra A, Lohmann JU. 2017. Control of plant cell fate transitions by transcriptional and hormonal signals. eLife. 6, e30135.

Menke T, Burns P, Higginbotham AP, Kampel NS, Peterson R, Cicak K, Simmonds R, Regal C, Lehnert K. 2017. Reconfigurable re-entrant cavity for wireless coupling to an electro-optomechanical device. Review of Scientific Instruments. 88(9), 094701.

Rosenthal E, Chapman B, Higginbotham AP, Kerckhoff J, Lehnert K. 2017. Breaking Lorentz reciprocity with frequency conversion and delay. APS Physics, Physical Review Letters. 119(14), 147703.

Lyons DB, Zilberman D. 2017. DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes. eLife. 6, e30674.

Clifton B, Whitfield J, Sanchez-Romero I, Herde M, Henneberger C, Janovjak HL, Jackson C. 2017.Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors. In: Synthetic Protein Switches. Methods in Molecular Biology, vol. 1596, 71–87.

Bandeira AS, Ferber A, Kwan MA. 2017. Resilience for the Littlewood-Offord problem. Electronic Notes in Discrete Mathematics. 61, 93–99.

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

Bandeira AS, Ferber A, Kwan MA. 2017. Resilience for the Littlewood–Offord problem. Advances in Mathematics. 319, 292–312.

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

Avni G, Guha S, Kupferman O. 2017. Timed network games with clocks. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 37.

Prentice J, Marre O, Ioffe M, Loback A, Tkadik G, Berry M. 2017. Data from: Error-robust modes of the retinal population code, Dryad,10.5061/dryad.1f1rc .

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

Pleska M, Guet CC. 2017. Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification, The Royal Society,10.6084/m9.figshare.5633917.v1 .

Nikolic N, Schreiber F, Dal Co A, Kiviet D, Bergmiller T, Littmann S, Kuypers M, Ackermann M. 2017. Mathematical model, Public Library of Science,10.1371/journal.pgen.1007122.s017 .

Lukacisinova M, Novak S, Paixao T. 2017. Modelling and simulation details, Public Library of Science,10.1371/journal.pcbi.1005609.s001 .

Lukacisinova M, Novak S, Paixao T. 2017. Extensions of the model, Public Library of Science,10.1371/journal.pcbi.1005609.s002 .

Nikolic N, Schreiber F, Dal Co A, Kiviet D, Bergmiller T, Littmann S, Kuypers M, Ackermann M. 2017. Supplementary methods, Public Library of Science,10.1371/journal.pgen.1007122.s016 .

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

Lukacisinova M, Novak S, Paixao T. 2017. Heuristic prediction for multiple stresses, Public Library of Science,10.1371/journal.pcbi.1005609.s003 .

Lukacisinova M, Novak S, Paixao T. 2017. Resistance frequencies for different combination strategies, Public Library of Science,10.1371/journal.pcbi.1005609.s004 .

Chalk MJ, Masset P, Gutkin B, Denève S. 2017. Supplementary appendix, Public Library of Science,10.1371/journal.pcbi.1005582.s001 .

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

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

Rennella E, Sára T, Juen M, Wunderlich C, Imbert L, Solyom Z, Favier A, Ayala I, Weinhäupl K, Schanda P, Konrat R, Kreutz C, Brutscher B. 2017. RNA binding and chaperone activity of the E.coli cold-shock protein CspA. Nucleic Acids Research. 45(7), 4255–4268.

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

Franco R, Favier A, Schanda P, Brutscher B. 2017. Optimized fast mixing device for real-time NMR applications. Journal of Magnetic Resonance. 281(8), 125–129.

Bersch B, Dörr JM, Hessel A, Killian JA, Schanda P. 2017. Proton-detected solid-state NMR spectroscopy of a Zinc diffusion facilitator protein in native nanodiscs. Angewandte Chemie International Edition. 56(9), 2508–2512.

Kurauskas V, Schanda P, Sounier R. 2017.Methyl-specific isotope labeling strategies for NMR studies of membrane proteins. In: Membrane protein structure and function characterization. Methods in Molecular Biology, vol. 1635, 109–123.

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

Holloway CE, Wing AA, Bony S, Muller CJ, Masunaga H, L’Ecuyer TS, Turner DD, Zuidema P. 2017. Observing convective aggregation. Surveys in Geophysics. 38(6), 1199–1236.

Wing AA, Emanuel K, Holloway CE, Muller CJ. 2017. Convective self-aggregation in numerical simulations: A review. Surveys in Geophysics. 38(6), 1173–1197.

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

Scheele C, Hannezo EB, Muraro M, Zomer A, Langedijk N, Van Oudenaarden A, Simons B, Van Rheenen J. 2017. Identity and dynamics of mammary stem cells during branching morphogenesis. Nature. 542(7641), 313–317.

Sedzinski J, Hannezo EB, Tu F, Biro M, Wallingford J. 2017. RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells . Journal of Cell Science. 130(5).

Pinheiro D, Hannezo EB, Herszterg S, Bosveld F, Gaugué I, Balakireva M, Wang Z, Cristo I, Rigaud S, Markova O, Bellaïche Y. 2017. Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows. Nature. 545(7652), 103–107.

Le X, Chu DH, Lo D, Le Goues C, Visser W. 2017. JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA: International Symposium on Software Testing and Analysis, 376–379.

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

Mitchell J, Zhang W, Herde M, Henneberger C, Janovjak HL, O’Mara M, Jackson C. 2017.Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment. In: Synthetic Protein Switches. Methods in Molecular Biology, vol. 1596, 89–99.

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

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

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

Nikolic N, Schreiber F, Dal Co A, Kiviet D, Bergmiller T, Littmann S, Kuypers M, Ackermann M. 2017. Source data for figures and tables, Public Library of Science,10.1371/journal.pgen.1007122.s018 .

Ayala A, Pellicciotti F, MacDonell S, McPhee J, Burlando P. 2017. Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions. Water Resources Research. 53(7), 5601–5625.

MILES ES, WILLIS IC, ARNOLD NS, STEINER J, Pellicciotti F. 2017. Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013. Journal of Glaciology. 63(237), 88–105.

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

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

SHAW TE, BROCK BW, AYALA Á, RUTTER N, Pellicciotti F. 2017. 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. 63(242), 973–988.

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

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

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

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

Ahrens J, Bian T, Vexler T, Klajn R. 2017. Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles. ChemPhotoChem. 1(5), 230–236.

Samanta D, Klajn R. 2017. Clathrates grow up. Science. 355(6328), 912–912.

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

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

Götberg YLL, de Mink SE, Groh JH. 2017. Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. Astronomy &; Astrophysics. 608, .

Baykusheva DR, Brennecke S, Lein M, Wörner HJ. 2017. Signatures of electronic structure in bicircular high-harmonic spectroscopy. Physical Review Letters. 119(20), 203201.

Baykusheva DR, Brennecke S, Lein M, Wörner HJ. 2017. Signatures of electronic structure in bicircular high-harmonic spectroscopy. Physical Review Letters. 119(20), 203201.

Walt SG, Bhargava Ram N, Atala M, Shvetsov-Shilovski NI, von Conta A, Baykusheva DR, Lein M, Wörner HJ. 2017. Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering. Nature Communications. 8, 15651.

Pertot Y, Schmidt C, Matthews M, Chauvet A, Huppert M, Svoboda V, von Conta A, Tehlar A, Baykusheva DR, Wolf J-P, Wörner HJ. 2017. Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source. Science. 355(6322), 264–267.

Baykusheva DR, Wörner HJ. 2017. Theory of attosecond delays in molecular photoionization. The Journal of Chemical Physics. 146(12), 124306.

Jordan I, Huppert M, Pabst S, Kheifets AS, Baykusheva DR, Wörner HJ. 2017. Spin-orbit delays in photoemission. Physical Review A. 95(1), 013404.

Baykusheva DR, Wörner HJ. 2017. Comment on ‘Time delays in molecular photoionization’. Journal of Physics B: Atomic, Molecular and Optical Physics. 50(7), 078002.

Avni G, Henzinger TA, Chonev VK. 2017. Infinite-duration bidding games. CONCUR: Concurrency Theory, LIPIcs, vol. 85, 17.

Lubiw A, Masárová Z, Wagner U. 2017. A proof of the orbit conjecture for flipping edge labelled triangulations. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 77, 49.

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

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

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

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

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

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

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

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

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

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

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

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

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

Abusalah HM, Alwen JF, Cohen B, Khilko D, Pietrzak KZ, Reyzin L. 2017. Beyond Hellman’s time-memory trade-offs with applications to proofs of space. ASIACRYPT: Theory and Applications of Cryptology and Information Security, LNCS, vol. 10625, 357–379.

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

Bogomolov S, Giacobbe M, Henzinger TA, Kong H. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 116–132.

Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. 2017. Counterexample guided refinement of template polyhedra. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 589–606.

Erdös L, Schröder DJ. 2017. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 21, 86.

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

Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. 2017. Be adaptive avoid overcommitting. CRYPTO: Cryptology, LNCS, vol. 10401, 133–163.

Etheridge A, Barton NH. 2017. Data for: Establishment in a new habitat by polygenic adaptation, Mendeley Data,10.17632/nw68fxzjpm.1 .

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

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

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

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

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

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

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

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

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

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

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

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

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

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