BibTeX records: Kai Neubauer

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Kai Neubauer

download as .bib file

@article{DBLP:journals/algorithms/HaubeltMNSW23,
  author       = {Christian Haubelt and
                  Luise M{\"{u}}ller and
                  Kai Neubauer and
                  Torsten Schaub and
                  Philipp Wanko},
  title        = {Evolutionary System Design with Answer Set Programming},
  journal      = {Algorithms},
  volume       = {16},
  number       = {4},
  pages        = {179},
  year         = {2023},
  url          = {https://doi.org/10.3390/a16040179},
  doi          = {10.3390/A16040179},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithms/HaubeltMNSW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Neubauer21,
  author       = {Kai Neubauer},
  title        = {Model-based symbolic design space exploration at the electronic system
                  level: a systematic approach},
  school       = {University of Rostock, Germany},
  year         = {2021},
  url          = {https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok\_id00003664-2},
  urn          = {urn:nbn:de:gbv:28-rosdok\_id00003664-2},
  doi          = {10.18453/ROSDOK\_ID00003664},
  timestamp    = {Mon, 11 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/dnb/Neubauer21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/samos/MullerNH21,
  author       = {Luise M{\"{u}}ller and
                  Kai Neubauer and
                  Christian Haubelt},
  editor       = {Alex Orailoglu and
                  Matthias Jung and
                  Marc Reichenbach},
  title        = {Exploiting Similarity in Evolutionary Product Design for Improved
                  Design Space Exploration},
  booktitle    = {Embedded Computer Systems: Architectures, Modeling, and Simulation
                  - 21st International Conference, {SAMOS} 2021, Virtual Event, July
                  4-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13227},
  pages        = {33--49},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-04580-6\_3},
  doi          = {10.1007/978-3-031-04580-6\_3},
  timestamp    = {Wed, 18 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/MullerNH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ki/HaubeltNSW18,
  author       = {Christian Haubelt and
                  Kai Neubauer and
                  Torsten Schaub and
                  Philipp Wanko},
  title        = {Design Space Exploration with Answer Set Programming},
  journal      = {K{\"{u}}nstliche Intell.},
  volume       = {32},
  number       = {2-3},
  pages        = {205--206},
  year         = {2018},
  url          = {https://doi.org/10.1007/s13218-018-0530-3},
  doi          = {10.1007/S13218-018-0530-3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ki/HaubeltNSW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/NeubauerHWS18,
  author       = {Kai Neubauer and
                  Christian Haubelt and
                  Philipp Wanko and
                  Torsten Schaub},
  editor       = {Youngsoo Shin},
  title        = {Utilizing quad-trees for efficient design space exploration with partial
                  assignment evaluation},
  booktitle    = {23rd Asia and South Pacific Design Automation Conference, {ASP-DAC}
                  2018, Jeju, Korea (South), January 22-25, 2018},
  pages        = {434--439},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ASPDAC.2018.8297362},
  doi          = {10.1109/ASPDAC.2018.8297362},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/NeubauerHWS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/codes/NeubauerHWS18,
  author       = {Kai Neubauer and
                  Christian Haubelt and
                  Philipp Wanko and
                  Torsten Schaub},
  editor       = {Aviral Shrivastava and
                  Sudeep Pasricha},
  title        = {On leveraging approximations for exact system-level design space exploration:
                  work-in-progress},
  booktitle    = {Proceedings of the International Conference on Hardware/Software Codesign
                  and System Synthesis, {CODES+ISSS} 2018, part of {ESWEEK} 2018, Torino,
                  Italy, September 30 - October 5, 2018},
  pages        = {15},
  publisher    = {{IEEE} / {ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CODESISSS.2018.8525974},
  doi          = {10.1109/CODESISSS.2018.8525974},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/codes/NeubauerHWS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/NeubauerWSH18,
  author       = {Kai Neubauer and
                  Philipp Wanko and
                  Torsten Schaub and
                  Christian Haubelt},
  editor       = {Jan Madsen and
                  Ayse K. Coskun},
  title        = {Exact multi-objective design space exploration using ASPmT},
  booktitle    = {2018 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
  pages        = {257--260},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/DATE.2018.8342014},
  doi          = {10.23919/DATE.2018.8342014},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/NeubauerWSH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/NeubauerHWS18,
  author       = {Kai Neubauer and
                  Christian Haubelt and
                  Philipp Wanko and
                  Torsten Schaub},
  title        = {Systematic Test Case Instance Generation for the Assessment of System-level
                  Design Space Exploration Approaches},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2018, T{\"{u}}bingen, Germany,
                  February 8-9, 2018},
  publisher    = {Universit{\"{a}}t T{\"{u}}bingen},
  year         = {2018},
  url          = {https://hdl.handle.net/10900/84295},
  timestamp    = {Wed, 04 May 2022 13:03:25 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/NeubauerHWS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/NeubauerWSH17,
  author       = {Kai Neubauer and
                  Philipp Wanko and
                  Torsten Schaub and
                  Christian Haubelt},
  editor       = {David Atienza and
                  Giorgio Di Natale},
  title        = {Enhancing symbolic system synthesis through ASPmT with partial assignment
                  evaluation},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
  pages        = {306--309},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/DATE.2017.7927005},
  doi          = {10.23919/DATE.2017.7927005},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/NeubauerWSH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smc/OBrienNBN17,
  author       = {Marie O'Brien and
                  Kai Neubauer and
                  Jessica Van Brummelen and
                  Homayoun Najjaran},
  title        = {Analysis of driving data for autonomous vehicle applications},
  booktitle    = {2017 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2017, Banff, AB, Canada, October 5-8, 2017},
  pages        = {3677--3682},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SMC.2017.8123204},
  doi          = {10.1109/SMC.2017.8123204},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smc/OBrienNBN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/samos/NeubauerHG16,
  author       = {Kai Neubauer and
                  Christian Haubelt and
                  Michael Gla{\ss}},
  editor       = {Walid A. Najjar and
                  Andreas Gerstlauer},
  title        = {Supporting composition in symbolic system synthesis},
  booktitle    = {International Conference on Embedded Computer Systems: Architectures,
                  Modeling and Simulation, {SAMOS} 2016, Agios Konstantinos, Samos Island,
                  Greece, July 17-21, 2016},
  pages        = {132--139},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SAMOS.2016.7818340},
  doi          = {10.1109/SAMOS.2016.7818340},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/NeubauerHG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.