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.
541 Publications
2022 | Published | Journal Article | IST-REx-ID: 12480 | 
M. Mondelli and R. Venkataramanan, “Approximate message passing with spectral initialization for generalized linear models,” Journal of Statistical Mechanics: Theory and Experiment, vol. 2022, no. 11. IOP Publishing, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12495 |
E. B. Iofinova, N. H. Konstantinov, and C. Lampert, “FLEA: Provably robust fair multisource learning from unreliable training data,” Transactions on Machine Learning Research. ML Research Press, 2022.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12508 |
T. A. Henzinger, K. Lehtinen, and P. Totzke, “History-deterministic timed automata,” in 33rd International Conference on Concurrency Theory, Warsaw, Poland, 2022, vol. 243, p. 14:1-14:21.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12509 |
G. Avni and T. A. Henzinger, “An updated survey of bidding games on graphs,” in 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 2022, vol. 241, p. 3:1-3:6.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12510 |
S. A. Gruenbacher et al., “GoTube: Scalable statistical verification of continuous-depth models,” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 6. Association for the Advancement of Artificial Intelligence, pp. 6755–6764, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12511 |
M. Lechner, D. Zikelic, K. Chatterjee, and T. A. Henzinger, “Stability verification in stochastic control systems via neural network supermartingales,” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7. Association for the Advancement of Artificial Intelligence, pp. 7326–7336, 2022.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12516 |
A. Bogdanov, M. Cueto Noval, C. Hoffmann, and A. Rosen, “Public-Key Encryption from Homogeneous CLWE,” in Theory of Cryptography, Chicago, IL, United States, 2022, vol. 13748, pp. 565–592.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Research Data | IST-REx-ID: 12522 |
M. Valentini, P. San-Jose, J. Arbiol, S. Marti-Sanchez, and M. Botifoll, “Data for ‘Majorana-like Coulomb spectroscopy in the absence of zero bias peaks.’” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12529 |
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, and S. Soudjani, “A direct symbolic algorithm for solving stochastic rabin games,” in 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, 2022, vol. 13244, pp. 81–98.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 12530
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, and A.-K. Schmuck, “BOCoSy: Small but powerful symbolic output-feedback control,” in 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, 2022, p. 24:1-24:11.
View
| DOI
2022 | Accepted | Preprint | IST-REx-ID: 12536 |
J. Barbier, T. Hou, M. Mondelli, and M. Saenz, “The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation?,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12537 |
S. Bombari, M. H. Amani, and M. Mondelli, “Memorization and optimization in deep neural networks with minimum over-parameterization,” in 36th Conference on Neural Information Processing Systems, 2022, vol. 35, pp. 7628–7640.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12538 |
M. H. Amani, S. Bombari, M. Mondelli, R. Pukdee, and S. Rini, “Sharp asymptotics on the compression of two-layer neural networks,” IEEE Information Theory Workshop. IEEE, pp. 588–593, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12540 |
R. Venkataramanan, K. Kögler, and M. Mondelli, “Estimation in rotationally invariant generalized linear models via approximate message passing,” in Proceedings of the 39th International Conference on Machine Learning, Baltimore, MD, United States, 2022, vol. 162.
[Published Version]
View
| Files available
2022 | Published | Conference Paper | IST-REx-ID: 12568 |
T. Meggendorfer, “Risk-aware stochastic shortest path,” in Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Virtual, 2022, vol. 36, no. 9, pp. 9858–9867.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12573 |
M. McCarthy, E. Miles, M. Kneib, P. Buri, S. Fugger, and F. Pellicciotti, “Supraglacial debris thickness and supply rate in High-Mountain Asia,” Communications Earth & Environment, vol. 3. Springer Nature, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12574 |
M. Kneib et al., “Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry,” The Cryosphere, vol. 16, no. 11. Copernicus Publications, pp. 4701–4725, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12575 |
M. McCarthy et al., “Glacier contributions to river discharge during the current Chilean megadrought,” Earth’s Future, vol. 10, no. 10. American Geophysical Union, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12576 |
T. E. Shaw et al., “Multi-decadal monsoon characteristics and glacier response in High Mountain Asia,” Environmental Research Letters, vol. 17, no. 10. IOP Publishing, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)