Author of the publication

Feature Trace Recording - Summary.

, , , , , and . Software Engineering, volume P-320 of LNI, page 19-20. Gesellschaft für Informatik e.V., (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Variational satisfiability solving: efficiently solving lots of related SAT problems., , , and . Empir. Softw. Eng., 28 (1): 14 (2023)Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design., , and . FUNARCH, page 34-39. ACM, (2023)Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces., , , , , , and . Software Engineering, volume P-343 of LNI, page 67-68. Gesellschaft für Informatik e.V., (2024)Evaluating state-of-the-art # SAT solvers on industrial configuration spaces., , , , , , and . Empir. Softw. Eng., 28 (2): 29 (March 2023)Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary., , , and . Software Engineering, volume P-332 of LNI, page 129-130. Gesellschaft für Informatik e.V., (2023)Variational satisfiability solving., , and . SPLC (A), page 18:1-18:12. ACM, (2020)A Domain Analysis of Data Structure and Algorithm Explanations in the Wild., and . SIGCSE, page 870-875. ACM, (2018)Feature Trace Recording - Summary., , , , , and . Software Engineering, volume P-320 of LNI, page 19-20. Gesellschaft für Informatik e.V., (2022)Feature trace recording., , , , , and . ESEC/SIGSOFT FSE, page 1007-1020. ACM, (2021)