Model Checking Temporal Properties of Recursive Probabilistic Programs. - Tobias Winkler 001; Christina Gehnen; Joost-Pieter Katoen (Log. Methods Comput. Sci., 2023)

Quantum Computing: From Weakest Preconditions to Voltage Pulses. - Thomas Noll 001; Christina Gehnen; Roy Hermanns (Principles of Verification (1), 2024)

Bayesian Inference in Quantum Programs. - Christina Gehnen; Dominique Unruh; Joost-Pieter Katoen (ICALP, 2025)

Report on Probability in Computer Science (PICS) 2024. - Emma Ahrens; Christina Gehnen; Lena Verscht (ACM SIGLOG News, 2025)