Heiko Raab

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Consistency Maintenance

Top Venues

MoDELS (Companion)

Publications

Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm
On the Benefits of Knowledge Compilation for Feature-Model Analyses. SPLC (A) (2024)
Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models. CoRR (2023)
Jakob Pietron, Heiko Raab, Matthias Tichy
Efficient Caching for Operation-Based Versioning. MoDELS (Companion) (2023)