Kai Neubauer

According to our database, Kai Neubauer authored at least 11 papers between 2016 and 2023.

Collaborative distances:

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

2023

Evolutionary System Design with Answer Set Programming.

Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko

Algorithms, April, 2023

2021

Model-based symbolic design space exploration at the electronic system level: a systematic approach.

Kai Neubauer

PhD thesis, 2021

Exploiting Similarity in Evolutionary Product Design for Improved Design Space Exploration.

Luise Müller, Kai Neubauer, Christian Haubelt

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

2018

Design Space Exploration with Answer Set Programming.

Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko

Künstliche Intell., 2018

Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches.

Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Exact multi-objective design space exploration using ASPmT.

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

On leveraging approximations for exact system-level design space exploration: work-in-progress.

Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

Utilizing quad-trees for efficient design space exploration with partial assignment evaluation.

Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub

Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017

Analysis of driving data for autonomous vehicle applications.

Marie O'Brien, Kai Neubauer, Jessica Van Brummelen, Homayoun Najjaran

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation.

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Supporting composition in symbolic system synthesis.

Kai Neubauer, Christian Haubelt, Michael Glaß

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016