Christina Gehnen

According to our database, Christina Gehnen authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Report on Probability in Computer Science (PICS) 2024.

Emma Ahrens, Christina Gehnen, Lena Verscht

ACM SIGLOG News, January, 2025

Bayesian Inference in Quantum Programs.

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

2024

Quantum Computing: From Weakest Preconditions to Voltage Pulses.

Thomas Noll, Christina Gehnen, Roy Hermanns

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Model Checking Temporal Properties of Recursive Probabilistic Programs.

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

Log. Methods Comput. Sci., 2023