Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

9087 Publications


2017 | Conference Paper | IST-REx-ID: 8306 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.)
 

2017 | Conference Paper | IST-REx-ID: 8301 | OA
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.
[Published Version] View | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8446
Fraga H, Arnaud C, Gauto DF, Audin M, Kurauskas V, Macek P, Krichel C, Guan J, Boisbouvier J, Sprangers R, Breyton C, Schanda P. 2017. Solid‐state NMR H–N–(C)–H and H–N–C–C 3D/4D correlation experiments for resonance assignment of large proteins. ChemPhysChem. 18(19), 2697–2703.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 8445
Kurauskas V, Izmailov SA, Rogacheva ON, Hessel A, Ayala I, Woodhouse J, Shilova A, Xue Y, Yuwen T, Coquelle N, Colletier J-P, Skrynnikov NR, Schanda P. 2017. Slow conformational exchange and overall rocking motion in ubiquitin protein crystals. Nature Communications. 8, 145.
[Published Version] View | DOI
 

2017 | Journal Article | IST-REx-ID: 8444
Dehez F, Schanda P, King MS, Kunji ERS, Chipot C. 2017. Mitochondrial ADP/ATP carrier in dodecylphosphocholine binds cardiolipins with non-native affinity. Biophysical Journal. 113(11), 2311–2315.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9065
Nauman M, Hong Y, Hussain T, Seo MS, Park SY, Lee N, Choi YJ, Kang W, Jo Y. 2017. In-plane magnetic anisotropy in strontium iridate Sr2IrO4. Physical Review B. 96(15), 155102.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9165
Aubret A, Ramananarivo S, Palacci JA. 2017. Eppur si muove, and yet it moves: Patchy (phoretic) swimmers. Current Opinion in Colloid & Interface Science. 30, 81–89.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9190 | OA
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.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 93 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 94 | OA
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9445 | OA
Lyons DB, Zilberman D. 2017. DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes. eLife. 6, e30674.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Book Chapter | IST-REx-ID: 957
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.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9574 | OA
Bandeira AS, Ferber A, Kwan MA. 2017. Resilience for the Littlewood-Offord problem. Electronic Notes in Discrete Mathematics. 61, 93–99.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9590 | OA
Krivelevich M, Kwan MA, Sudakov B. 2017. Bounded-degree spanning trees in randomly perturbed graphs. SIAM Journal on Discrete Mathematics. 31(1), 155–171.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9588 | OA
Bandeira AS, Ferber A, Kwan MA. 2017. Resilience for the Littlewood–Offord problem. Advances in Mathematics. 319, 292–312.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9589 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni G, Guha S, Kupferman O. 2017. Timed network games with clocks. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 37.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. 2017. Data from: Error-robust modes of the retinal population code, Dryad, 10.5061/dryad.1f1rc.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 541 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9847 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9845
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.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9849
Lukacisinova M, Novak S, Paixao T. 2017. Modelling and simulation details, Public Library of Science, 10.1371/journal.pcbi.1005609.s001.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9850
Lukacisinova M, Novak S, Paixao T. 2017. Extensions of the model, Public Library of Science, 10.1371/journal.pcbi.1005609.s002.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9846
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.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 680 | OA
Chalk MJ, Masset P, Gutkin B, Denève S. 2017. Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. 13(6), e1005582.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9851
Lukacisinova M, Novak S, Paixao T. 2017. Heuristic prediction for multiple stresses, Public Library of Science, 10.1371/journal.pcbi.1005609.s003.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9852
Lukacisinova M, Novak S, Paixao T. 2017. Resistance frequencies for different combination strategies, Public Library of Science, 10.1371/journal.pcbi.1005609.s004.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9855
Chalk MJ, Masset P, Gutkin B, Denève S. 2017. Supplementary appendix, Public Library of Science, 10.1371/journal.pcbi.1005582.s001.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 8423 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 8427 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 8449
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.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 8447
Gauto DF, Hessel A, Rovó P, Kurauskas V, Linser R, Schanda P. 2017. Protein conformational dynamics studied by 15N and 1HR1ρ relaxation dispersion: Application to wild-type and G53A ubiquitin crystals. Solid State Nuclear Magnetic Resonance. 87(10), 86–95.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 8448
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.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 8451
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.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 8450
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.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9137 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9138 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9139
Wing AA, Emanuel K, Holloway CE, Muller CJ. 2017. Convective self-aggregation in numerical simulations: A review. Surveys in Geophysics. 38(6), 1173–1197.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9152 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 934
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.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 936
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).
View | DOI
 

