Nils Husung

According to our database, Nils Husung authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

2024

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.

Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl

Dataset, 2024

OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.

Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

2023

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.

Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl

Dataset, October, 2023