Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Parametric Hybrid Automata from Time Series.”https://doi.org/10.1007/978-3-031-19992-9_22__In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:337–53. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-19992-9_22 .
LibreCat: https://research-explorer.ista.ac.at/record/12171
DOI: 10.1007/978-3-031-19992-9_22
arXiv: 2208.06383

Pacut, Maciej, Mahmoud Parham, Joel Rybicki, Stefan Schmid, Jukka Suomela, and Aleksandr Tereshchenko. “Brief Announcement: Temporal Locality in Online Algorithms.”https://doi.org/10.4230/LIPIcs.DISC.2022.52__In 36th International Symposium on Distributed Computing, Vol. 246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.DISC.2022.52 .
LibreCat: https://research-explorer.ista.ac.at/record/12182
DOI: 10.4230/LIPIcs.DISC.2022.52

Cremaschi, Tommaso, and Lorenzo Dello Schiavo. “Effective Contraction of Skinning Maps.”https://doi.org/10.1090/bproc/134__Proceedings of the American Mathematical Society, Series B. American Mathematical Society, 2022.https://doi.org/10.1090/bproc/134 .
LibreCat: https://research-explorer.ista.ac.at/record/12177
DOI: 10.1090/bproc/134

Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “On the Condition Number of the Shifted Real Ginibre Ensemble.”https://doi.org/10.1137/21m1424408__SIAM Journal on Matrix Analysis and Applications. Society for Industrial and Applied Mathematics, 2022.https://doi.org/10.1137/21m1424408 .
LibreCat: https://research-explorer.ista.ac.at/record/12179
DOI: 10.1137/21m1424408
arXiv: 2105.13719

Spiegelman, Alexander, Neil Giridharan, Alberto Sonnino, and Eleftherios Kokoris Kogias. “Bullshark: DAG BFT Protocols Made Practical.”https://doi.org/10.1145/3548606.3559361__In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2705–2718. Association for Computing Machinery, 2022.https://doi.org/10.1145/3548606.3559361 .
LibreCat: https://research-explorer.ista.ac.at/record/12229
DOI: 10.1145/3548606.3559361
arXiv: 2201.05677

Ljubotina, Marko, Barbara Roos, Dmitry A. Abanin, and Maksym Serbyn. “Optimal Steering of Matrix Product States and Quantum Many-Body Scars.”https://doi.org/10.1103/prxquantum.3.030343__PRX Quantum. American Physical Society, 2022.https://doi.org/10.1103/prxquantum.3.030343 .
LibreCat: https://research-explorer.ista.ac.at/record/12276
DOI: 10.1103/prxquantum.3.030343
arXiv: 2204.02899

Das, Sourav, Thomas Yurek, Zhuolun Xiang, Andrew Miller, Eleftherios Kokoris Kogias, and Ling Ren. “Practical Asynchronous Distributed Key Generation.”https://doi.org/10.1109/sp46214.2022.9833584__In 2022 IEEE Symposium on Security and Privacy, 2518–34. Institute of Electrical and Electronics Engineers, 2022.https://doi.org/10.1109/sp46214.2022.9833584 .
LibreCat: https://research-explorer.ista.ac.at/record/12300
DOI: 10.1109/sp46214.2022.9833584

Mirkovi, Ivan, Yaping Yang, and Gufang Zhao. “Loop Grassmannians of Quivers and Affine Quantum Groups.”https://doi.org/10.1007/978-3-030-82007-7_8__In Representation Theory and Algebraic Geometry, edited by Vladimir Baranovskky, Nicolas Guay, and Travis Schedler, 1st ed., 347–92. TM. Cham: Springer Nature; Birkhäuser, 2022.https://doi.org/10.1007/978-3-030-82007-7_8 .
LibreCat: https://research-explorer.ista.ac.at/record/12303
DOI: 10.1007/978-3-030-82007-7_8
arXiv: 1810.10095

Shipman, Barbara A., and Elizabeth R Stephenson. “Tangible Topology through the Lens of Limits.”https://doi.org/10.1080/10511970.2021.1872750__PRIMUS. Taylor &; Francis, 2022.https://doi.org/10.1080/10511970.2021.1872750 .
LibreCat: https://research-explorer.ista.ac.at/record/12307
DOI: 10.1080/10511970.2021.1872750

Henzinger, Thomas A, Karoliina Lehtinen, and Patrick Totzke. “History-Deterministic Timed Automata.”https://doi.org/10.4230/LIPIcs.CONCUR.2022.14__In 33rd International Conference on Concurrency Theory, 243:14:1-14:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.CONCUR.2022.14 .
LibreCat: https://research-explorer.ista.ac.at/record/12508
DOI: 10.4230/LIPIcs.CONCUR.2022.14

Avni, Guy, and Thomas A Henzinger. “An Updated Survey of Bidding Games on Graphs.”https://doi.org/10.4230/LIPIcs.MFCS.2022.3__In 47th International Symposium on Mathematical Foundations of Computer Science, 241:3:1-3:6. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.MFCS.2022.3 .
LibreCat: https://research-explorer.ista.ac.at/record/12509
DOI: 10.4230/LIPIcs.MFCS.2022.3

Banerjee, Tamajit, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.”https://doi.org/10.1007/978-3-030-99527-0_5__In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 13244:81–98. Springer Nature, 2022.https://doi.org/10.1007/978-3-030-99527-0_5 .
LibreCat: https://research-explorer.ista.ac.at/record/12529
DOI: 10.1007/978-3-030-99527-0_5

Finkbeiner, Bernd, Kaushik Mallik, Noemi Passing, Malte Schledjewski, and Anne-Kathrin Schmuck. “BOCoSy: Small but Powerful Symbolic Output-Feedback Control.”https://doi.org/10.1145/3501710.3519535__In 25th ACM International Conference on Hybrid Systems: Computation and Control, 24:1-24:11. ACM, 2022.https://doi.org/10.1145/3501710.3519535 .
LibreCat: https://research-explorer.ista.ac.at/record/12530
DOI: 10.1145/3501710.3519535

Venkataramanan, Ramji, Kevin Kögler, and Marco Mondelli. “Estimation in Rotationally Invariant Generalized Linear Models via Approximate Message Passing.” In Proceedings of the 39th International Conference on Machine Learning, Vol. 162. ML Research Press, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12540

Barbier, Jean, TianQi Hou, Marco Mondelli, and Manuel Saenz. “The Price of Ignorance: How Much Does It Cost to Forget Noise Structure in Low-Rank Matrix Estimation?”https://doi.org/10.48550/arXiv.2205.10009__ArXiv, n.d.https://doi.org/10.48550/arXiv.2205.10009 .
LibreCat: https://research-explorer.ista.ac.at/record/12536
DOI: 10.48550/arXiv.2205.10009
arXiv: 2205.10009

Meggendorfer, Tobias. “Risk-Aware Stochastic Shortest Path.”https://doi.org/10.1609/aaai.v36i9.21222__In Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, 36:9858–67. Association for the Advancement of Artificial Intelligence, 2022.https://doi.org/10.1609/aaai.v36i9.21222 .
LibreCat: https://research-explorer.ista.ac.at/record/12568
DOI: 10.1609/aaai.v36i9.21222
arXiv: 2203.01640

Scott, Jonathan A, Michelle X Yeo, and Christoph Lampert. “Cross-Client Label Propagation for Transductive Federated Learning.”https://doi.org/10.48550/arXiv.2210.06434__ArXiv, n.d.https://doi.org/10.48550/arXiv.2210.06434 .
LibreCat: https://research-explorer.ista.ac.at/record/12660
DOI: 10.48550/arXiv.2210.06434
arXiv: 2210.06434

Súkeník, Peter, and Christoph Lampert. “Generalization in Multi-Objective Machine Learning.”https://doi.org/10.48550/arXiv.2208.13499__ArXiv, n.d.https://doi.org/10.48550/arXiv.2208.13499 .
LibreCat: https://research-explorer.ista.ac.at/record/12662
DOI: 10.48550/arXiv.2208.13499
arXiv: 2208.13499

Súkeník, Peter, Aleksei Kuvshinov, and Stephan Günnemann. “Intriguing Properties of Input-Dependent Randomized Smoothing.” In Proceedings of the 39th International Conference on Machine Learning, 162:20697–743. ML Research Press, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12664
arXiv: 2110.05365

Iofinova, Eugenia B, Nikola H Konstantinov, and Christoph Lampert. “FLEA: Provably Robust Fair Multisource Learning from Unreliable Training Data.” Transactions on Machine Learning Research. ML Research Press, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12495
arXiv: 2106.11732