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.
642 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12509 | 
An updated survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
[Published Version]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
2022 | Published | Journal Article | IST-REx-ID: 12510 |
GoTube: Scalable statistical verification of continuous-depth models
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.
2022 | Published | Journal Article | IST-REx-ID: 12511 |
Stability verification in stochastic control systems via neural network supermartingales
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
2022 | Published | Conference Paper | IST-REx-ID: 12516 |
Public-Key Encryption from Homogeneous CLWE
A. Bogdanov, M. Cueto Noval, C. Hoffmann, A. Rosen, in:, Theory of Cryptography, Springer Nature, 2022, pp. 565–592.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
A. Bogdanov, M. Cueto Noval, C. Hoffmann, A. Rosen, in:, Theory of Cryptography, Springer Nature, 2022, pp. 565–592.
2022 | Research Data | IST-REx-ID: 12522 |
Data for "Majorana-like Coulomb spectroscopy in the absence of zero bias peaks"
M. Valentini, P. San-Jose, J. Arbiol, S. Marti-Sanchez, M. Botifoll, (2022).
[Published Version]
View
| Files available
| DOI
M. Valentini, P. San-Jose, J. Arbiol, S. Marti-Sanchez, M. Botifoll, (2022).
2022 | Published | Conference Paper | IST-REx-ID: 12529 |
A direct symbolic algorithm for solving stochastic rabin games
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
2022 | Published | Conference Paper | IST-REx-ID: 12530
BOCoSy: Small but powerful symbolic output-feedback control
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:, 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11.
View
| DOI
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:, 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11.
2022 | Published | Conference Paper | IST-REx-ID: 12536 |
The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation?
J. Barbier, T. Hou, M. Mondelli, M. Saenz, in:, 36th Annual Conference on Neural Information Processing Systems, 2022.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
J. Barbier, T. Hou, M. Mondelli, M. Saenz, in:, 36th Annual Conference on Neural Information Processing Systems, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 12537 |
Memorization and optimization in deep neural networks with minimum over-parameterization
S. Bombari, M.H. Amani, M. Mondelli, in:, 36th Conference on Neural Information Processing Systems, Curran Associates, 2022, pp. 7628–7640.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
S. Bombari, M.H. Amani, M. Mondelli, in:, 36th Conference on Neural Information Processing Systems, Curran Associates, 2022, pp. 7628–7640.
2022 | Published | Journal Article | IST-REx-ID: 12538 |
Sharp asymptotics on the compression of two-layer neural networks
M.H. Amani, S. Bombari, M. Mondelli, R. Pukdee, S. Rini, IEEE Information Theory Workshop (2022) 588–593.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Amani, S. Bombari, M. Mondelli, R. Pukdee, S. Rini, IEEE Information Theory Workshop (2022) 588–593.
2022 | Published | Conference Paper | IST-REx-ID: 12540 |
Estimation in rotationally invariant generalized linear models via approximate message passing
R. Venkataramanan, K. Kögler, M. Mondelli, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022.
[Published Version]
View
| Files available
R. Venkataramanan, K. Kögler, M. Mondelli, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 12568 |
Risk-aware stochastic shortest path
T. Meggendorfer, in:, Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Association for the Advancement of Artificial Intelligence, 2022, pp. 9858–9867.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Meggendorfer, in:, Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Association for the Advancement of Artificial Intelligence, 2022, pp. 9858–9867.
2022 | Published | Journal Article | IST-REx-ID: 12573 |
Supraglacial debris thickness and supply rate in High-Mountain Asia
M. McCarthy, E. Miles, M. Kneib, P. Buri, S. Fugger, F. Pellicciotti, Communications Earth & Environment 3 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. McCarthy, E. Miles, M. Kneib, P. Buri, S. Fugger, F. Pellicciotti, Communications Earth & Environment 3 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12574 |
Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry
M. Kneib, E.S. Miles, P. Buri, S. Fugger, M. McCarthy, T.E. Shaw, Z. Chuanxi, M. Truffer, M.J. Westoby, W. Yang, F. Pellicciotti, The Cryosphere 16 (2022) 4701–4725.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Kneib, E.S. Miles, P. Buri, S. Fugger, M. McCarthy, T.E. Shaw, Z. Chuanxi, M. Truffer, M.J. Westoby, W. Yang, F. Pellicciotti, The Cryosphere 16 (2022) 4701–4725.
2022 | Published | Journal Article | IST-REx-ID: 12575 |
Glacier contributions to river discharge during the current Chilean megadrought
M. McCarthy, F. Meier, S. Fatichi, B.D. Stocker, T.E. Shaw, E. Miles, I. Dussaillant, F. Pellicciotti, Earth’s Future 10 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. McCarthy, F. Meier, S. Fatichi, B.D. Stocker, T.E. Shaw, E. Miles, I. Dussaillant, F. Pellicciotti, Earth’s Future 10 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12576 |
Multi-decadal monsoon characteristics and glacier response in High Mountain Asia
T.E. Shaw, E.S. Miles, D. Chen, A. Jouberton, M. Kneib, S. Fugger, T. Ou, H.-W. Lai, K. Fujita, W. Yang, S. Fatichi, F. Pellicciotti, Environmental Research Letters 17 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.E. Shaw, E.S. Miles, D. Chen, A. Jouberton, M. Kneib, S. Fugger, T. Ou, H.-W. Lai, K. Fujita, W. Yang, S. Fatichi, F. Pellicciotti, Environmental Research Letters 17 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12577
Warming-induced monsoon precipitation phase change intensifies glacier mass loss in the southeastern Tibetan Plateau
A. Jouberton, T.E. Shaw, E. Miles, M. McCarthy, S. Fugger, S. Ren, A. Dehecq, W. Yang, F. Pellicciotti, PNAS 119 (2022).
View
| DOI
A. Jouberton, T.E. Shaw, E. Miles, M. McCarthy, S. Fugger, S. Ren, A. Dehecq, W. Yang, F. Pellicciotti, PNAS 119 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12578 |
Modelling supraglacial debris-cover evolution from the single-glacier to the regional scale: An application to High Mountain Asia
L. Compagno, M. Huss, E.S. Miles, M.J. McCarthy, H. Zekollari, A. Dehecq, F. Pellicciotti, D. Farinotti, The Cryosphere 16 (2022) 1697–1718.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Compagno, M. Huss, E.S. Miles, M.J. McCarthy, H. Zekollari, A. Dehecq, F. Pellicciotti, D. Farinotti, The Cryosphere 16 (2022) 1697–1718.
2022 | Published | Journal Article | IST-REx-ID: 12579 |
Understanding monsoon controls on the energy and mass balance of glaciers in the Central and Eastern Himalaya
S. Fugger, C.L. Fyffe, S. Fatichi, E. Miles, M. McCarthy, T.E. Shaw, B. Ding, W. Yang, P. Wagnon, W. Immerzeel, Q. Liu, F. Pellicciotti, The Cryosphere 16 (2022) 1631–1652.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Fugger, C.L. Fyffe, S. Fatichi, E. Miles, M. McCarthy, T.E. Shaw, B. Ding, W. Yang, P. Wagnon, W. Immerzeel, Q. Liu, F. Pellicciotti, The Cryosphere 16 (2022) 1631–1652.
2022 | Published | Journal Article | IST-REx-ID: 12580 |
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
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.)
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.