h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@INPROCEEDINGS{Gehnen:1028153,
      author       = {Gehnen, Christina and Unruh, Dominique and Katoen,
                      Joost-Pieter},
      title        = {{B}ayesian {I}nference in {Q}uantum {P}rograms},
      volume       = {334},
      address      = {Wadern},
      publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH},
      reportid     = {RWTH-2026-01495},
      series       = {LIPIcs - Leibniz international proceedings in informatics},
      pages        = {157:1-157:18},
      year         = {2025},
      comment      = {52nd International Colloquium on Automata, Languages, and
                      Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark
                      / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël
                      Ouaknine, Gabriele Puppis},
      booktitle     = {52nd International Colloquium on
                       Automata, Languages, and Programming :
                       ICALP 2025, July 8–11, 2025, Aarhus,
                       Denmark / edited by Keren
                       Censor-Hillel, Fabrizio Grandoni, Joël
                       Ouaknine, Gabriele Puppis},
      month         = {Jul},
      date          = {2025-07-08},
      organization  = {52. International Colloquium on
                       Automata, Languages, and Programming,
                       Aarhus (Denmark), 8 Jul 2025 - 11 Jul
                       2025},
      keywords     = {Bayesian Inference (Other) / Program Semantics (Other) /
                      Quantum Program Logics (Other) / Theory of computation →
                      Logic and verification (Other) / Theory of computation →
                      Program semantics (Other) / Theory of computation →
                      Quantum information theory (Other) / Weakest Preconditions
                      (Other)},
      cin          = {121310 / 125910 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)125910_20230816$ /
                      $I:(DE-82)120000_20140620$},
      pnm          = {CerQuS - Certified Quantum Security (819317)},
      pid          = {G:(EU-Grant)819317},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      doi          = {10.4230/LIPIcs.ICALP.2025.157},
      url          = {https://publications.rwth-aachen.de/record/1028153},
}