Benutzerbeiträge von „Nikolai Käfer“

Aus International Center for Computational Logic
Ein Benutzer mit 6 Bearbeitungen. Das Konto wurde am 5. März 2025 erstellt.
Wechseln zu:Navigation, Suche
Suche nach BenutzerbeiträgenAusklappenEinklappen
⧼contribs-top⧽
⧼contribs-date⧽

30. Oktober 2025

  • 11:5511:55, 30. Okt. 2025 Unterschied Versionen +1.678 N Article3115 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Clemens |ErsterAutorNachname=Dubslaff |FurtherAuthors=Nils Husung; Nikolai Käfer }} {{Article |Referiert=1 |Title=Tailoring binary decision diagram compilation for feature models |To appear=0 |Year=2025 |Journal=Journal of Systems and Software |Volume=231 }} {{Publikation Details |Abstract=The compilation of feature models into binary decision diagrams (BDDs) is a major challenge in the area of configurable…“ aktuell
  • 11:4911:49, 30. Okt. 2025 Unterschied Versionen +1 K Inproceedings1511262239 en-dash fix aktuell

6. Juni 2025

  • 10:5710:57, 6. Jun. 2025 Unterschied Versionen +1.913 N Inproceedings3416 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nikolai |ErsterAutorNachname=Käfer |FurtherAuthors=Sven Apel; Christel Baier; Clemens Dubslaff; Holger Hermanns }} {{Inproceedings |Referiert=1 |Title=When to Sample from Feature Diagrams? |To appear=0 |Year=2025 |Month=Mai |Booktitle=Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems |Pages=11-20 |Publisher=Association for Computing Machinery |Ser…“ aktuell
  • 10:5210:52, 6. Jun. 2025 Unterschied Versionen 0 Nikolai Käfer Abschlussarbeiten anzeigen aktuell

5. März 2025