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.

8919 Publications


2022 | Published | Conference Paper | IST-REx-ID: 12452 | OA
Rao, Pramod, et al. “VoRF: Volumetric Relightable Faces.” 33rd British Machine Vision Conference, 708, British Machine Vision Association and Society for Pattern Recognition, 2022.
[Published Version] View | Files available | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12480 | OA
Mondelli, Marco, and Ramji Venkataramanan. “Approximate Message Passing with Spectral Initialization for Generalized Linear Models.” Journal of Statistical Mechanics: Theory and Experiment, vol. 2022, no. 11, 114003, IOP Publishing, 2022, doi:10.1088/1742-5468/ac9828.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12495 | OA
Iofinova, Eugenia B., et al. “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 | OA
Henzinger, Thomas A., et al. “History-Deterministic Timed Automata.” 33rd International Conference on Concurrency Theory, vol. 243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21, doi:10.4230/LIPIcs.CONCUR.2022.14.
[Published Version] View | Files available | DOI
 

2022 | Published | Conference Paper | IST-REx-ID: 12509 | OA
Avni, Guy, and Thomas A. Henzinger. “An Updated Survey of Bidding Games on Graphs.” 47th International Symposium on Mathematical Foundations of Computer Science, vol. 241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 3:1-3:6, doi:10.4230/LIPIcs.MFCS.2022.3.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12510 | OA
Gruenbacher, Sophie A., 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, 2022, pp. 6755–64, doi:10.1609/aaai.v36i6.20631.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
Lechner, Mathias, et al. “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, 2022, pp. 7326–36, doi:10.1609/aaai.v36i7.20695.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12516 | OA
Bogdanov, Andrej, et al. “Public-Key Encryption from Homogeneous CLWE.” Theory of Cryptography, vol. 13748, Springer Nature, 2022, pp. 565–92, doi:10.1007/978-3-031-22365-5_20.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Research Data | IST-REx-ID: 12522 | OA
Valentini, Marco, et al. Data for “Majorana-like Coulomb Spectroscopy in the Absence of Zero Bias Peaks.” Institute of Science and Technology Austria, 2022, doi:10.15479/AT:ISTA:12102.
[Published Version] View | Files available | DOI
 

2022 | Published | Conference Paper | IST-REx-ID: 12529 | OA
Banerjee, Tamajit, et al. “A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.” 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 13244, Springer Nature, 2022, pp. 81–98, doi: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, Bernd, et al. “BOCoSy: Small but Powerful Symbolic Output-Feedback Control.” 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11, doi:10.1145/3501710.3519535.
View | DOI
 

2022 | Accepted | Preprint | IST-REx-ID: 12536 | OA
Barbier, Jean, et al. “The Price of Ignorance: How Much Does It Cost to Forget Noise Structure in Low-Rank Matrix Estimation?” ArXiv, 2205.10009, doi:10.48550/arXiv.2205.10009.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12537 | OA
Bombari, Simone, et al. “Memorization and Optimization in Deep Neural Networks with Minimum Over-Parameterization.” 36th Conference on Neural Information Processing Systems, vol. 35, Curran Associates, 2022, pp. 7628–40.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12538 | OA
Amani, Mohammad Hossein, et al. “Sharp Asymptotics on the Compression of Two-Layer Neural Networks.” IEEE Information Theory Workshop, IEEE, 2022, pp. 588–93, doi:10.1109/ITW54588.2022.9965870.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12540 | OA
Venkataramanan, Ramji, et al. “Estimation in Rotationally Invariant Generalized Linear Models via Approximate Message Passing.” Proceedings of the 39th International Conference on Machine Learning, vol. 162, 22, ML Research Press, 2022.
[Published Version] View | Files available
 

2022 | Published | Conference Paper | IST-REx-ID: 12568 | OA
Meggendorfer, Tobias. “Risk-Aware Stochastic Shortest Path.” Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, vol. 36, no. 9, Association for the Advancement of Artificial Intelligence, 2022, pp. 9858–67, doi:10.1609/aaai.v36i9.21222.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12573 | OA
McCarthy, Michael, et al. “Supraglacial Debris Thickness and Supply Rate in High-Mountain Asia.” Communications Earth & Environment, vol. 3, 269, Springer Nature, 2022, doi:10.1038/s43247-022-00588-2.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12574 | OA
Kneib, Marin, 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, 2022, pp. 4701–25, doi:10.5194/tc-16-4701-2022.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12575 | OA
McCarthy, Michael, et al. “Glacier Contributions to River Discharge during the Current Chilean Megadrought.” Earth’s Future, vol. 10, no. 10, e2022EF002852, American Geophysical Union, 2022, doi:10.1029/2022ef002852.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12576 | OA
Shaw, T. E., et al. “Multi-Decadal Monsoon Characteristics and Glacier Response in High Mountain Asia.” Environmental Research Letters, vol. 17, no. 10, 104001, IOP Publishing, 2022, doi:10.1088/1748-9326/ac9008.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed