| 2024 | ICDT | Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability. | Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel |
| 2023 | PODS | Probabilistic Query Evaluation: The Combined FPRAS Landscape. | Timothy van Bremen, Kuldeep S. Meel |
| 2022 | AAAI | Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions. | Yuanhong Wang, Timothy van Bremen, Yuyi Wang, Ondrej Kuzelka |
| 2021 | AAAI | Symmetric Component Caching for Model Counting on Combinatorial Instances. | Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel |
| 2021 | IJCAI | Fast Algorithms for Relational Marginal Polytopes. | Yuanhong Wang, Timothy van Bremen, Juhua Pu, Yuyi Wang, Ondrej Kuzelka |
| 2021 | ILP | Automatic Conjecturing of P-Recursions Using Lifted Inference. | Jchym Barvnek, Timothy van Bremen, Yuyi Wang, Filip Zelezn, Ondrej Kuzelka |
| 2021 | KR | Lifted Inference with Tree Axioms. | Timothy van Bremen, Ondrej Kuzelka |
| 2021 | UAI | Faster lifting for two-variable logic using cell graphs. | Timothy van Bremen, Ondrej Kuzelka |
| 2020 | IJCAI | Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry. | Timothy van Bremen, Ondrej Kuzelka |
| 2019 | CIKM | Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming. | Timothy van Bremen, Anton Dries, Jean Christoph Jung |