Supporting composition in symbolic system synthesis. - Kai Neubauer; Christian Haubelt; Michael Glaß (SAMOS, 2016)

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. - Kai Neubauer; Philipp Wanko; Torsten Schaub; Christian Haubelt (DATE, 2017)

Analysis of driving data for autonomous vehicle applications. - Marie O'Brien; Kai Neubauer; Jessica Van Brummelen; Homayoun Najjaran (SMC, 2017)

Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. - Kai Neubauer; Christian Haubelt; Philipp Wanko; Torsten Schaub (ASP-DAC, 2018)

On leveraging approximations for exact system-level design space exploration: work-in-progress. - Kai Neubauer; Christian Haubelt; Philipp Wanko; Torsten Schaub (CODES+ISSS, 2018)

Exact multi-objective design space exploration using ASPmT. - Kai Neubauer; Philipp Wanko; Torsten Schaub; Christian Haubelt (DATE, 2018)

Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. - Kai Neubauer; Christian Haubelt; Philipp Wanko; Torsten Schaub (MBMV, 2018)

Design Space Exploration with Answer Set Programming. - Christian Haubelt; Kai Neubauer; Torsten Schaub; Philipp Wanko (Künstliche Intell., 2018)

Exploiting Similarity in Evolutionary Product Design for Improved Design Space Exploration. - Luise Müller; Kai Neubauer; Christian Haubelt (SAMOS, 2021)

Model-based symbolic design space exploration at the electronic system level: a systematic approach. - Kai Neubauer (2021)

Evolutionary System Design with Answer Set Programming. - Christian Haubelt; Luise Müller; Kai Neubauer; Torsten Schaub; Philipp Wanko (Algorithms, 2023)