Skip to content Skip to footer

Research Portal of the TU Dresden

Nikolai Käfer Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- nikolai.kaefer@tu-dresden.de

Identification Numbers

ORCID	0000-0002-0645-1078
Scopus author ID	57485989900

Tailoring binary decision diagram compilation for feature models

Dubslaff, C., Husung, N. & Käfer, N., Jan 2026, In: Journal of Systems and Software. 231, 19 p., 112566.

Research output: Contribution to journal › Research article › Contributed › peer-review

When to Sample from Feature Diagrams?

Käfer, N., Apel, S., Baier, C., Dubslaff, C. & Hermanns, H., 28 May 2025, VaMoS'25: Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems. Acher, M., Alves Pereira, J. & Quinton, C. (eds.). ACM Digital Library, p. 11-20 10 p.

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Configuring BDD Compilation Techniques for Feature Models

Dubslaff, C., Husung, N. & Käfer, N., 2 Sept 2024, SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Cordy, M., Struber, D., Pinto, M., Groher, I., Dhungana, D., Krüger, J., Alves Pereira, J., Acher, M., Thüm, T., ter Beek, M. H., Galasso-Carbonnel, J., Arcaini, P., Mousavi, M. R., Ternava, X., Galindo, J. A., Yue, T., Fuentes, L. & Horcas, J. M. (eds.). Association for Computing Machinery (ACM), Vol. A. p. 209-216 8 p.

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

CPrAA – A Checker for Probabilistic Abstract Argumentation

Käfer, N., Sept 2022, Computational Models of Argument: Proceedings of COMMA 2022. Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (eds.). IOS Press, Vol. 353. p. 359-360 2 p. (Frontiers in Artificial Intelligence and Applications, Vol. 353).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Admissibility in Probabilistic Argumentation

Käfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 26 Jun 2022, In: Journal of Artificial Intelligence Research. 74, p. 957-1009 53 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (7)

When to Sample from Feature Diagrams?

Käfer, N. (Speaker)

5 Feb 2025

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Probabilistic Feature Models

Käfer, N. (Speaker)

9 Apr 2024

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Uniformly Random Sampling of Valid Feature Configurations

Käfer, N. (Speaker)

13 Mar 2024

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

Winter is Coming! Matrix-based Inference in Discrete-time Markov Models

Käfer, N. (Speaker)

27 Sept 2023

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Winter is Coming! Inference in Dynamic Bayesian Networks

Käfer, N. (Speaker)

6 Sept 2023

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

View all activities (11)

Dimagic 2.0

Husung, N. (Creator), Käfer, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 6 Jun 2025

DOI: https://doi.org/10.5281/zenodo.15583680, https://zenodo.org/records/15583680

Dataset: Code

Selected Benchmarks for CNF-to-BDD Compilation

Dubslaff, C. (Creator), Husung, N. (Creator), Käfer, N. (Creator) & Wirtz, J. (Creator), Zenodo, 19 Oct 2024

DOI: https://doi.org/10.5281/zenodo.13954564, https://zenodo.org/records/13954564

Dataset: Other datasets

dimagic

Käfer, N. (Creator), Husung, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 10 Jul 2024

DOI: https://doi.org/10.5281/zenodo.12707100

Dataset: Code

View all research data (3)

Research Portal of the TU Dresden

Affiliations

Identification Numbers

Related content