Smole A, Lainsdek D, Bezeljak U, Horvat S, Jerala R. 2017. A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation. Molecular Therapy. 25(1), 102–119.

Garton FC, Benyamin B, Zhao Q, Liu Z, Gratten J, Henders AK, Zhang Z-H, Edson J, Furlong S, Morgan S, Heggie S, Thorpe K, Pfluger C, Mather KA, Sachdev PS, McRae AF, Robinson MR, Shah S, Visscher PM, Mangelsdorf M, Henderson RD, Wray NR, McCombe PA. 2017. Whole exome sequencing and DNA methylation analysis in a clinical amyotrophic lateral sclerosis cohort. Molecular Genetics &; Genomic Medicine. 5(4), 418–428.

Sethna JP, Bierbaum MK, Dahmen KA, Goodrich CP, Greer JR, Hayden LX, Kent-Dobias JP, Lee ED, Liarte DB, Ni X, Quinn KN, Raju A, Rocklin DZ, Shekhawat A, Zapperi S. 2017. Deformation of crystals: Connections with statistical physics. Annual Review of Materials Research. 47, 217–246.

Alistarh D-A, Dudek B, Kosowski A, Soloveichik D, Uznaski P. 2017. Robust detection in leak-prone population protocols. DNA Computing and Molecular Programming, LNCS, vol. 10467 LNCS, 155–171.

Alistarh D-A, Aspnes J, Eisenstat D, Rivest R, Gelashvili R. 2017. Time-space trade-offs in population protocols. SODA: Symposium on Discrete Algorithms, 2560–2579.

Fulek R, Kyndl J, Pálvölgyi D. 2017. Unified Hanani Tutte theorem. Electronic Journal of Combinatorics. 24(3), .18.

Schafzahl L, Mahne N, Schafzahl B, Wilkening M, Slugovc C, Borisov SM, Freunberger SA. 2017. Singulett-Sauerstoff in der aprotischen Natrium-O2-Batterie. Angewandte Chemie. 129(49), 15934–15938.

Yee Liew S, Thielemans W, Freunberger SA, Spirk S. 2017.Polysaccharides in supercapacitors. In: Polysaccharide Based Supercapacitors. SpringerBriefs in Molecular Science, , 15–53.

Freunberger SA. 2017. True performance metrics in beyond-intercalation batteries. Nature Energy. 2(7), 17091.

Mahne N, Schafzahl B, Leypold C, Leypold M, Grumm S, Leitgeb A, Strohmeier GA, Wilkening M, Fontaine O, Kramer D, Slugovc C, Borisov SM, Freunberger SA. 2017. Singlet oxygen generation as a major cause for parasitic reactions during cycling of aprotic lithium–oxygen batteries. Nature Energy. 2(5), 17036.

Costa RP, Padamsey Z, D’Amour JA, Emptage NJ, Froemke RC, Vogels TP. 2017. Synaptic transmission optimization predicts expression loci of long-term plasticity. Neuron. 96(1), 177–189.e7.

Barron HC, Vogels TP, Behrens TE, Ramaswami M. 2017. Inhibitory engrams in perception and memory. Proceedings of the National Academy of Sciences. 114(26), 6666–6674.

Podlaski WF, Seeholzer A, Groschner LN, Miesenböck G, Ranjan R, Vogels TP. 2017. Mapping the function of neuronal ion channels in model and experiment. eLife. 6, e22152.

Andrae M, Villányi M. 2017. Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. 70(2), 274–280.

Costa RP, Assael YM, Shillingford B, Freitas N de, Vogels TP. 2017. Cortical microcircuits as gated-recurrent neural networks. Advances in Neural Information Processing Systems. NIPS: Neural Information Processing System vol. 30, 272–283.

Turoová B, Schur FK, Wan W, Briggs J. 2017. Efficient 3D-CTF correction for cryo-electron tomography using NovaCTF improves subtomogram averaging resolution to 3.4Å. Journal of Structural Biology. 199(3), 187–195.

Ilieva KM, Singer J, Achkova DY, Dodev TS, Mele S, Crescioli S, Bax HJ, Cheung A, Karagiannis P, Correa I, Figini M, Marlow R, Josephs DH, Beavil AJ, Maher J, Spicer JF, Jensen-Jarolim E, Tutt AN, Karagiannis SN. 2017. Functionally active Fc mutant antibodies recognizing cancer antigens generated rapidly at high yields. Frontiers in Immunology. 8, 1112.

Jensen-Jarolim E, Bax HJ, Bianchini R, Capron M, Corrigan C, Castells M, Dombrowicz D, Daniels-Wells TR, Singer J, Fiebiger E, Gatault S, Gould HJ, Janda J, Josephs DH, Karagiannis P, Levi-Schaffer F, Meshcheryakova A, Mechtcheriakova D, Mekori Y, Mungenast F, Nigro EA, Penichet ML, Redegeld F, Saul L, Singer J, Spicer JF, Siccardi AG, Spillner E, Turner MC, Untersmayr E, Vangelista L, Karagiannis SN. 2017. AllergoOncology - the impact of allergy in oncology: EAACI position paper. Allergy. 72(6), 866–887.

Roth-Walter F, Bergmayr C, Meitz S, Buchleitner S, Stremnitzer C, Singer J, Moskovskich A, Müller MA, Roth GA, Manzano-Szalai K, Dvorak Z, Neunkirchner A, Jensen-Jarolim E. 2017. Janus-faced Acrolein prevents allergy but accelerates tumor growth by promoting immunoregulatory Fox+ cells: Mouse model for passive respiratory exposure. Scientific Reports. 7, 45067.

Singer J, Grunt TW, Jensen-Jarolim E, Singer J. 2017. Long term storage in liquid nitrogen leads to only minor phenotypic and gene expression changes in the mammary carcinoma model cell line . Oncotarget. 8, 35076–35087.

Singer J, Berroterán-Infante N, Rami-Mark C, Dumanic M, Matz M, Willmann M, Andreae F, Singer J, Wadsak W, Mitterhauser M, Jensen-Jarolim E. 2017. Development of a radiolabeled caninized anti-EGFR antibody for comparative oncology trials. Oncotarget. 8, 83128–83141.

Petritsch B. 2017. Metadata for research data in practice. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare. 70(2), 200–207.

Syta E, Jovanovic P, Kokoris Kogias E, Gailly N, Gasser L, Khoffi I, Fischer MJ, Ford B. 2017. Scalable bias-resistant distributed randomness. 2017 IEEE Symposium on Security and Privacy. SP: Symposium on Security and Privacy, 444–460.

Nikitin K, Kokoris Kogias E, Jovanovic P, Gasser L, Gailly N, Khoffi I, Cappos J, Ford B. 2017. CHAINIAC: Proactive software-update transparency via collectively signed skipchains and verified builds. Proceedings of the 26th USENIX Conference on Security Symposium. SEC: Security Symposium, 1271–1287.

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.

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 .

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

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.

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.

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.

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

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 .

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.

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.

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.

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

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

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