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.
9114 Publications
2022 | Conference Paper | IST-REx-ID: 12300 |
Practical asynchronous distributed key generation
S. Das, T. Yurek, Z. Xiang, A. Miller, E. Kokoris Kogias, L. Ren, in:, 2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–2534.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Das, T. Yurek, Z. Xiang, A. Miller, E. Kokoris Kogias, L. Ren, in:, 2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–2534.
2022 | Book Chapter | IST-REx-ID: 12303 |
Loop Grassmannians of Quivers and Affine Quantum Groups
I. Mirković, Y. Yang, G. Zhao, in:, V. Baranovskky, N. Guay, T. Schedler (Eds.), Representation Theory and Algebraic Geometry, 1st ed., Springer Nature; Birkhäuser, Cham, 2022, pp. 347–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Mirković, Y. Yang, G. Zhao, in:, V. Baranovskky, N. Guay, T. Schedler (Eds.), Representation Theory and Algebraic Geometry, 1st ed., Springer Nature; Birkhäuser, Cham, 2022, pp. 347–392.
2022 | Journal Article | IST-REx-ID: 12307
Tangible topology through the lens of limits
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.
View
| DOI
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.
2022 | Conference Paper | IST-REx-ID: 12508 |
History-deterministic timed automata
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.
2022 | 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 | 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 | 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 | 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 | Preprint | 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, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Barbier, T. Hou, M. Mondelli, M. Saenz, ArXiv (n.d.).
2022 | 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 | Preprint | IST-REx-ID: 12660 |
Cross-client Label Propagation for transductive federated learning
J.A. Scott, M.X. Yeo, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| arXiv
J.A. Scott, M.X. Yeo, C. Lampert, ArXiv (n.d.).
2022 | Preprint | IST-REx-ID: 12662 |
Generalization in Multi-objective machine learning
P. Súkeník, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Súkeník, C. Lampert, ArXiv (n.d.).
2022 | Conference Paper | IST-REx-ID: 12664 |
Intriguing properties of input-dependent randomized smoothing
P. Súkeník, A. Kuvshinov, S. Günnemann, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022, pp. 20697–20743.
[Published Version]
View
| Files available
| arXiv
P. Súkeník, A. Kuvshinov, S. Günnemann, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022, pp. 20697–20743.
2022 | Journal Article | IST-REx-ID: 12495 |
FLEA: Provably robust fair multisource learning from unreliable training data
E.B. Iofinova, N.H. Konstantinov, C. Lampert, Transactions on Machine Learning Research (2022).
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
E.B. Iofinova, N.H. Konstantinov, C. Lampert, Transactions on Machine Learning Research (2022).
2022 | Journal Article | IST-REx-ID: 11938 |
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, Journal of Graph Algorithms and Applications 26 (2022) 225–240.
[Published Version]
View
| Files available
| DOI
| arXiv
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, Journal of Graph Algorithms and Applications 26 (2022) 225–240.
2022 | Journal Article | IST-REx-ID: 10706 |
Open problems on billiards and geometric optics
M. Bialy, C. Fiorebe, A. Glutsyuk, M. Levi, A. Plakhov, S. Tabachnikov, Arnold Mathematical Journal 8 (2022) 411–422.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Bialy, C. Fiorebe, A. Glutsyuk, M. Levi, A. Plakhov, S. Tabachnikov, Arnold Mathematical Journal 8 (2022) 411–422.
2022 | Preprint | IST-REx-ID: 12677 |
Repeated prophet inequality with near-optimal bounds
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
2022 | 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.
2022 | Journal Article | IST-REx-ID: 12581 |
Intensified paraglacial slope failures due to accelerating downwasting of a temperate glacier in Mt. Gongga, southeastern Tibetan Plateau
Y. Zhong, Q. Liu, M. Westoby, Y. Nie, F. Pellicciotti, B. Zhang, J. Cai, G. Liu, H. Liao, X. Lu, Earth Surface Dynamics 10 (2022) 23–42.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Y. Zhong, Q. Liu, M. Westoby, Y. Nie, F. Pellicciotti, B. Zhang, J. Cai, G. Liu, H. Liao, X. Lu, Earth Surface Dynamics 10 (2022) 23–42.
2022 | 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).