These are the publications by members of the QIS chair while at the QIS chair. For student theses supervised at our chair, see here.
2025
- Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen. Bayesian Inference in Quantum Programs. 2025. ICALP 2025. LIPIcs. Pages 157:1-157:18. Volume 334
- Katharina Kreuzer, Dominique Unruh. The Oneway to Hiding Theorem. 2025. Archive of Formal Proofs. Formal Isabelle proof development
- Dominique Unruh. Kraus Maps. 2025. Archive of Formal Proofs. Formal Isabelle proof development
- Katharina Heidler, Dominique Unruh. Formalizing the One-Way to Hiding Theorem. 2025. CPP 2025. Pages 243-256. ACM. [Video]
- José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh. Leakage-Free Probabilistic Jasmin Programs. 2025. CPP 2025. Pages 3-16
2024
- Thomas Noll, Christina Gehnen, Roy Hermanns. Quantum Computing: From Weakest Preconditions to Voltage Pulses. 2024. Principles of Verification: Cycling the Probabilistic Landscape. Lecture Notes in Computer Science. 15260:201-229
- Dominique Unruh. The Tensor Product on Hilbert Spaces. 2024. Archive of Formal Proofs. Formal Isabelle proof development
- Dominique Unruh. Without Loss of Generality. 2024. Archive of Formal Proofs. Formal Isabelle proof development
- Dominique Unruh. With-Type – Poor man’s dependent types. 2024. Archive of Formal Proofs. Formal Isabelle proof development
- Dominique Unruh. Quantum references. 2024
2023
- Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs. 2023. Logical Methods in Computer Science. Volume 10029