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.
9078 Publications
2020 | Conference Paper | IST-REx-ID: 9631 | 
Aksenov V, Alistarh D-A, Korhonen J. 2020. Scalable belief propagation via relaxed scheduling. Advances in Neural Information Processing Systems. NeurIPS: Conference on Neural Information Processing Systems vol. 33, 22361–22372.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9675
Cheng B, Griffiths R-R, Wengert S, Kunkel C, Stenczel T, Zhu B, Deringer VL, Bernstein N, Margraf JT, Reuter K, Csanyi G. 2020. Mapping materials and molecules. Accounts of Chemical Research. 53(9), 1981–1991.
View
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9666 |
Reinhardt A, Pickard CJ, Cheng B. 2020. Predicting the phase diagram of titanium dioxide with random search and pattern recognition. Physical Chemistry Chemical Physics. 22(22), 12697–12705.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2020 | Journal Article | IST-REx-ID: 9671 |
Monserrat B, Brandenburg JG, Engel EA, Cheng B. 2020. Liquid water contains the building blocks of diverse ice phases. Nature Communications. 11(1), 5757.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8533 |
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2020. Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 22:1-22:13.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8534 |
Jecker IR, Kupferman O, Mazzocchi N. 2020. Unary prime languages. 45th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170, 51:1-51:12.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8538 |
Akopyan A, Schwartz R, Tabachnikov S. 2020. Billiards in ellipses revisited. European Journal of Mathematics.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Preprint | IST-REx-ID: 8616 |
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv, 10.1101/2020.09.15.262782.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Working Paper | IST-REx-ID: 8695 |
Mayer K, Rieck K, Reichmann S, Danowski P, Graschopf A, König T, Kraker P, Lehner P, Reckling F, Ross-Hellauer T, Spichtinger D, Tzatzanis M, Schürz S. 2020. Empfehlungen für eine nationale Open Science Strategie in Österreich / Recommendations for a National Open Science Strategy in Austria, OANA, 36p.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8694 |
Golmakani A, Koudjinan E, Luzzatto S, Pilarczyk P. 2020. Rigorous numerics for critical orbits in the quadratic family. Chaos. 30(7), 073143.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8691 |
Koudjinan E. 2020. A KAM theorem for finitely differentiable Hamiltonian systems. Journal of Differential Equations. 269(6), 4720–4750.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8706 |
Danowski P, Ferus A, Hikl A-L, McNeill G, Miniberger C, Reding S, Zarka T, Zojer M. 2020. „Recommendation“ for the further procedure for open access monitoring. Deliverable of the AT2OA subproject TP1-B. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. 73(2), 278–284.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8978 |
Laukoter S, Amberg N, Pauler F, Hippenmeyer S. 2020. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. STAR Protocols. 1(3), 100215.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9054
Youssef M, Morin A, Aubret A, Sacanna S, Palacci JA. 2020. Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt. Soft Matter. 16(17), 4274–4282.
View
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9067 |
Nauman M, Alnasir MH, Hamayun MA, Wang Y, Shatruk M, Manzoor S. 2020. Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles. RSC Advances. 10(47), 28383–28389.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 9103 |
Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. 2020. Lagrangian reachtubes: The next generation. Proceedings of the 59th IEEE Conference on Decision and Control. CDC: Conference on Decision and Control vol. 2020, 1556–1563.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Preprint | IST-REx-ID: 9150 |
Risi C, Muller CJ, Blossey PN. Rain evaporation, snow melt and entrainment at the heart of water vapor isotopic variations in the tropical troposphere, according to large-eddy simulations and a two-column model. 10.1002/essoar.10504670.1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Conference Paper | IST-REx-ID: 9221 |
Nguyen Q, Mondelli M. 2020. Global convergence of deep networks with one wide layer followed by pyramidal topology. 34th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 33, 11961–11972.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 9415 |
Kurtz M, Kopinsky J, Gelashvili R, Matveev A, Carr J, Goin M, Leiserson W, Moore S, Nell B, Shavit N, Alistarh D-A. 2020. Inducing and exploiting activation sparsity for fast neural network inference. 37th International Conference on Machine Learning, ICML 2020. ICML: International Conference on Machine Learning vol. 119, 5533–5543.
[Published Version]
View
| Files available
2020 | Journal Article | IST-REx-ID: 9526 |
Choi J, Lyons DB, Kim MY, Moore JD, Zilberman D. 2020. DNA methylation and histone H1 jointly repress transposable elements and aberrant intragenic transcripts. Molecular Cell. 77(2), 310–323.e7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9583 |
Ferber A, Kwan MA. 2020. Almost all Steiner triple systems are almost resolvable. Forum of Mathematics. 8, e39.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9578 |
Bucić M, Kwan MA, Pokrovskiy A, Sudakov B, Tran T, Wagner AZ. 2020. Nearly-linear monotone paths in edge-ordered graphs. Israel Journal of Mathematics. 238(2), 663–685.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9582 |
Kwan MA, Letzter S, Sudakov B, Tran T. 2020. Dense induced bipartite subgraphs in triangle-free graphs. Combinatorica. 40(2), 283–305.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9581 |
Kwan MA. 2020. Almost all Steiner triple systems have perfect matchings. Proceedings of the London Mathematical Society. 121(6), 1468–1495.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9658 |
Cheng B, Ceriotti M, Tribello GA. 2020. Classical nucleation theory predicts the shape of the nucleus in homogeneous solidification. The Journal of Chemical Physics. 152(4), 044103.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
| arXiv
2020 | Journal Article | IST-REx-ID: 9664 |
Cheng B, Frenkel D. 2020. Computing the heat conductivity of fluids from density fluctuations. Physical Review Letters. 125(13), 130602.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2020 | Journal Article | IST-REx-ID: 9685 |
Cheng B, Mazzola G, Pickard CJ, Ceriotti M. 2020. Evidence for supercritical behaviour of high-pressure liquid hydrogen. Nature. 585(7824), 217–220.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2020 | Journal Article | IST-REx-ID: 12598 |
Shaw TE, Gascoin S, Mendoza PA, Pellicciotti F, McPhee J. 2020. Snow depth patterns in a high mountain Andean catchment from satellite optical tristereoscopic remote sensing. Water Resources Research. 56(2), e2019WR024880.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 12594 |
Shaw TE, Caro A, Mendoza P, Ayala Á, Pellicciotti F, Gascoin S, McPhee J. 2020. The utility of optical satellite winter snow depths for initializing a glacio‐hydrological model of a High‐Elevation, Andean catchment. Water Resources Research. 56(8), e2020WR027188.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 12596 |
Ayala Á, Farías-Barahona D, Huss M, Pellicciotti F, McPhee J, Farinotti D. 2020. Glacier runoff variations since 1955 in the Maipo River basin, in the semiarid Andes of central Chile. The Cryosphere. 14(6), 2005–2027.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 12597 |
Troxler P, Ayala Á, Shaw TE, Nolan M, Brock BW, Pellicciotti F. 2020. Modelling spatial patterns of near-surface air temperature over a decade of melt seasons on McCall Glacier, Alaska. Journal of Glaciology. 66(257), 386–400.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 12595 |
Yang W, Zhao C, Westoby M, Yao T, Wang Y, Pellicciotti F, Zhou J, He Z, Miles E. 2020. Seasonal dynamics of a temperate Tibetan glacier revealed by high-resolution UAV photogrammetry and in situ measurements. Remote Sensing. 12(15), 2389.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 12599
Immerzeel WW, Lutz AF, Andrade M, Bahl A, Biemans H, Bolch T, Hyde S, Brumby S, Davies BJ, Elmore AC, Emmer A, Feng M, Fernández A, Haritashya U, Kargel JS, Koppes M, Kraaijenbrink PDA, Kulkarni AV, Mayewski PA, Nepal S, Pacheco P, Painter TH, Pellicciotti F, Rajaram H, Rupper S, Sinisalo A, Shrestha AB, Viviroli D, Wada Y, Xiao C, Yao T, Baillie JEM. 2020. Importance and vulnerability of the world’s water towers. Nature. 577(7790), 364–369.
View
| DOI
2020 | Journal Article | IST-REx-ID: 12593
Herreid S, Pellicciotti F. 2020. The state of rock debris covering Earth’s glaciers. Nature Geoscience. 13(9), 621–627.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 10672 |
Lechner M. 2020. Learning representations for binary-classification without backpropagation. 8th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8188 |
Henderson PM, Lampert C. 2020. Unsupervised object-centric video generation and decomposition in 3D. 34th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 33, 3106–3117.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 12188 |
Bloomer RH, Hutchison CE, Bäurle I, Walker J, Fang X, Perera P, Velanis CN, Gümüs S, Spanos C, Rappsilber J, Feng X, Goodrich J, Dean C. 2020. The Arabidopsis epigenetic regulator ICU11 as an accessory protein of polycomb repressive complex 2. Proceedings of the National Academy of Sciences. 117(28), 16660–16666.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 12189 |
Christophorou N, She W, Long J, Hurel A, Beaubiat S, Idir Y, Tagliaro-Jahns M, Chambon A, Solier V, Vezon D, Grelon M, Feng X, Bouché N, Mézard C. 2020. AXR1 affects DNA methylation independently of its role in regulating meiotic crossover localization. PLOS Genetics. 16(6), e1008894.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 12310 |
Verzobio M. 2020. Primitive divisors of sequences associated to elliptic curves. Journal of Number Theory. 209(4), 378–390.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Preprint | IST-REx-ID: 9699 |
Monserrat B, Brandenburg JG, Engel EA, Cheng B. Extracting ice phases from liquid water: Why a machine-learning water model generalizes so well. arXiv, 2006.13316.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 12940 |
Meisenbichler C, Kluibenschedl F, Müller T. 2020. A 3-in-1 hand-held ambient mass spectrometry interface for identification and 2D localization of chemicals on surfaces. Analytical Chemistry. 92(21), 14314–14318.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 12939 |
Karg CA, Wang P, Kluibenschedl F, Müller T, Allmendinger L, Vollmar AM, Moser S. 2020. Phylloxanthobilins are abundant linear tetrapyrroles from chlorophyll breakdown with activities against cancer cells. European Journal of Organic Chemistry. 2020(29), 4499–4509.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Book (Editor) | IST-REx-ID: 7474 |
Schlögl A, Kiss J, Elefante S eds. 2020. Austrian High-Performance-Computing meeting (AHPC2020), Klosterneuburg, Austria: IST Austria, 72p.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7808 |
Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to quantize your neural network? International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 12079, 79–97.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7952 |
Boissonnat J-D, Wintraecken M. 2020. The topological correctness of PL-approximations of isomanifolds. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 20:1-20:18.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 13341 |
Anahory Y, Naren HR, Lachman EO, Sinai SB, Uri A, Embon L, Yaakobi E, Myasoedov Y, Huber ME, Klajn R, Zeldov E. 2020. SQUID-on-tip with single-electron spin sensitivity for high-field and ultra-low temperature nanomagnetic imaging. Nanoscale. 12(5), 3174–3182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv