Lutz Klinkenberg

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Functional Language

Bayesian Inference

Conditional Probabilities

Bucket Elimination

Top Venues

Proc. ACM Program. Lang.

Publications

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen
Exact Probabilistic Inference Using Generating Functions. CoRR (2023)
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Joost-Pieter Katoen
Exact Bayesian Inference for Loopy Probabilistic Programs. CoRR (2023)
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions. CoRR (2022)
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions. CAV (1) (2022)
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
Generating Functions for Probabilistic Programs. LOPSTR (2020)
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
Generating Functions for Probabilistic Programs. CoRR (2020)