2024
Configuring BDD Compilation Techniques for Feature Models.
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

2022
Admissibility in Probabilistic Argumentation.
J. Artif. Intell. Res., 2022

CPrAA - A Checker for Probabilistic Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2022

On the Foundations of Cycles in Bayesian Networks.
Proceedings of the Principles of Systems Design, 2022