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.

12349 Publications


2022 | Published | Conference Paper | IST-REx-ID: 12509 | OA
Avni G, Henzinger TA. 2022. An updated survey of bidding games on graphs. 47th International Symposium on Mathematical Foundations of Computer Science. MFCS: Mathematical Foundations of Computer ScienceLeibniz International Proceedings in Informatics (LIPIcs) vol. 241, 3:1-3:6.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12510 | OA
Gruenbacher SA, Lechner M, Hasani R, Rus D, Henzinger TA, Smolka SA, Grosu R. 2022. GoTube: Scalable statistical verification of continuous-depth models. Proceedings of the AAAI Conference on Artificial Intelligence. 36(6), 6755–6764.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. 2022. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 36(7), 7326–7336.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12516 | OA
Bogdanov A, Cueto Noval M, Hoffmann C, Rosen A. 2022. Public-Key Encryption from Homogeneous CLWE. Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 13748, 565–592.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Research Data | IST-REx-ID: 12522 | OA
Valentini M, San-Jose P, Arbiol J, Marti-Sanchez S, Botifoll M. 2022. Data for ‘Majorana-like Coulomb spectroscopy in the absence of zero bias peaks’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12102.
[Published Version] View | Files available | DOI
 

2022 | Published | Conference Paper | IST-REx-ID: 12529 | OA
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. 2022. A direct symbolic algorithm for solving stochastic rabin games. 28th 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. 13244, 81–98.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Conference Paper | IST-REx-ID: 12530
Finkbeiner B, Mallik K, Passing N, Schledjewski M, Schmuck A-K. 2022. BOCoSy: Small but powerful symbolic output-feedback control. 25th ACM International Conference on Hybrid Systems: Computation and Control. HSCC: International Conference on Hybrid Systems Computation and Control, 24:1-24:11.
View | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12538 | OA
Amani MH, Bombari S, Mondelli M, Pukdee R, Rini S. 2022. Sharp asymptotics on the compression of two-layer neural networks. IEEE Information Theory Workshop., 588–593.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12568 | OA
Meggendorfer T. 2022. Risk-aware stochastic shortest path. Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. Conference on Artificial Intelligence vol. 36, 9858–9867.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12574 | OA
Kneib M, Miles ES, Buri P, Fugger S, McCarthy M, Shaw TE, Chuanxi Z, Truffer M, Westoby MJ, Yang W, Pellicciotti F. 2022. Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. 16(11), 4701–4725.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12575 | OA
McCarthy M, Meier F, Fatichi S, Stocker BD, Shaw TE, Miles E, Dussaillant I, Pellicciotti F. 2022. Glacier contributions to river discharge during the current Chilean megadrought. Earth’s Future. 10(10), e2022EF002852.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12576 | OA
Shaw TE, Miles ES, Chen D, Jouberton A, Kneib M, Fugger S, Ou T, Lai H-W, Fujita K, Yang W, Fatichi S, Pellicciotti F. 2022. Multi-decadal monsoon characteristics and glacier response in High Mountain Asia. Environmental Research Letters. 17(10), 104001.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12577
Jouberton A, Shaw TE, Miles E, McCarthy M, Fugger S, Ren S, Dehecq A, Yang W, Pellicciotti F. 2022. Warming-induced monsoon precipitation phase change intensifies glacier mass loss in the southeastern Tibetan Plateau. PNAS. 119(37), e2109796119.
View | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12578 | OA
Compagno L, Huss M, Miles ES, McCarthy MJ, Zekollari H, Dehecq A, Pellicciotti F, Farinotti D. 2022. Modelling supraglacial debris-cover evolution from the single-glacier to the regional scale: An application to High Mountain Asia. The Cryosphere. 16(5), 1697–1718.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12579 | OA
Fugger S, Fyffe CL, Fatichi S, Miles E, McCarthy M, Shaw TE, Ding B, Yang W, Wagnon P, Immerzeel W, Liu Q, Pellicciotti F. 2022. Understanding monsoon controls on the energy and mass balance of glaciers in the Central and Eastern Himalaya. The Cryosphere. 16(5), 1631–1652.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12580 | OA
Orr A, Ahmad B, Alam U, Appadurai A, Bharucha ZP, Biemans H, Bolch T, Chaulagain NP, Dhaubanjar S, Dimri AP, Dixon H, Fowler HJ, Gioli G, Halvorson SJ, Hussain A, Jeelani G, Kamal S, Khalid IS, Liu S, Lutz A, Mehra MK, Miles E, Momblanch A, Muccione V, Mukherji A, Mustafa D, Najmuddin O, Nasimi MN, Nüsser M, Pandey VP, Parveen S, Pellicciotti F, Pollino C, Potter E, Qazizada MR, Ray S, Romshoo S, Sarkar SK, Sawas A, Sen S, Shah A, Shah MAA, Shea JM, Sheikh AT, Shrestha AB, Tayal S, Tigala S, Virk ZT, Wester P, Wescoat JL. 2022. Knowledge priorities on climate change and water in the Upper Indus Basin: A horizon scanning exercise to identify the Top 100 research questions in social and natural sciences. Earth’s Future. 10(4), e2021EF002619.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12581 | OA
Zhong Y, Liu Q, Westoby M, Nie Y, Pellicciotti F, Zhang B, Cai J, Liu G, Liao H, Lu X. 2022. Intensified paraglacial slope failures due to accelerating downwasting of a temperate glacier in Mt. Gongga, southeastern Tibetan Plateau. Earth Surface Dynamics. 10(1), 23–42.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12582 | OA
Miles ES, Steiner JF, Buri P, Immerzeel WW, Pellicciotti F. 2022. Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. 17(6), 064004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Conference Paper | IST-REx-ID: 12664 | OA
Súkeník P, Kuvshinov A, Günnemann S. 2022. Intriguing properties of input-dependent randomized smoothing. Proceedings of the 39th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 162, 20697–20743.
[Published Version] View | Files available | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12670 | OA
He S, Feng X. 2022. DNA methylation dynamics during germline development. Journal of Integrative Plant Biology. 64(12), 2240–2251.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed