Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Nikolai Käfer Master of Science
Person

Zugehörigkeiten

Professur für Algebraische und logische Grundlagen der Informatik
- Wissenschaftliches Personal
- nikolai.kaefer@tu-dresden.de

Identifizierungsnummern

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

Veröffentlichungen
Aktivitäten
Forschungsdaten

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 S., 112566.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

When to Sample from Feature Diagrams?

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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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. (Hrsg.). Association for Computing Machinery (ACM), Band A. S. 209-216 8 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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. (Hrsg.). IOS Press, Band 353. S. 359-360 2 S. (Frontiers in Artificial Intelligence and Applications, Band 353).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Admissibility in Probabilistic Argumentation

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (7)

When to Sample from Feature Diagrams?

Käfer, N. (Redner:in)

5 Feb. 2025

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Probabilistic Feature Models

Käfer, N. (Redner:in)

9 Apr. 2024

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Uniformly Random Sampling of Valid Feature Configurations

Käfer, N. (Redner:in)

13 März 2024

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen

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

Käfer, N. (Redner:in)

27 Sept. 2023

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Winter is Coming! Inference in Dynamic Bayesian Networks

Käfer, N. (Redner:in)

6 Sept. 2023

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Alle Aktivitäten ansehen (11)

Dimagic 2.0

Husung, N. (Urheber:in), Käfer, N. (Urheber:in) & Dubslaff, C. (Urheber:in), Zenodo, 6 Juni 2025

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

Forschungsdaten: Software

Selected Benchmarks for CNF-to-BDD Compilation

Dubslaff, C. (Urheber:in), Husung, N. (Urheber:in), Käfer, N. (Urheber:in) & Wirtz, J. (Urheber:in), Zenodo, 19 Okt. 2024

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

Forschungsdaten: Sonstige Forschungsdaten

dimagic

Käfer, N. (Urheber:in), Husung, N. (Urheber:in) & Dubslaff, C. (Urheber:in), Zenodo, 10 Juli 2024

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

Forschungsdaten: Software

Alle Forschungsdaten ansehen (3)