Boccato, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.”https://doi.org/10.1007/s00023-022-01252-3__Annales Henri Poincare. Springer Nature, 2023.https://doi.org/10.1007/s00023-022-01252-3 .

Hales, Jordyn, Utkarsh Bajpai, Tongtong Liu, Denitsa Rangelova Baykusheva, Mingda Li, Matteo Mitrano, and Yao Wang. “Witnessing Light-Driven Entanglement Using Time-Resolved Resonant Inelastic X-Ray Scattering.”https://doi.org/10.1038/s41467-023-38540-3__Nature Communications. Springer Nature, 2023.https://doi.org/10.1038/s41467-023-38540-3 .

Sahu, Rishabh. “Cavity Quantum Electrooptics.”https://doi.org/10.15479/at:ista:13175__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:13175 .

Sahu, Rishabh. “Cavity Quantum Electrooptics.”https://doi.org/10.15479/at:ista:12900__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:12900 .

Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.”https://doi.org/10.1007/978-3-031-37703-7_17__In Computer Aided Verification, 13965:358–382. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37703-7_17 .

Glajzer, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, 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.”https://doi.org/10.1245/s10434-022-12459-3__Annals of Surgical Oncology. Springer Nature, 2023.https://doi.org/10.1245/s10434-022-12459-3 .

Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.”https://doi.org/10.1007/978-3-031-37706-8_20__In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37706-8_20 .

Sun, Yican, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.”https://doi.org/10.1007/978-3-031-37709-9_2__In Computer Aided Verification, 13966:16–39. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37709-9_2 .

Akshay, S., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.”https://doi.org/10.1007/978-3-031-37709-9_5__In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37709-9_5 .

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

Graham, Thomas, Maria Kleshnina, and Jerzy A. Filar. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.”https://doi.org/10.1007/s13235-022-00425-3__Dynamic Games and Applications. Springer Nature, 2023.https://doi.org/10.1007/s13235-022-00425-3 .

Wagner, Bernhard, Vedrana Slipogor, Jinook Oh, Marion Varga, and Marisa Hoeschele. “A Comparison between Common Marmosets (Callithrix Jacchus) and Human Infants Sheds Light on Traits Proposed to Be at the Root of Human Octave Equivalence.”https://doi.org/10.1111/desc.13395__Developmental Science. Wiley, 2023.https://doi.org/10.1111/desc.13395 .

Corbet, René, Michael Kerber, Michael Lesnick, and Georg F Osang. “Computing the Multicover Bifiltration.”https://doi.org/10.1007/s00454-022-00476-8__Discrete and Computational Geometry. Springer Nature, 2023.https://doi.org/10.1007/s00454-022-00476-8 .

Boissonnat, Jean Daniel, and Mathijs Wintraecken. “The Reach of Subsets of Manifolds.”https://doi.org/10.1007/s41468-023-00116-x__Journal of Applied and Computational Topology. Springer Nature, 2023.https://doi.org/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.”https://doi.org/10.1007/978-3-031-40773-4_6__In International Workshop on Reproducible Research in Pattern Recognition, 14068:67–73. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-40773-4_6 .

Dodis, Yevgeniy, Niels Ferguson, Eli Goldin, Peter Hall, and Krzysztof Z Pietrzak. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.”https://doi.org/10.1007/978-3-031-38545-2_17__In 43rd Annual International Cryptology Conference, 14082:514–46. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-38545-2_17 .

Qiu, Liu, Rishabh Sahu, William J Hease, Georg M Arnold, and Johannes M Fink. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.”https://doi.org/10.1038/s41467-023-39493-3__Nature Communications. Nature Research, 2023.https://doi.org/10.1038/s41467-023-39493-3 .

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

Browning, Timothy D, Pierre Le Boudec, and Will Sawin. “The Hasse Principle for Random Fano Hypersurfaces.”https://doi.org/10.4007/annals.2023.197.3.3__Annals of Mathematics. Princeton University, 2023.https://doi.org/10.4007/annals.2023.197.3.3 .

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