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.

9096 Publications


2021 | Journal Article | IST-REx-ID: 9285 | OA
Henheik SJ, Teufel S. 2021. Justifying Kubo’s formula for gapped systems at zero temperature: A brief review and some new results. Reviews in Mathematical Physics. 33(01), 2060004.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9296 | OA
Aichholzer O, Arroyo Guevara AM, Masárová Z, Parada I, Perz D, Pilz A, Tkadlec J, Vogtenhuber B. 2021. On compatible matchings. 15th International Conference on Algorithms and Computation. WALCOM: Algorithms and Computation, LNCS, vol. 12635, 221–233.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Book Chapter | IST-REx-ID: 9403 | OA
Schmid L, Hilbe C. 2021.The evolution of strategic ignorance in strategic interaction. In: Deliberate Ignorance: Choosing Not To Know. vol. 29, 139–152.
[Published Version] View | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9466 | OA
Walter M. 2021. The convergence of slide-type reductions. Public-Key Cryptography – PKC 2021. PKC: IACR International Conference on Practice and Theory of Public Key Cryptography, LNCS, vol. 12710, 45–67.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9465 | OA
Edelsbrunner H, Nikitenko A, Osang GF. 2021. A step in the Delaunay mosaic of order k. Journal of Geometry. 112(1), 15.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9543 | OA
Davies P, Gurunanthan V, Moshrefi N, Ashkboos S, Alistarh D-A. 2021. New bounds for distributed mean estimation and variance reduction. 9th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Published Version] View | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9572 | OA
Fox J, Kwan MA, Sudakov B. 2021. Acyclic subgraphs of tournaments with high chromatic number. Bulletin of the London Mathematical Society. 53(2), 619–630.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9592 | OA
Dvorak M, Nicholson S. Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry.
[Submitted Version] View | Files available | arXiv
 

