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 | 
Mondelli, M., & Venkataramanan, R. (2022). Approximate message passing with spectral initialization for generalized linear models. Journal of Statistical Mechanics: Theory and Experiment. IOP Publishing. https://doi.org/10.1088/1742-5468/ac9828
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12495 |
Iofinova, E. B., Konstantinov, N. H., & Lampert, C. (2022). FLEA: Provably robust fair multisource learning from unreliable training data. Transactions on Machine Learning Research. ML Research Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12508 |
Henzinger, T. A., Lehtinen, K., & Totzke, P. (2022). History-deterministic timed automata. In 33rd International Conference on Concurrency Theory (Vol. 243, p. 14:1-14:21). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2022.14
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12509 |
Avni, G., & Henzinger, T. A. (2022). An updated survey of bidding games on graphs. In 47th International Symposium on Mathematical Foundations of Computer Science (Vol. 241, p. 3:1-3:6). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2022.3
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12510 |
Gruenbacher, S. A., Lechner, M., Hasani, R., Rus, D., Henzinger, T. A., Smolka, S. A., & Grosu, R. (2022). GoTube: Scalable statistical verification of continuous-depth models. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i6.20631
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12511 |
Lechner, M., Zikelic, D., Chatterjee, K., & Henzinger, T. A. (2022). Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i7.20695
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12516 |
Bogdanov, A., Cueto Noval, M., Hoffmann, C., & Rosen, A. (2022). Public-Key Encryption from Homogeneous CLWE. In Theory of Cryptography (Vol. 13748, pp. 565–592). Chicago, IL, United States: Springer Nature. https://doi.org/10.1007/978-3-031-22365-5_20
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Research Data | IST-REx-ID: 12522 |
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. https://doi.org/10.15479/AT:ISTA:12102
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12529 |
Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2022). A direct symbolic algorithm for solving stochastic rabin games. In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13244, pp. 81–98). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99527-0_5
[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. In 25th ACM International Conference on Hybrid Systems: Computation and Control (p. 24:1-24:11). Milan, Italy: ACM. https://doi.org/10.1145/3501710.3519535
View
| DOI
2022 | Accepted | Preprint | IST-REx-ID: 12536 |
Barbier, J., Hou, T., Mondelli, M., & Saenz, M. (n.d.). The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation? arXiv. https://doi.org/10.48550/arXiv.2205.10009
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12537 |
Bombari, S., Amani, M. H., & Mondelli, M. (2022). Memorization and optimization in deep neural networks with minimum over-parameterization. In 36th Conference on Neural Information Processing Systems (Vol. 35, pp. 7628–7640). Curran Associates.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12538 |
Amani, M. H., Bombari, S., Mondelli, M., Pukdee, R., & Rini, S. (2022). Sharp asymptotics on the compression of two-layer neural networks. IEEE Information Theory Workshop. Mumbai, India: IEEE. https://doi.org/10.1109/ITW54588.2022.9965870
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12540 |
Venkataramanan, R., Kögler, K., & Mondelli, M. (2022). Estimation in rotationally invariant generalized linear models via approximate message passing. In Proceedings of the 39th International Conference on Machine Learning (Vol. 162). Baltimore, MD, United States: ML Research Press.
[Published Version]
View
| Files available
2022 | Published | Conference Paper | IST-REx-ID: 12568 |
Meggendorfer, T. (2022). Risk-aware stochastic shortest path. In Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022 (Vol. 36, pp. 9858–9867). Virtual: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i9.21222
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12573 |
McCarthy, M., Miles, E., Kneib, M., Buri, P., Fugger, S., & Pellicciotti, F. (2022). Supraglacial debris thickness and supply rate in High-Mountain Asia. Communications Earth & Environment. Springer Nature. https://doi.org/10.1038/s43247-022-00588-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12574 |
Kneib, M., Miles, E. S., Buri, P., Fugger, S., McCarthy, M., Shaw, T. E., … Pellicciotti, F. (2022). Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. Copernicus Publications. https://doi.org/10.5194/tc-16-4701-2022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12575 |
McCarthy, M., Meier, F., Fatichi, S., Stocker, B. D., Shaw, T. E., Miles, E., … Pellicciotti, F. (2022). Glacier contributions to river discharge during the current Chilean megadrought. Earth’s Future. American Geophysical Union. https://doi.org/10.1029/2022ef002852
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12576 |
Shaw, T. E., Miles, E. S., Chen, D., Jouberton, A., Kneib, M., Fugger, S., … Pellicciotti, F. (2022). Multi-decadal monsoon characteristics and glacier response in High Mountain Asia. Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/ac9008
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12577
Jouberton, A., Shaw, T. E., Miles, E., McCarthy, M., Fugger, S., Ren, S., … Pellicciotti, F. (2022). Warming-induced monsoon precipitation phase change intensifies glacier mass loss in the southeastern Tibetan Plateau. PNAS. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2109796119
View
| DOI