Login / Signup
Nils Husung
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Efficient Computation
Domain Specific
Classification Models
Top Venues
SPLC (A)
TACAS (3)
</>
Publications
</>
Clemens Dubslaff
,
Nils Husung
,
Nikolai Käfer
Configuring BDD Compilation Techniques for Feature Models.
SPLC (A)
(2024)
Nils Husung
,
Clemens Dubslaff
,
Holger Hermanns
,
Maximilian A. Köhl
OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.
TACAS (3)
(2024)