2021 | Journal Article | IST-REx-ID: 9669 | OA
Reinhardt A, Cheng B. 2021. Quantum-mechanical exploration of the phase diagram of water. Nature Communications. 12(1), 588.
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2021 | Preprint | IST-REx-ID: 9695 | OA
Glielmo A, Zeni C, Cheng B, Csanyi G, Laio A. Ranking the information content of distance measures. arXiv, 2104.15079.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9696 | OA
Cheng B, Bethkenhagen M, Pickard CJ, Hamel S. Predicting the phase behaviors of superionic water at planetary conditions. arXiv, 2103.09035.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9082 | OA
Anderson DJ, Pauler F, McKenna A, Shendure J, Hippenmeyer S, Horwitz MS. Simultaneous identification of brain cell type and lineage via single cell RNA sequencing. bioRxiv, 10.1101/2020.12.31.425016.
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 9151 | OA
Fildier B, Collins WD, Muller CJ. 2021. Distortions of the rain distribution with warming, with and without self‐aggregation. Journal of Advances in Modeling Earth Systems. 13(2), e2020MS002256.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9210 | OA
Volhejn V, Lampert C. 2021. Does SGD implicitly optimize for smoothness? 42nd German Conference on Pattern Recognition. DAGM GCPR: German Conference on Pattern Recognition LNCS vol. 12544, 246–259.
[Submitted Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9345 | OA
Edelsbrunner H, Heiss T, Kurlin V, Smith P, Wintraecken M. 2021. The density fingerprint of a periodic point set. 37th International Symposium on Computational Geometry (SoCG 2021). SoCG: Symposium on Computational Geometry, LIPIcs, vol. 189, 32:1-32:16.
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 9435 | OA
Kaloshin V, Koudjinan E. 2021. Non co-preservation of the 1/2 and  1/(2l+1)-rational caustics along deformations of circles.
[Submitted Version] View | Files available
 

2021 | Conference Paper | IST-REx-ID: 9604 | OA
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. 2021. Counting cells of order-k voronoi tessellations in ℝ3 with morse theory. Leibniz International Proceedings in Informatics. SoCG: International Symposium on Computational Geometry, LIPIcs, vol. 189, 16.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9620 | OA
Alistarh D-A, Davies P. 2021. Collecting coupons is faster with friends. Structural Information and Communication Complexity. SIROCCO: International Colloquium on Structural Information and Communication Complexity, LNCS, vol. 12810, 3–12.
[Preprint] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9826 | OA
Auerbach B, Chakraborty S, Klein K, Pascual Perez G, Pietrzak KZ, Walter M, Yeo MX. 2021. Inverse-Sybil attacks in automated contact tracing. Topics in Cryptology – CT-RSA 2021. CT-RSA: Cryptographers’ Track at the RSA Conference, LNCS, vol. 12704, 399–421.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9825 | OA
Laarhoven T, Walter M. 2021. Dual lattice attacks for closest vector problems (with preprocessing). Topics in Cryptology – CT-RSA 2021. CT-RSA: Cryptographers’ Track at the RSA Conference, LNCS, vol. 12704, 478–502.
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9823 | OA
Alistarh D-A, Ellen F, Rybicki J. 2021. Wait-free approximate agreement on graphs. Structural Information and Communication Complexity. SIROCCO: Structural Information and Communication Complexity, LNCS, vol. 12810, 87–105.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9824
Čomić L, Zrour R, Largeteau-Skapin G, Biswas R, Andres E. 2021. Body centered cubic grid - coordinate system and discrete analytical plane definition. Discrete Geometry and Mathematical Morphology. DGMM: International Conference on Discrete Geometry and Mathematical Morphology, LNCS, vol. 12708, 152–163.
View | DOI
 

2021 | Preprint | IST-REx-ID: 9980 | OA
Prehal C, Talian SD, Vizintin A, Amenitsch H, Dominko R, Freunberger SA, Wood V. Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. Research Square, 10.21203/rs.3.rs-818607/v1.
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 12584 | OA
Menenti M, Li X, Jia L, Yang K, Pellicciotti F, Mancini M, Shi J, Escorihuela MJ, Zheng C, Chen Q, Lu J, Zhou J, Hu G, Ren S, Zhang J, Liu Q, Qiu Y, Huang C, Zhou J, Han X, Pan X, Li H, Wu Y, Ding B, Yang W, Buri P, McCarthy MJ, Miles ES, Shaw TE, Ma C, Zhou Y, Corbari C, Li R, Zhao T, Stefan V, Gao Q, Zhang J, Xie Q, Wang N, Sun Y, Mo X, Jia J, Jouberton AP, Kneib M, Fugger S, Paciolla N, Paolini G. 2021. Multi-source hydrological data products to monitor High Asian river basins and regional water security. Remote Sensing. 13(24), 5122.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12590 | OA
Kneib M, Miles ES, Jola S, Buri P, Herreid S, Bhattacharya A, Watson CS, Bolch T, Quincey D, Pellicciotti F. 2021. Mapping ice cliffs on debris-covered glaciers using multispectral satellite images. Remote Sensing of Environment. 253(2), 112201.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12591 | OA
Ren S, Miles ES, Jia L, Menenti M, Kneib M, Buri P, McCarthy MJ, Shaw TE, Yang W, Pellicciotti F. 2021. Anisotropy parameterization development and evaluation for glacier surface albedo retrieval from satellite observations. Remote Sensing. 13(9), 1714.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12589 | OA
Shaw TE, Yang W, Ayala Á, Bravo C, Zhao C, Pellicciotti F. 2021. Distributed summer air temperatures across mountain glaciers in the south-east Tibetan Plateau: Temperature sensitivity and comparison with existing glacier datasets. The Cryosphere. 15(2), 595–614.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12586 | OA
Kneib M, Miles ES, Buri P, Molnar P, McCarthy M, Fugger S, Pellicciotti F. 2021. Interannual dynamics of ice cliff populations on debris‐covered glaciers from remote sensing observations and stochastic modeling. Journal of Geophysical Research: Earth Surface. 126(10), e2021JF006179.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12587 | OA
Stewart RL, Westoby M, Pellicciotti F, Rowan A, Swift D, Brock B, Woodward J. 2021. Using climate reanalysis data in conjunction with multi-temporal satellite thermal imagery to derive supraglacial debris thickness changes from energy-balance modelling. Journal of Glaciology. 67(262), 366–384.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12585 | OA
Miles E, McCarthy M, Dehecq A, Kneib M, Fugger S, Pellicciotti F. 2021. Health and sustainability of glaciers in High Mountain Asia. Nature Communications. 12, 2868.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12588 | OA
Buri P, Miles ES, Steiner JF, Ragettli S, Pellicciotti F. 2021. Supraglacial ice cliffs can substantially increase the mass loss of debris‐covered glaciers. Geophysical Research Letters. 48(6), e2020GL092150.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 12583 | OA
Fyffe CL, Potter E, Fugger S, Orr A, Fatichi S, Loarte E, Medina K, Hellström RÅ, Bernat M, Aubry‐Wake C, Gurgiser W, Perry LB, Suarez W, Quincey DJ, Pellicciotti F. 2021. The energy and mass balance of Peruvian Glaciers. Journal of Geophysical Research: Atmospheres. 126(23), e2021JD034911.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 12767 | OA
Bansal S, Chatterjee K, Vardi MY. 2021. On satisficing in quantitative games. 27th 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. 12651, 20–37.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Preprint | IST-REx-ID: 10011 | OA
Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. arXiv, 2109.04233.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9230 | OA
Arguin L-P, Dubach G, Hartung L. Maxima of a random model of the Riemann zeta function over intervals of varying length. arXiv, 2103.04817.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9281 | OA
Dubach G, Mühlböck F. Formal verification of Zagier’s one-sentence proof. arXiv, 2103.11389.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 10579 | OA
Kavcic B, Tkačik G. Token-driven totally asymmetric simple exclusion process. arXiv, 2112.13558.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10806 | OA
Calcabrini M, Van den Eynden D, Sanchez Ribot S, Pokratath R, Llorca J, De Roo J, Ibáñez M. 2021. Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. 1(11), 1898–1903.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 12187
Long J, Walker J, She W, Aldridge B, Gao H, Deans S, Vickers M, Feng X. 2021. Nurse cell--derived small RNAs define paternal epigenetic inheritance in Arabidopsis. Science. 373(6550).
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 12186
Ding P, Sakai T, Krishna Shrestha R, Manosalva Perez N, Guo W, Ngou BPM, He S, Liu C, Feng X, Zhang R, Vandepoele K, MacLean D, Jones JDG. 2021. Chromatin accessibility landscapes activated by cell-surface and intracellular immune receptors. Journal of Experimental Botany. 72(22), 7927–7941.
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9698 | OA
Keith JA, Valentin Vassilev-Galindo V, Cheng B, Chmiela S, Gastegger M, Müller K-R, Tkatchenko A. 2021. Combining machine learning and computational chemistry for predictive insights into chemical systems. Chemical Reviews. 121(16), 9816–9872.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 12309 | OA
Verzobio M. 2021. Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728. Acta Arithmetica. 198(2), 129–168.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 12308 | OA
Verzobio M. 2021. Primitive divisors of sequences associated to elliptic curves with complex multiplication. Research in Number Theory. 7(2), 37.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Conference Abstract | IST-REx-ID: 12909 | OA
Schlögl A, Elefante S, Hornoiu A, Stadlbauer S. 2021. Managing software on a heterogenous HPC cluster. ASHPC21 – Austrian-Slovenian HPC Meeting 2021. ASHPC - Austrian-Slovenian HPC Meeting, 5.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 11458 | OA
Peste E-A, Iofinova EB, Vladu A, Alistarh D-A. 2021. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 34, 8557–8570.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10585 | OA
Brooks M, Lemeshko M, Lundholm D, Yakaboylu E. 2021. Emergence of anyons on the two-sphere in molecular impurities. Atoms. 9(4), 106.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 13147 | OA
Alimisis F, Davies P, Alistarh D-A. 2021. Communication-efficient distributed optimization with quantized preconditioners. Proceedings of the 38th International Conference on Machine Learning. International Conference on Machine Learning vol. 139, 196–206.
[Published Version] View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 13146 | OA
Nguyen Q, Mondelli M, Montufar G. 2021. Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks. Proceedings of the 38th International Conference on Machine Learning. International Conference on Machine Learning vol. 139, 8119–8129.
[Published Version] View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger TA, Lechner M, Zikelic D. 2021. Scalable verification of quantized neural networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 3787–3795.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10667 | OA
Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. 2021. Infinite time horizon safety of Bayesian neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, .
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications