Nikolai Käfer

According to our database, Nikolai Käfer authored at least 6 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Tailoring binary decision diagram compilation for feature models.

Clemens Dubslaff, Nils Husung, Nikolai Käfer

J. Syst. Softw., 2026

2025

When to Sample from Feature Diagrams?

Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns

Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems, 2025

2024

Configuring BDD Compilation Techniques for Feature Models.

Clemens Dubslaff, Nils Husung, Nikolai Käfer

Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

2022

CPrAA - A Checker for Probabilistic Abstract Argumentation.

Nikolai Käfer

Proceedings of the Computational Models of Argument, 2022

On the Foundations of Cycles in Bayesian Networks.

Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer

Proceedings of the Principles of Systems Design, 2022

2021

Admissibility in Probabilistic Argumentation.

Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021