Darion Haase

Publications with FICTION

Journal Articles

1. Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen (2024). Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions. Proc. ACM Program. Lang. (OOPSLA). PDF Cite Artifact Evaluated