Login / Signup
Kai Neubauer
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 10
Top Topics
Design Space Exploration
Top Venues
SAMOS
DATE
SMC
ASP-DAC
</>
Publications
</>
Christian Haubelt
,
Luise Müller
,
Kai Neubauer
,
Torsten Schaub
,
Philipp Wanko
Evolutionary System Design with Answer Set Programming.
Algorithms
16 (4) (2023)
Luise Müller
,
Kai Neubauer
,
Christian Haubelt
Exploiting Similarity in Evolutionary Product Design for Improved Design Space Exploration.
SAMOS
(2021)
Kai Neubauer
,
Christian Haubelt
,
Philipp Wanko
,
Torsten Schaub
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation.
ASP-DAC
(2018)
Kai Neubauer
,
Christian Haubelt
,
Philipp Wanko
,
Torsten Schaub
On leveraging approximations for exact system-level design space exploration: work-in-progress.
CODES+ISSS
(2018)
Kai Neubauer
,
Christian Haubelt
,
Philipp Wanko
,
Torsten Schaub
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches.
MBMV
(2018)
Kai Neubauer
,
Philipp Wanko
,
Torsten Schaub
,
Christian Haubelt
Exact multi-objective design space exploration using ASPmT.
DATE
(2018)
Christian Haubelt
,
Kai Neubauer
,
Torsten Schaub
,
Philipp Wanko
Design Space Exploration with Answer Set Programming.
Künstliche Intell.
32 (2-3) (2018)
Kai Neubauer
,
Philipp Wanko
,
Torsten Schaub
,
Christian Haubelt
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation.
DATE
(2017)
Marie O'Brien
,
Kai Neubauer
,
Jessica Van Brummelen
,
Homayoun Najjaran
Analysis of driving data for autonomous vehicle applications.
SMC
(2017)
Kai Neubauer
,
Christian Haubelt
,
Michael Glaß
Supporting composition in symbolic system synthesis.
SAMOS
(2016)