2017 | Journal Article | IST-REx-ID: 937
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.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 941
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.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9506 | OA
Zilberman D. 2017. An evolutionary case for functional gene body methylation in plants and animals. Genome Biology. 18(1), 87.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Book Chapter | IST-REx-ID: 958
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.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9660 | OA
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 9661 | OA
Cheng B, Ceriotti M. 2017. Bridging the gap between atomistic and macroscopic models of homogeneous nucleation. The Journal of Chemical Physics. 146(3), 034106.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Research Data Reference | IST-REx-ID: 9707 | OA
Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. 2017. Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis, Dryad, 10.5061/dryad.pk16b.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9844
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.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 12611
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.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 12612 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 12610 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 12609 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 12608 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Conference Abstract | IST-REx-ID: 12905 | OA
Schlögl A, Kiss J. 2017. Scientific Computing at IST Austria. AHPC17 – Austrian HPC Meeting 2017. AHPC: Austrian HPC Meeting, 28.
[Published Version] View | Files available | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 13160 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 13381 | OA
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 13380
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.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 13383
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.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 13384
Samanta D, Klajn R. 2017. Clathrates grow up. Science. 355(6328), 912–912.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 13382 | OA
van Esch JH, Klajn R, Otto S. 2017. Chemical systems out of equilibrium. Chemical Society Reviews. 46(18), 5474–5475.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 13477 | OA
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), A29.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 13476 | OA
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, A11.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 14031 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 14004 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 14005 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14008
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.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14006
Baykusheva DR, Wörner HJ. 2017. Theory of attosecond delays in molecular photoionization. The Journal of Chemical Physics. 146(12), 124306.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14009
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.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 14007 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
Avni G, Henzinger TA, Chonev VK. 2017. Infinite-duration bidding games. CONCUR: Concurrency Theory, LIPIcs, vol. 85, 17.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 683 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Daca P. 2017. Statistical and logical methods for property checking. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291 | OA
Payne P. 2017. Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2017 | Journal Article | IST-REx-ID: 561 | OA
Pleska M, Guet CC. 2017. Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. 13(12), 20170646.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 818 | OA
Mitosch K. 2017. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 666 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821 | OA
Pavlogiannis A. 2017. Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820 | OA
Jesse F. 2017. The lac operon in the wild. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838 | OA
Rybar M. 2017. (The exact security of) Message authentication codes. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 6196 | OA
Gazi P, Pietrzak KZ, Rybar M. 2017. The exact security of PMAC. IACR Transactions on Symmetric Cryptology. 2016(2), 145–161.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
Xu H. 2017. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski M. 2017. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek M. 2017. Complexity of constraint satisfaction. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 718 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 559 | OA
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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 550 | OA
Alt J. 2017. Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. 22, 63.
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 647 | OA
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.
[Submitted Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 631 | OA
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.
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
Erdös L, Schröder DJ. 2017. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 21, 86.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 486 | OA
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.
[Submitted Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 637 | OA
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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9842 | OA
Etheridge A, Barton NH. 2017. Data for: Establishment in a new habitat by polygenic adaptation, Mendeley Data, 10.17632/nw68fxzjpm.1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 14206 | OA
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.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 14205 | OA
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.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Thesis | IST-REx-ID: 202 | OA
Pleska M. 2017. Biology of restriction-modification systems at the single-cell and population level. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287 | OA
Nikitenko A. 2017. Discrete Morse theory for random complexes . Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1127 | OA
Prat T. 2017. Identification of novel regulators of PIN polarity and development of novel auxin sensor. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications