Garcia Soto, M., Henzinger, T. A., &; Schilling, C. (2022). Synthesis of parametric hybrid automata from time series. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 337–353). Virtual: Springer Nature.https://doi.org/10.1007/978-3-031-19992-9_22 

Pacut, M., Parham, M., Rybicki, J., Schmid, S., Suomela, J., &; Tereshchenko, A. (2022). Brief announcement: Temporal locality in online algorithms. In 36th International Symposium on Distributed Computing (Vol. 246). Augusta, GA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.DISC.2022.52 

Cremaschi, T., &; Dello Schiavo, L. (2022). Effective contraction of Skinning maps. Proceedings of the American Mathematical Society, Series B. American Mathematical Society.https://doi.org/10.1090/bproc/134 

Cipolloni, G., Erdös, L., &; Schröder, D. J. (2022). On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. Society for Industrial and Applied Mathematics.https://doi.org/10.1137/21m1424408 

Spiegelman, A., Giridharan, N., Sonnino, A., &; Kokoris Kogias, E. (2022). Bullshark: DAG BFT protocols made practical. In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 2705–2718). Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3548606.3559361 

Ljubotina, M., Roos, B., Abanin, D. A., &; Serbyn, M. (2022). Optimal steering of matrix product states and quantum many-body scars. PRX Quantum. American Physical Society.https://doi.org/10.1103/prxquantum.3.030343 

Das, S., Yurek, T., Xiang, Z., Miller, A., Kokoris Kogias, E., &; Ren, L. (2022). Practical asynchronous distributed key generation. In 2022 IEEE Symposium on Security and Privacy (pp. 2518–2534). San Francisco, CA, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/sp46214.2022.9833584 

Mirkovi, I., Yang, Y., &; Zhao, G. (2022). Loop Grassmannians of Quivers and Affine Quantum Groups. In V. Baranovskky, N. Guay, &; T. Schedler (Eds.), Representation Theory and Algebraic Geometry (1st ed., pp. 347–392). Cham: Springer Nature; Birkhäuser.https://doi.org/10.1007/978-3-030-82007-7_8 

Shipman, B. A., &; Stephenson, E. R. (2022). Tangible topology through the lens of limits. PRIMUS. Taylor &; Francis.https://doi.org/10.1080/10511970.2021.1872750 

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 

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 

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 

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 

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.

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 

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 

Scott, J. A., Yeo, M. X., &; Lampert, C. (n.d.). Cross-client Label Propagation for transductive federated learning. arXiv.https://doi.org/10.48550/arXiv.2210.06434 

Súkeník, P., &; Lampert, C. (n.d.). Generalization in Multi-objective machine learning. arXiv.https://doi.org/10.48550/arXiv.2208.13499 

Súkeník, P., Kuvshinov, A., &; Günnemann, S. (2022). Intriguing properties of input-dependent randomized smoothing. In Proceedings of the 39th International Conference on Machine Learning (Vol. 162, pp. 20697–20743). Baltimore, MD, United States: ML Research Press.

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.