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.
555 Publications
2022 | Conference Paper | IST-REx-ID: 12171 | 
Garcia Soto, Miriam, et al. “Synthesis of Parametric Hybrid Automata from Time Series.” 20th International Symposium on Automated Technology for Verification and Analysis, vol. 13505, Springer Nature, 2022, pp. 337–53, doi:10.1007/978-3-031-19992-9_22.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12182 |
Pacut, Maciej, et al. “Brief Announcement: Temporal Locality in Online Algorithms.” 36th International Symposium on Distributed Computing, vol. 246, 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.DISC.2022.52.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12177 |
Cremaschi, Tommaso, and Lorenzo Dello Schiavo. “Effective Contraction of Skinning Maps.” Proceedings of the American Mathematical Society, Series B, vol. 9, no. 43, American Mathematical Society, 2022, pp. 445–59, doi:10.1090/bproc/134.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12179 |
Cipolloni, Giorgio, et al. “On the Condition Number of the Shifted Real Ginibre Ensemble.” SIAM Journal on Matrix Analysis and Applications, vol. 43, no. 3, Society for Industrial and Applied Mathematics, 2022, pp. 1469–87, doi:10.1137/21m1424408.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12229 |
Spiegelman, Alexander, et al. “Bullshark: DAG BFT Protocols Made Practical.” Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2022, pp. 2705–2718, doi:10.1145/3548606.3559361.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12276 |
Ljubotina, Marko, et al. “Optimal Steering of Matrix Product States and Quantum Many-Body Scars.” PRX Quantum, vol. 3, no. 3, 030343, American Physical Society, 2022, doi:10.1103/prxquantum.3.030343.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Conference Paper | IST-REx-ID: 12300 |
Das, Sourav, et al. “Practical Asynchronous Distributed Key Generation.” 2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–34, doi:10.1109/sp46214.2022.9833584.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Book Chapter | IST-REx-ID: 12303 |
Mirković, Ivan, et al. “Loop Grassmannians of Quivers and Affine Quantum Groups.” Representation Theory and Algebraic Geometry, edited by Vladimir Baranovskky et al., 1st ed., Springer Nature; Birkhäuser, 2022, pp. 347–92, doi:10.1007/978-3-030-82007-7_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12307
Shipman, Barbara A., and Elizabeth R. Stephenson. “Tangible Topology through the Lens of Limits.” PRIMUS, vol. 32, no. 5, Taylor & Francis, 2022, pp. 593–609, doi:10.1080/10511970.2021.1872750.
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12508 |
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 | Conference Paper | IST-REx-ID: 12509 |
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 | Conference Paper | IST-REx-ID: 12529 |
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 | 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 | Conference Paper | IST-REx-ID: 12540 |
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 | Preprint | IST-REx-ID: 12536 |
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 | Conference Paper | IST-REx-ID: 12568 |
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 | Preprint | IST-REx-ID: 12660 |
Scott, Jonathan A., et al. “Cross-Client Label Propagation for Transductive Federated Learning.” ArXiv, 2210.06434, doi:10.48550/arXiv.2210.06434.
[Preprint]
View
| Files available
| DOI
| arXiv
2022 | Preprint | IST-REx-ID: 12662 |
Súkeník, Peter, and Christoph Lampert. “Generalization in Multi-Objective Machine Learning.” ArXiv, 2208.13499, doi:10.48550/arXiv.2208.13499.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12664 |
Súkeník, Peter, et al. “Intriguing Properties of Input-Dependent Randomized Smoothing.” Proceedings of the 39th International Conference on Machine Learning, vol. 162, ML Research Press, 2022, pp. 20697–743.
[Published Version]
View
| Files available
| arXiv
2022 | Journal Article | IST-REx-ID: 12495 |
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