| Does a program yield the right distribution? Verifying probabilistic programs via generating functions M Chen, JP Katoen, L Klinkenberg, T Winkler International Conference on Computer Aided Verification, 79-101, 2022 | 13 | 2022 |
| Generating functions for probabilistic programs L Klinkenberg, K Batz, BL Kaminski, JP Katoen, J Moerman, T Winkler International Symposium on Logic-Based Program Synthesis and Transformation …, 2020 | 6 | 2020 |
| Exact Bayesian inference for loopy probabilistic programs L Klinkenberg, C Blumenthal, M Chen, JP Katoen arXiv preprint arXiv:2307.07314, 2023 | 3 | 2023 |
| Exact Probabilistic Inference Using Generating Functions L Klinkenberg, T Winkler, M Chen, JP Katoen arXiv preprint arXiv:2302.00513, 2023 | 3 | 2023 |
| Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions L Klinkenberg, C Blumenthal, M Chen, D Haase, JP Katoen Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 923-953, 2024 | 1 | 2024 |
| Image Fusion L Klinkenberg | | |
