h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Gehnen, Christina
AU  - Unruh, Dominique
AU  - Katoen, Joost-Pieter
TI  - Bayesian Inference in Quantum Programs
VL  - 334
CY  - Wadern
PB  - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
M1  - RWTH-2026-01495
T2  - LIPIcs - Leibniz international proceedings in informatics
SP  - 157:1-157:18
PY  - 2025
T2  - 52. International Colloquium on Automata, Languages, and Programming
CY  - 8 Jul 2025 - 11 Jul 2025, Aarhus (Denmark)
Y2  - 8 Jul 2025 - 11 Jul 2025
M2  - Aarhus, Denmark
KW  - Bayesian Inference (Other)
KW  - Program Semantics (Other)
KW  - Quantum Program Logics (Other)
KW  - Theory of computation → Logic and verification (Other)
KW  - Theory of computation → Program semantics (Other)
KW  - Theory of computation → Quantum information theory (Other)
KW  - Weakest Preconditions (Other)
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
DO  - DOI:10.4230/LIPIcs.ICALP.2025.157
UR  - https://publications.rwth-aachen.de/record/1028153
ER  -