Cited By
View all- Klinkenberg LBlumenthal CChen MHaase DKatoen J(2024)Exact Bayesian Inference for Loopy Probabilistic Programs using Generating FunctionsProceedings of the ACM on Programming Languages10.1145/36498448:OOPSLA1(923-953)Online publication date: 29-Apr-2024
- Feng SChen MSu HKaminski BKatoen JZhan N(2023)Lower Bounds for Possibly Divergent Probabilistic ProgramsProceedings of the ACM on Programming Languages10.1145/35860517:OOPSLA1(696-726)Online publication date: 6-Apr-2023
- Wang LWang X(2022)Approximate communication for energy-efficient network-on-chipPower-Efficient Network-on-Chips: Design and Evaluation10.1016/bs.adcom.2021.09.004(151-215)Online publication date: 2022
- Show More Cited By