Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.”10.1007/978-3-031-37703-7_17__Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:10.1007/978-3-031-37703-7_17.

Glajzer, Jacek, et al. “Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer: A Multicenter Retrospective Study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) Consortium.”10.1245/s10434-022-12459-3__Annals of Surgical Oncology, vol. 30, Springer Nature, 2023, pp. 35–45, doi:10.1245/s10434-022-12459-3.

Kretinsky, Jan, et al. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.”10.1007/978-3-031-37706-8_20__35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 390–414, doi:10.1007/978-3-031-37706-8_20.

Sun, Yican, et al. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.”10.1007/978-3-031-37709-9_2__Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 16–39, doi:10.1007/978-3-031-37709-9_2.

Akshay, S., et al. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.”10.1007/978-3-031-37709-9_5__International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 86–112, doi:10.1007/978-3-031-37709-9_5.

Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.”10.4230/LIPIcs.ITP.2023.15__14th International Conference on Interactive Theorem Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ITP.2023.15.

Graham, Thomas, et al. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.”10.1007/s13235-022-00425-3__Dynamic Games and Applications, vol. 13, Springer Nature, 2023, pp. 231–64, doi:10.1007/s13235-022-00425-3.

Wagner, Bernhard, et al. “A Comparison between Common Marmosets (Callithrix Jacchus) and Human Infants Sheds Light on Traits Proposed to Be at the Root of Human Octave Equivalence.”10.1111/desc.13395__Developmental Science, vol. 26, no. 5, e13395, Wiley, 2023, doi:10.1111/desc.13395.

Corbet, René, et al. “Computing the Multicover Bifiltration.”10.1007/s00454-022-00476-8__Discrete and Computational Geometry, vol. 70, Springer Nature, 2023, pp. 376–405, doi:10.1007/s00454-022-00476-8.

Boissonnat, Jean Daniel, and Mathijs Wintraecken. “The Reach of Subsets of Manifolds.”10.1007/s41468-023-00116-x__Journal of Applied and Computational Topology, vol. 7, Springer Nature, 2023, pp. 619–41, doi:10.1007/s41468-023-00116-x.

Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.”10.1007/978-3-031-40773-4_6__International Workshop on Reproducible Research in Pattern Recognition, vol. 14068, Springer Nature, 2023, pp. 67–73, doi:10.1007/978-3-031-40773-4_6.

Dodis, Yevgeniy, et al. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.”10.1007/978-3-031-38545-2_17__43rd Annual International Cryptology Conference, vol. 14082, Springer Nature, 2023, pp. 514–46, doi:10.1007/978-3-031-38545-2_17.

Qiu, Liu, et al. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.”10.1038/s41467-023-39493-3__Nature Communications, vol. 14, 3784, Nature Research, 2023, doi:10.1038/s41467-023-39493-3.

Dubach, Guillaume, and László Erdös. “Dynamics of a Rank-One Perturbation of a Hermitian Matrix.”10.1214/23-ECP516__Electronic Communications in Probability, vol. 28, Institute of Mathematical Statistics, 2023, pp. 1–13, doi:10.1214/23-ECP516.

Browning, Timothy D., et al. “The Hasse Principle for Random Fano Hypersurfaces.”10.4007/annals.2023.197.3.3__Annals of Mathematics, vol. 197, no. 3, Princeton University, 2023, pp. 1115–203, doi:10.4007/annals.2023.197.3.3.

Hoffmann, Charlotte, and Mark Simkin. “Stronger Lower Bounds for Leakage-Resilient Secret Sharing.”10.1007/978-3-031-44469-2_11__8th International Conference on Cryptology and Information Security in Latin America, vol. 14168, Springer Nature, 2023, pp. 215–28, doi:10.1007/978-3-031-44469-2_11.

Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.”10.1007/978-3-031-44267-4_15__23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 291–311, doi:10.1007/978-3-031-44267-4_15.

Brooks, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong Coupling: Part I - The Quantum Correction to the Classical Energy.”10.1007/s00220-023-04841-3__Communications in Mathematical Physics, vol. 404, Springer Nature, 2023, pp. 287–337, doi:10.1007/s00220-023-04841-3.

Rao, Pramod, et al. “A Deeper Analysis of Volumetric Relightiable Faces.”10.1007/s11263-023-01899-3__International Journal of Computer Vision, Springer Nature, 2023, doi:10.1007/s11263-023-01899-3.

Beaver, Donald, et al. “STROBE: Streaming Threshold Random Beacons.”10.4230/LIPIcs.AFT.2023.7__5th Conference on Advances in Financial Technologies, vol. 282, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.AFT.2023.7.