On the Foundations of Cycles in Bayesian Networks. - Christel Baier; Clemens Dubslaff; Holger Hermanns; Nikolai Käfer (Principles of Systems Design, 2022)

CPrAA - A Checker for Probabilistic Abstract Argumentation. - Nikolai Käfer (COMMA, 2022)

Admissibility in Probabilistic Argumentation. - Nikolai Käfer; Christel Baier; Martin Diller; Clemens Dubslaff; Sarah Alice Gaggl; Holger Hermanns (J. Artif. Intell. Res., 2022)

Configuring BDD Compilation Techniques for Feature Models. - Clemens Dubslaff; Nils Husung; Nikolai Käfer (SPLC (A), 2024)

When to Sample from Feature Diagrams? - Nikolai Käfer; Sven Apel; Christel Baier; Clemens Dubslaff; Holger Hermanns (VaMoS, 2025)