| 2025 | ICALP | Probabilistic and Causal Satisfiability: Constraining the Model. | Markus Blser, Julian Drfler, Maciej Liskiewicz, Benito van der Zander |
| 2025 | ICLR | From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy. | Julian Drfler, Benito van der Zander, Markus Blser, Maciej Liskiewicz |
| 2024 | AAAI | Linear-Time Algorithms for Front-Door Adjustment in Causal Graphs. | Marcel Wienbst, Benito van der Zander, Maciej Liskiewicz |
| 2024 | ISAAC | The Existential Theory of the Reals with Summation Operators. | Markus Blser, Julian Drfler, Maciej Liskiewicz, Benito van der Zander |
| 2023 | IJCAI | The Hardness of Reasoning about Probabilities and Causality. | Benito van der Zander, Markus Blser, Maciej Liskiewicz |
| 2022 | AISTATS | Identification in Tree-shaped Linear Structural Causal Models. | Benito van der Zander, Marcel Wienbst, Markus Blser, Maciej Liskiewicz |
| 2019 | UAI | Finding Minimal d-separators in Linear Time and Applications. | Benito van der Zander, Maciej Liskiewicz |
| 2016 | AAAI | Separators and Adjustment Sets in Markov Equivalent DAGs. | Benito van der Zander, Maciej Liskiewicz |
| 2016 | AISTATS | On Searching for Generalized Instrumental Variables. | Benito van der Zander, Maciej Liskiewicz |
| 2015 | IJCAI | Efficiently Finding Conditional Instruments for Causal Inference. | Benito van der Zander, Johannes Textor, Maciej Liskiewicz |
| 2014 | UAI | Constructing Separators and Adjustment Sets in Ancestral Graphs. | Benito van der Zander, Maciej Liskiewicz, Johannes Textor |
| 2014 | UAI | Constructing Separators and Adjustment Sets in Ancestral Graphs. | Benito van der Zander, Maciej Liskiewicz, Johannes Textor |
| 2013 | ICRA | OpenStreetSLAM: Global vehicle localization using OpenStreetMaps. | Georgios Floros, Benito van der Zander, Bastian Leibe |
| 2010 | PODC | Brief announcement: complexity and solution of the send-receive correlation problem. | Benito van der Zander, Egon Wanke, Wolfgang Kiess, Bjrn Scheuermann |