---
_id: '132'
abstract:
- lang: eng
  text: Runtime reconfiguration can be used to replace hardware modules in the field
    and even to continuously improve them during operation. Runtime reconfiguration
    poses new challenges for validation, since the required properties of newly arriving
    modules may be difficult to check fast enough to sustain the intended system dynamics.
    In this paper we present a method for just-in-time verification of the worst-case
    completion time of a reconfigurable hardware module. We assume so-called run-to-completion
    modules that exhibit start and done signals indicating the start and end of execution,
    respectively. We present a formal verification approach that exploits the concept
    of proof-carrying hardware. The approach tasks the creator of a hardware module
    with constructing a proof of the worst-case completion time, which can then easily
    be checked by the user of the module, just prior to reconfiguration. After explaining
    the verification approach and a corresponding tool flow, we present results from
    two case studies, a short term synthesis filter and a multihead weigher. The resultsclearly
    show that cost of verifying the completion time of the module is paid by the creator
    instead of the user of the module.
author:
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Wiersema T, Platzner M. Verifying Worst-Case Completion Times for Reconfigurable
    Hardware Modules using Proof-Carrying Hardware. In: <i>Proceedings of the 11th
    International Symposium on Reconfigurable Communication-Centric Systems-on-Chip
    (ReCoSoC 2016)</i>. ; 2016:1--8. doi:<a href="https://doi.org/10.1109/ReCoSoC.2016.7533910">10.1109/ReCoSoC.2016.7533910</a>'
  apa: Wiersema, T., &#38; Platzner, M. (2016). Verifying Worst-Case Completion Times
    for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In <i>Proceedings
    of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip
    (ReCoSoC 2016)</i> (pp. 1--8). <a href="https://doi.org/10.1109/ReCoSoC.2016.7533910">https://doi.org/10.1109/ReCoSoC.2016.7533910</a>
  bibtex: '@inproceedings{Wiersema_Platzner_2016, title={Verifying Worst-Case Completion
    Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware}, DOI={<a
    href="https://doi.org/10.1109/ReCoSoC.2016.7533910">10.1109/ReCoSoC.2016.7533910</a>},
    booktitle={Proceedings of the 11th International Symposium on Reconfigurable Communication-centric
    Systems-on-Chip (ReCoSoC 2016)}, author={Wiersema, Tobias and Platzner, Marco},
    year={2016}, pages={1--8} }'
  chicago: Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion
    Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” In <i>Proceedings
    of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip
    (ReCoSoC 2016)</i>, 1--8, 2016. <a href="https://doi.org/10.1109/ReCoSoC.2016.7533910">https://doi.org/10.1109/ReCoSoC.2016.7533910</a>.
  ieee: T. Wiersema and M. Platzner, “Verifying Worst-Case Completion Times for Reconfigurable
    Hardware Modules using Proof-Carrying Hardware,” in <i>Proceedings of the 11th
    International Symposium on Reconfigurable Communication-centric Systems-on-Chip
    (ReCoSoC 2016)</i>, 2016, pp. 1--8.
  mla: Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times
    for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” <i>Proceedings
    of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip
    (ReCoSoC 2016)</i>, 2016, pp. 1--8, doi:<a href="https://doi.org/10.1109/ReCoSoC.2016.7533910">10.1109/ReCoSoC.2016.7533910</a>.
  short: 'T. Wiersema, M. Platzner, in: Proceedings of the 11th International Symposium
    on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 2016,
    pp. 1--8.'
date_created: 2017-10-17T12:41:17Z
date_updated: 2022-01-06T06:51:30Z
ddc:
- '040'
department:
- _id: '78'
doi: 10.1109/ReCoSoC.2016.7533910
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T13:02:30Z
  date_updated: 2018-03-21T13:02:30Z
  file_id: '1562'
  file_name: 132-07533910.pdf
  file_size: 911171
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T13:02:30Z
has_accepted_license: '1'
language:
- iso: eng
page: 1--8
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 11th International Symposium on Reconfigurable Communication-centric
  Systems-on-Chip (ReCoSoC 2016)
status: public
title: Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using
  Proof-Carrying Hardware
type: conference
user_id: '477'
year: '2016'
...
---
_id: '13215'
author:
- first_name: Elmar
  full_name: Moritzer, Elmar
  last_name: Moritzer
- first_name: Matthias
  full_name: Hüttner, Matthias
  last_name: Hüttner
- first_name: Bernd
  full_name: Henning, Bernd
  id: '213'
  last_name: Henning
- first_name: Manuel
  full_name: Webersen, Manuel
  id: '11289'
  last_name: Webersen
  orcid: 0000-0001-6411-4232
citation:
  ama: 'Moritzer E, Hüttner M, Henning B, Webersen M. An Approach to Non-Destructive
    Testing of Aged Polymers. In: The Polymer Processing Society, ed. ; 2016.'
  apa: Moritzer, E., Hüttner, M., Henning, B., &#38; Webersen, M. (2016). An Approach
    to Non-Destructive Testing of Aged Polymers. In The Polymer Processing Society
    (Ed.). Presented at the 32nd International Conference of the Polymer Processing
    Society, Lyon.
  bibtex: '@inproceedings{Moritzer_Hüttner_Henning_Webersen_2016, title={An Approach
    to Non-Destructive Testing of Aged Polymers}, author={Moritzer, Elmar and Hüttner,
    Matthias and Henning, Bernd and Webersen, Manuel}, editor={The Polymer Processing
    SocietyEditor}, year={2016} }'
  chicago: Moritzer, Elmar, Matthias Hüttner, Bernd Henning, and Manuel Webersen.
    “An Approach to Non-Destructive Testing of Aged Polymers.” edited by The Polymer
    Processing Society, 2016.
  ieee: E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “An Approach to Non-Destructive
    Testing of Aged Polymers,” presented at the 32nd International Conference of the
    Polymer Processing Society, Lyon, 2016.
  mla: Moritzer, Elmar, et al. <i>An Approach to Non-Destructive Testing of Aged Polymers</i>.
    Edited by The Polymer Processing Society, 2016.
  short: 'E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: The Polymer Processing
    Society (Ed.), 2016.'
conference:
  end_date: 2016-07-29
  location: Lyon
  name: 32nd International Conference of the Polymer Processing Society
  start_date: 2016-07-25
corporate_editor:
- The Polymer Processing Society
date_created: 2019-09-13T13:13:44Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '49'
language:
- iso: eng
status: public
title: An Approach to Non-Destructive Testing of Aged Polymers
type: conference
user_id: '11289'
year: '2016'
...
---
_id: '13216'
author:
- first_name: Elmar
  full_name: Moritzer, Elmar
  last_name: Moritzer
- first_name: Matthias
  full_name: Hüttner, Matthias
  last_name: Hüttner
- first_name: Bernd
  full_name: Henning, Bernd
  id: '213'
  last_name: Henning
- first_name: Manuel
  full_name: Webersen, Manuel
  id: '11289'
  last_name: Webersen
  orcid: 0000-0001-6411-4232
citation:
  ama: Moritzer E, Hüttner M, Henning B, Webersen M. Molekularen Schäden auf der Spur.
    <i>Kunststoffe</i>. 2016;(4):94-96.
  apa: Moritzer, E., Hüttner, M., Henning, B., &#38; Webersen, M. (2016). Molekularen
    Schäden auf der Spur. <i>Kunststoffe</i>, (4), 94–96.
  bibtex: '@article{Moritzer_Hüttner_Henning_Webersen_2016, title={Molekularen Schäden
    auf der Spur}, number={4}, journal={Kunststoffe}, author={Moritzer, Elmar and
    Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}, year={2016}, pages={94–96}
    }'
  chicago: 'Moritzer, Elmar, Matthias Hüttner, Bernd Henning, and Manuel Webersen.
    “Molekularen Schäden auf der Spur.” <i>Kunststoffe</i>, no. 4 (2016): 94–96.'
  ieee: E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Molekularen Schäden
    auf der Spur,” <i>Kunststoffe</i>, no. 4, pp. 94–96, 2016.
  mla: Moritzer, Elmar, et al. “Molekularen Schäden auf der Spur.” <i>Kunststoffe</i>,
    no. 4, 2016, pp. 94–96.
  short: E. Moritzer, M. Hüttner, B. Henning, M. Webersen, Kunststoffe (2016) 94–96.
date_created: 2019-09-13T13:15:33Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '49'
issue: '4'
language:
- iso: ger
page: 94-96
publication: Kunststoffe
status: public
title: Molekularen Schäden auf der Spur
type: journal_article
user_id: '11289'
year: '2016'
...
---
_id: '13217'
author:
- first_name: Elmar
  full_name: Moritzer, Elmar
  last_name: Moritzer
- first_name: Matthias
  full_name: Hüttner, Matthias
  last_name: Hüttner
- first_name: Bernd
  full_name: Henning, Bernd
  id: '213'
  last_name: Henning
- first_name: Manuel
  full_name: Webersen, Manuel
  id: '11289'
  last_name: Webersen
  orcid: 0000-0001-6411-4232
citation:
  ama: Moritzer E, Hüttner M, Henning B, Webersen M. Detecting Molecular Damage. <i>Kunststoffe
    International</i>. 2016;(4):43-45.
  apa: Moritzer, E., Hüttner, M., Henning, B., &#38; Webersen, M. (2016). Detecting
    Molecular Damage. <i>Kunststoffe International</i>, (4), 43–45.
  bibtex: '@article{Moritzer_Hüttner_Henning_Webersen_2016, title={Detecting Molecular
    Damage}, number={4}, journal={Kunststoffe International}, author={Moritzer, Elmar
    and Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}, year={2016}, pages={43–45}
    }'
  chicago: 'Moritzer, Elmar, Matthias Hüttner, Bernd Henning, and Manuel Webersen.
    “Detecting Molecular Damage.” <i>Kunststoffe International</i>, no. 4 (2016):
    43–45.'
  ieee: E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Detecting Molecular
    Damage,” <i>Kunststoffe International</i>, no. 4, pp. 43–45, 2016.
  mla: Moritzer, Elmar, et al. “Detecting Molecular Damage.” <i>Kunststoffe International</i>,
    no. 4, 2016, pp. 43–45.
  short: E. Moritzer, M. Hüttner, B. Henning, M. Webersen, Kunststoffe International
    (2016) 43–45.
date_created: 2019-09-13T13:16:27Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '49'
issue: '4'
language:
- iso: eng
page: 43-45
publication: Kunststoffe International
status: public
title: Detecting Molecular Damage
type: journal_article
user_id: '11289'
year: '2016'
...
---
_id: '13218'
author:
- first_name: Elmar
  full_name: Moritzer, Elmar
  last_name: Moritzer
- first_name: Matthias
  full_name: Hüttner, Matthias
  last_name: Hüttner
- first_name: Bernd
  full_name: Henning, Bernd
  id: '213'
  last_name: Henning
- first_name: Manuel
  full_name: Webersen, Manuel
  id: '11289'
  last_name: Webersen
  orcid: 0000-0001-6411-4232
citation:
  ama: 'Moritzer E, Hüttner M, Henning B, Webersen M. Non-destructive characterization
    of hygrothermally aged polymers. In: Society of Plastics Engineers, ed. ; 2016.'
  apa: Moritzer, E., Hüttner, M., Henning, B., &#38; Webersen, M. (2016). Non-destructive
    characterization of hygrothermally aged polymers. In Society of Plastics Engineers
    (Ed.). Presented at the ANTEC 2016, Indianapolis.
  bibtex: '@inproceedings{Moritzer_Hüttner_Henning_Webersen_2016, title={Non-destructive
    characterization of hygrothermally aged polymers}, author={Moritzer, Elmar and
    Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}, editor={Society of
    Plastics EngineersEditor}, year={2016} }'
  chicago: Moritzer, Elmar, Matthias Hüttner, Bernd Henning, and Manuel Webersen.
    “Non-Destructive Characterization of Hygrothermally Aged Polymers.” edited by
    Society of Plastics Engineers, 2016.
  ieee: E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Non-destructive characterization
    of hygrothermally aged polymers,” presented at the ANTEC 2016, Indianapolis, 2016.
  mla: Moritzer, Elmar, et al. <i>Non-Destructive Characterization of Hygrothermally
    Aged Polymers</i>. Edited by Society of Plastics Engineers, 2016.
  short: 'E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: Society of Plastics
    Engineers (Ed.), 2016.'
conference:
  end_date: 2016-05-25
  location: Indianapolis
  name: ANTEC 2016
  start_date: 2016-05-23
corporate_editor:
- Society of Plastics Engineers
date_created: 2019-09-13T13:17:19Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '49'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-0-692-71961-9
status: public
title: Non-destructive characterization of hygrothermally aged polymers
type: conference
user_id: '11289'
year: '2016'
...
---
_id: '13219'
author:
- first_name: Elmar
  full_name: Moritzer, Elmar
  last_name: Moritzer
- first_name: Matthias
  full_name: Hüttner, Matthias
  last_name: Hüttner
- first_name: Bernd
  full_name: Henning, Bernd
  id: '213'
  last_name: Henning
- first_name: Manuel
  full_name: Webersen, Manuel
  id: '11289'
  last_name: Webersen
  orcid: 0000-0001-6411-4232
citation:
  ama: 'Moritzer E, Hüttner M, Henning B, Webersen M. Ultraschallbasierte Charakterisierung
    von gealterten Polymeren. In: Institut für Wissenschaftliche Veröffentlichungen,
    ed. <i>Jahresmagazin Kunststofftechnik 2016</i>. ; 2016:2-7.'
  apa: Moritzer, E., Hüttner, M., Henning, B., &#38; Webersen, M. (2016). Ultraschallbasierte
    Charakterisierung von gealterten Polymeren. In Institut für Wissenschaftliche
    Veröffentlichungen (Ed.), <i>Jahresmagazin Kunststofftechnik 2016</i> (pp. 2–7).
  bibtex: '@inbook{Moritzer_Hüttner_Henning_Webersen_2016, title={Ultraschallbasierte
    Charakterisierung von gealterten Polymeren}, booktitle={Jahresmagazin Kunststofftechnik
    2016}, author={Moritzer, Elmar and Hüttner, Matthias and Henning, Bernd and Webersen,
    Manuel}, editor={Institut für Wissenschaftliche VeröffentlichungenEditor}, year={2016},
    pages={2–7} }'
  chicago: Moritzer, Elmar, Matthias Hüttner, Bernd Henning, and Manuel Webersen.
    “Ultraschallbasierte Charakterisierung von gealterten Polymeren.” In <i>Jahresmagazin
    Kunststofftechnik 2016</i>, edited by Institut für Wissenschaftliche Veröffentlichungen,
    2–7, 2016.
  ieee: E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Ultraschallbasierte
    Charakterisierung von gealterten Polymeren,” in <i>Jahresmagazin Kunststofftechnik
    2016</i>, Institut für Wissenschaftliche Veröffentlichungen, Ed. 2016, pp. 2–7.
  mla: Moritzer, Elmar, et al. “Ultraschallbasierte Charakterisierung von gealterten
    Polymeren.” <i>Jahresmagazin Kunststofftechnik 2016</i>, edited by Institut für
    Wissenschaftliche Veröffentlichungen, 2016, pp. 2–7.
  short: 'E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: Institut für Wissenschaftliche
    Veröffentlichungen (Ed.), Jahresmagazin Kunststofftechnik 2016, 2016, pp. 2–7.'
corporate_editor:
- Institut für Wissenschaftliche Veröffentlichungen
date_created: 2019-09-13T13:18:46Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '49'
language:
- iso: ger
page: 2-7
publication: Jahresmagazin Kunststofftechnik 2016
status: public
title: Ultraschallbasierte Charakterisierung von gealterten Polymeren
type: book_chapter
user_id: '11289'
year: '2016'
...
---
_id: '13223'
abstract:
- lang: ger
  text: In der zerstörungsfreien Werkstoffprüfung sind bereits zahlreiche Verfahren
    etabliert, deren Ziel die Detektion makroskopischer Defekt- und Fehlstellen (z.B.
    Risse, Poren, Fremdeinschlüsse) ist. Insbesondere bei Polymerwerkstoffen muss
    jedoch auch die Materialalterung auf molekularer Ebene berücksichtigt werden,
    die sich (zumeist negativ) auf die Materialkenngrößen auswirkt. Gängige Verfahren
    zur Bestimmung dieser Kenngrößen arbeiten jedoch üblicherweise zerstörend und
    sind somit beispielsweise für die vorbeugende Instandhaltung oder die Online-Komponentenüberwachung
    nur eingeschränkt geeignet. In diesem Beitrag wird ein Verfahren zur zerstörungsfreien
    Charakterisierung des Alterungszustandes von Polymeren vorgestellt. Dazu wird
    der Zusammenhang zwischen akustisch (zerstörungsfrei, mittels Ultraschall-Transmissionsmessung)
    bestimmten Kenngrößen und klassisch (zerstörend, z.B. mittels Zugprüfung) bestimmten
    hydrothermischer Alterung auf das Material Polyamid 6 (PA6) untersucht. Die Ergebnisse
    Kenngrößen betrachtet. Exemplarisch werden die Auswirkungen zeigen einen engen
    Zusammenhang zwischen der zerstörend bestimmten Viskositätszahl, die ein Maß für
    die mittlere Molekülkettenlänge darstellt, und der akustischen Longitudinalwellengeschwindigkeit.
    Das Molekülkettenabbau (Depolymerisation) bestimmt ist, kann somit auch akustisch
    und zerstörungsfrei charakterisiert werden. Auf dieser Basis können neuartige,
    zerstörungsfrei arbeitende Messsysteme entwickelt werden.
author:
- first_name: Manuel
  full_name: Webersen, Manuel
  id: '11289'
  last_name: Webersen
  orcid: 0000-0001-6411-4232
- first_name: Matthias
  full_name: Hüttner, Matthias
  last_name: Hüttner
- first_name: Fabian
  full_name: Bause, Fabian
  last_name: Bause
- first_name: Elmar
  full_name: Moritzer, Elmar
  last_name: Moritzer
- first_name: Bernd
  full_name: Henning, Bernd
  id: '213'
  last_name: Henning
citation:
  ama: 'Webersen M, Hüttner M, Bause F, Moritzer E, Henning B. Zerstörungsfreie Charakterisierung
    des hydrothermischen Alterungsverhaltens von Polymeren. In: AMA Service GmbH,
    ed. ; 2016:683-688. doi:<a href="https://doi.org/10.5162/sensoren2016/P6.4">10.5162/sensoren2016/P6.4</a>'
  apa: Webersen, M., Hüttner, M., Bause, F., Moritzer, E., &#38; Henning, B. (2016).
    Zerstörungsfreie Charakterisierung des hydrothermischen Alterungsverhaltens von
    Polymeren. In AMA Service GmbH (Ed.) (pp. 683–688). Presented at the 18. GMA/ITG-Fachtagung
    Sensoren und Messsysteme 2016, Nürnberg. <a href="https://doi.org/10.5162/sensoren2016/P6.4">https://doi.org/10.5162/sensoren2016/P6.4</a>
  bibtex: '@inproceedings{Webersen_Hüttner_Bause_Moritzer_Henning_2016, title={Zerstörungsfreie
    Charakterisierung des hydrothermischen Alterungsverhaltens von Polymeren}, DOI={<a
    href="https://doi.org/10.5162/sensoren2016/P6.4">10.5162/sensoren2016/P6.4</a>},
    author={Webersen, Manuel and Hüttner, Matthias and Bause, Fabian and Moritzer,
    Elmar and Henning, Bernd}, editor={AMA Service GmbHEditor}, year={2016}, pages={683–688}
    }'
  chicago: Webersen, Manuel, Matthias Hüttner, Fabian Bause, Elmar Moritzer, and Bernd
    Henning. “Zerstörungsfreie Charakterisierung des hydrothermischen Alterungsverhaltens
    von Polymeren.” edited by AMA Service GmbH, 683–88, 2016. <a href="https://doi.org/10.5162/sensoren2016/P6.4">https://doi.org/10.5162/sensoren2016/P6.4</a>.
  ieee: M. Webersen, M. Hüttner, F. Bause, E. Moritzer, and B. Henning, “Zerstörungsfreie
    Charakterisierung des hydrothermischen Alterungsverhaltens von Polymeren,” presented
    at the 18. GMA/ITG-Fachtagung Sensoren und Messsysteme 2016, Nürnberg, 2016, pp.
    683–688.
  mla: Webersen, Manuel, et al. <i>Zerstörungsfreie Charakterisierung des hydrothermischen
    Alterungsverhaltens von Polymeren</i>. Edited by AMA Service GmbH, 2016, pp. 683–88,
    doi:<a href="https://doi.org/10.5162/sensoren2016/P6.4">10.5162/sensoren2016/P6.4</a>.
  short: 'M. Webersen, M. Hüttner, F. Bause, E. Moritzer, B. Henning, in: AMA Service
    GmbH (Ed.), 2016, pp. 683–688.'
conference:
  end_date: 2016-05-11
  location: Nürnberg
  name: 18. GMA/ITG-Fachtagung Sensoren und Messsysteme 2016
  start_date: 2016-05-10
corporate_editor:
- AMA Service GmbH
date_created: 2019-09-13T13:23:17Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '49'
doi: 10.5162/sensoren2016/P6.4
language:
- iso: ger
page: 683-688
publication_identifier:
  isbn:
  - 978-3-9816876-0-6
status: public
title: Zerstörungsfreie Charakterisierung des hydrothermischen Alterungsverhaltens
  von Polymeren
type: conference
user_id: '11289'
year: '2016'
...
---
_id: '13240'
abstract:
- lang: eng
  text: Recently, the quantum harmonic oscillator model has been combined with maximally
    localized Wannier functions to account for long-range dispersion interactions
    in density functional theory calculations (Silvestrelli, J. Chem. Phys. 2013,
    139, 054106). Here, we present a new, improved set of values for the three parameters
    involved in this scheme. To test the new parameter set we have computed the potential
    energy curves for various systems, including an isolated Ar2 dimer, two N2 dimers
    interacting within different configurations, and a water molecule physisorbed
    on pristine graphene. While the original set of parameters generally overestimates
    the interaction energies and underestimates the equilibrium distances, the new
    parameterization substantially improves the agreement with experimental and theoretical
    reference values. © 2016 Wiley Periodicals, Inc.
author:
- first_name: Pouya
  full_name: Partovi-Azar, Pouya
  last_name: Partovi-Azar
- first_name: Matthias
  full_name: Berg, Matthias
  last_name: Berg
- first_name: Simone
  full_name: Sanna, Simone
  last_name: Sanna
- first_name: Thomas D.
  full_name: Kühne, Thomas D.
  last_name: Kühne
citation:
  ama: Partovi-Azar P, Berg M, Sanna S, Kühne TD. Improved parameterization of the
    quantum harmonic oscillator model based on localized wannier functions to describe
    Van der Waals interactions in density functional theory. <i>International Journal
    of Quantum Chemistry</i>. 2016;116(15):1160-1165. doi:<a href="https://doi.org/10.1002/qua.25150">10.1002/qua.25150</a>
  apa: Partovi-Azar, P., Berg, M., Sanna, S., &#38; Kühne, T. D. (2016). Improved
    parameterization of the quantum harmonic oscillator model based on localized wannier
    functions to describe Van der Waals interactions in density functional theory.
    <i>International Journal of Quantum Chemistry</i>, <i>116</i>(15), 1160–1165.
    <a href="https://doi.org/10.1002/qua.25150">https://doi.org/10.1002/qua.25150</a>
  bibtex: '@article{Partovi-Azar_Berg_Sanna_Kühne_2016, title={Improved parameterization
    of the quantum harmonic oscillator model based on localized wannier functions
    to describe Van der Waals interactions in density functional theory}, volume={116},
    DOI={<a href="https://doi.org/10.1002/qua.25150">10.1002/qua.25150</a>}, number={15},
    journal={International Journal of Quantum Chemistry}, author={Partovi-Azar, Pouya
    and Berg, Matthias and Sanna, Simone and Kühne, Thomas D.}, year={2016}, pages={1160–1165}
    }'
  chicago: 'Partovi-Azar, Pouya, Matthias Berg, Simone Sanna, and Thomas D. Kühne.
    “Improved Parameterization of the Quantum Harmonic Oscillator Model Based on Localized
    Wannier Functions to Describe Van Der Waals Interactions in Density Functional
    Theory.” <i>International Journal of Quantum Chemistry</i> 116, no. 15 (2016):
    1160–65. <a href="https://doi.org/10.1002/qua.25150">https://doi.org/10.1002/qua.25150</a>.'
  ieee: P. Partovi-Azar, M. Berg, S. Sanna, and T. D. Kühne, “Improved parameterization
    of the quantum harmonic oscillator model based on localized wannier functions
    to describe Van der Waals interactions in density functional theory,” <i>International
    Journal of Quantum Chemistry</i>, vol. 116, no. 15, pp. 1160–1165, 2016.
  mla: Partovi-Azar, Pouya, et al. “Improved Parameterization of the Quantum Harmonic
    Oscillator Model Based on Localized Wannier Functions to Describe Van Der Waals
    Interactions in Density Functional Theory.” <i>International Journal of Quantum
    Chemistry</i>, vol. 116, no. 15, 2016, pp. 1160–65, doi:<a href="https://doi.org/10.1002/qua.25150">10.1002/qua.25150</a>.
  short: P. Partovi-Azar, M. Berg, S. Sanna, T.D. Kühne, International Journal of
    Quantum Chemistry 116 (2016) 1160–1165.
date_created: 2019-09-16T12:52:43Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '304'
doi: 10.1002/qua.25150
intvolume: '       116'
issue: '15'
keyword:
- Wannier orbitals
- Van der Waals interactions
- density functional theory
- quantum harmonic oscillator
language:
- iso: eng
page: 1160-1165
project:
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: International Journal of Quantum Chemistry
publication_status: published
status: public
title: Improved parameterization of the quantum harmonic oscillator model based on
  localized wannier functions to describe Van der Waals interactions in density functional
  theory
type: journal_article
user_id: '71692'
volume: 116
year: '2016'
...
---
_id: '13241'
abstract:
- lang: eng
  text: The accuracy of water models derived from ab initio molecular dynamics simulations
    by means on an improved force-matching scheme is assessed for various thermodynamic,
    transport, and structural properties. It is found that although the resulting
    force-matched water models are typically less accurate than fully empirical force
    fields in predicting thermodynamic properties, they are nevertheless much more
    accurate than generally appreciated in reproducing the structure of liquid water
    and in fact superseding most of the commonly used empirical water models. This
    development demonstrates the feasibility to routinely parametrize computationally
    efficient yet predictive potential energy functions based on accurate ab initio
    molecular dynamics simulations for a large variety of different systems. © 2016
    Wiley Periodicals, Inc.
author:
- first_name: Andreas
  full_name: Köster, Andreas
  last_name: Köster
- first_name: Thomas
  full_name: Spura, Thomas
  last_name: Spura
- first_name: Gábor
  full_name: Rutkai, Gábor
  last_name: Rutkai
- first_name: Jan
  full_name: Kessler, Jan
  last_name: Kessler
- first_name: Hendrik
  full_name: Wiebeler, Hendrik
  last_name: Wiebeler
- first_name: Jadran
  full_name: Vrabec, Jadran
  last_name: Vrabec
- first_name: Thomas D.
  full_name: Kühne, Thomas D.
  last_name: Kühne
citation:
  ama: Köster A, Spura T, Rutkai G, et al. Assessing the accuracy of improved force-matched
    water models derived from Ab initio molecular dynamics simulations. <i>Journal
    of Computational Chemistry</i>. 2016;37(19):1828-1838. doi:<a href="https://doi.org/10.1002/jcc.24398">10.1002/jcc.24398</a>
  apa: Köster, A., Spura, T., Rutkai, G., Kessler, J., Wiebeler, H., Vrabec, J., &#38;
    Kühne, T. D. (2016). Assessing the accuracy of improved force-matched water models
    derived from Ab initio molecular dynamics simulations. <i>Journal of Computational
    Chemistry</i>, <i>37</i>(19), 1828–1838. <a href="https://doi.org/10.1002/jcc.24398">https://doi.org/10.1002/jcc.24398</a>
  bibtex: '@article{Köster_Spura_Rutkai_Kessler_Wiebeler_Vrabec_Kühne_2016, title={Assessing
    the accuracy of improved force-matched water models derived from Ab initio molecular
    dynamics simulations}, volume={37}, DOI={<a href="https://doi.org/10.1002/jcc.24398">10.1002/jcc.24398</a>},
    number={19}, journal={Journal of Computational Chemistry}, author={Köster, Andreas
    and Spura, Thomas and Rutkai, Gábor and Kessler, Jan and Wiebeler, Hendrik and
    Vrabec, Jadran and Kühne, Thomas D.}, year={2016}, pages={1828–1838} }'
  chicago: 'Köster, Andreas, Thomas Spura, Gábor Rutkai, Jan Kessler, Hendrik Wiebeler,
    Jadran Vrabec, and Thomas D. Kühne. “Assessing the Accuracy of Improved Force-Matched
    Water Models Derived from Ab Initio Molecular Dynamics Simulations.” <i>Journal
    of Computational Chemistry</i> 37, no. 19 (2016): 1828–38. <a href="https://doi.org/10.1002/jcc.24398">https://doi.org/10.1002/jcc.24398</a>.'
  ieee: A. Köster <i>et al.</i>, “Assessing the accuracy of improved force-matched
    water models derived from Ab initio molecular dynamics simulations,” <i>Journal
    of Computational Chemistry</i>, vol. 37, no. 19, pp. 1828–1838, 2016.
  mla: Köster, Andreas, et al. “Assessing the Accuracy of Improved Force-Matched Water
    Models Derived from Ab Initio Molecular Dynamics Simulations.” <i>Journal of Computational
    Chemistry</i>, vol. 37, no. 19, 2016, pp. 1828–38, doi:<a href="https://doi.org/10.1002/jcc.24398">10.1002/jcc.24398</a>.
  short: A. Köster, T. Spura, G. Rutkai, J. Kessler, H. Wiebeler, J. Vrabec, T.D.
    Kühne, Journal of Computational Chemistry 37 (2016) 1828–1838.
date_created: 2019-09-16T12:53:28Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '304'
doi: 10.1002/jcc.24398
intvolume: '        37'
issue: '19'
keyword:
- liquid water
- force matching
- ab initio
- molecular dynamics
- Monte Carlo
language:
- iso: eng
page: 1828-1838
project:
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Journal of Computational Chemistry
publication_status: published
status: public
title: Assessing the accuracy of improved force-matched water models derived from
  Ab initio molecular dynamics simulations
type: journal_article
user_id: '71692'
volume: 37
year: '2016'
...
---
_id: '13252'
author:
- first_name: Kevin
  full_name: Tierney, Kevin
  last_name: Tierney
- first_name: Dario
  full_name: Pacino, Dario
  last_name: Pacino
- first_name: Stefan
  full_name: Voß, Stefan
  last_name: Voß
citation:
  ama: Tierney K, Pacino D, Voß S. Solving the Pre-Marshalling Problem to Optimality
    with A* and IDA*. <i>Flexible Services and Manufacturing Journal</i>. 2016:223-259.
    doi:<a href="https://doi.org/10.1007/s10696-016-9246-6">10.1007/s10696-016-9246-6</a>
  apa: Tierney, K., Pacino, D., &#38; Voß, S. (2016). Solving the Pre-Marshalling
    Problem to Optimality with A* and IDA*. <i>Flexible Services and Manufacturing
    Journal</i>, 223–259. <a href="https://doi.org/10.1007/s10696-016-9246-6">https://doi.org/10.1007/s10696-016-9246-6</a>
  bibtex: '@article{Tierney_Pacino_Voß_2016, title={Solving the Pre-Marshalling Problem
    to Optimality with A* and IDA*}, DOI={<a href="https://doi.org/10.1007/s10696-016-9246-6">10.1007/s10696-016-9246-6</a>},
    journal={Flexible Services and Manufacturing Journal}, author={Tierney, Kevin
    and Pacino, Dario and Voß, Stefan}, year={2016}, pages={223–259} }'
  chicago: Tierney, Kevin, Dario Pacino, and Stefan Voß. “Solving the Pre-Marshalling
    Problem to Optimality with A* and IDA*.” <i>Flexible Services and Manufacturing
    Journal</i>, 2016, 223–59. <a href="https://doi.org/10.1007/s10696-016-9246-6">https://doi.org/10.1007/s10696-016-9246-6</a>.
  ieee: K. Tierney, D. Pacino, and S. Voß, “Solving the Pre-Marshalling Problem to
    Optimality with A* and IDA*,” <i>Flexible Services and Manufacturing Journal</i>,
    pp. 223–259, 2016.
  mla: Tierney, Kevin, et al. “Solving the Pre-Marshalling Problem to Optimality with
    A* and IDA*.” <i>Flexible Services and Manufacturing Journal</i>, 2016, pp. 223–59,
    doi:<a href="https://doi.org/10.1007/s10696-016-9246-6">10.1007/s10696-016-9246-6</a>.
  short: K. Tierney, D. Pacino, S. Voß, Flexible Services and Manufacturing Journal
    (2016) 223–259.
date_created: 2019-09-17T13:53:21Z
date_updated: 2022-01-06T06:51:31Z
doi: 10.1007/s10696-016-9246-6
language:
- iso: eng
page: 223-259
project:
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Flexible Services and Manufacturing Journal
publication_identifier:
  issn:
  - 1936-6582
  - 1936-6590
publication_status: published
status: public
title: Solving the Pre-Marshalling Problem to Optimality with A* and IDA*
type: journal_article
user_id: '40778'
year: '2016'
...
---
_id: '13268'
author:
- first_name: Matthias
  full_name: Trier, Matthias
  id: '72744'
  last_name: Trier
- first_name: Robert
  full_name: Hillmann, Robert
  last_name: Hillmann
citation:
  ama: 'Trier M, Hillmann R. Does Sentiment Among Users in Online Social Networks
    Polarize or Balance Out? A Sociological Perspective Using Social Network Analysis.
    In: <i>Understanding Complex Systems</i>. Cham; 2016. doi:<a href="https://doi.org/10.1007/978-3-319-43639-5_12">10.1007/978-3-319-43639-5_12</a>'
  apa: Trier, M., &#38; Hillmann, R. (2016). Does Sentiment Among Users in Online
    Social Networks Polarize or Balance Out? A Sociological Perspective Using Social
    Network Analysis. In <i>Understanding Complex Systems</i>. Cham. <a href="https://doi.org/10.1007/978-3-319-43639-5_12">https://doi.org/10.1007/978-3-319-43639-5_12</a>
  bibtex: '@inbook{Trier_Hillmann_2016, place={Cham}, title={Does Sentiment Among
    Users in Online Social Networks Polarize or Balance Out? A Sociological Perspective
    Using Social Network Analysis}, DOI={<a href="https://doi.org/10.1007/978-3-319-43639-5_12">10.1007/978-3-319-43639-5_12</a>},
    booktitle={Understanding Complex Systems}, author={Trier, Matthias and Hillmann,
    Robert}, year={2016} }'
  chicago: Trier, Matthias, and Robert Hillmann. “Does Sentiment Among Users in Online
    Social Networks Polarize or Balance Out? A Sociological Perspective Using Social
    Network Analysis.” In <i>Understanding Complex Systems</i>. Cham, 2016. <a href="https://doi.org/10.1007/978-3-319-43639-5_12">https://doi.org/10.1007/978-3-319-43639-5_12</a>.
  ieee: M. Trier and R. Hillmann, “Does Sentiment Among Users in Online Social Networks
    Polarize or Balance Out? A Sociological Perspective Using Social Network Analysis,”
    in <i>Understanding Complex Systems</i>, Cham, 2016.
  mla: Trier, Matthias, and Robert Hillmann. “Does Sentiment Among Users in Online
    Social Networks Polarize or Balance Out? A Sociological Perspective Using Social
    Network Analysis.” <i>Understanding Complex Systems</i>, 2016, doi:<a href="https://doi.org/10.1007/978-3-319-43639-5_12">10.1007/978-3-319-43639-5_12</a>.
  short: 'M. Trier, R. Hillmann, in: Understanding Complex Systems, Cham, 2016.'
date_created: 2019-09-17T15:24:57Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '198'
doi: 10.1007/978-3-319-43639-5_12
language:
- iso: eng
place: Cham
publication: Understanding Complex Systems
publication_identifier:
  isbn:
  - '9783319436371'
  - '9783319436395'
  issn:
  - 1860-0832
  - 1860-0840
publication_status: published
status: public
title: Does Sentiment Among Users in Online Social Networks Polarize or Balance Out?
  A Sociological Perspective Using Social Network Analysis
type: book_chapter
user_id: '62809'
year: '2016'
...
---
_id: '133'
abstract:
- lang: eng
  text: .
author:
- first_name: Markus
  full_name: Dewender, Markus
  last_name: Dewender
citation:
  ama: Dewender M. <i>Verifikation von Service Kompositionen mit Spin</i>. Universität
    Paderborn; 2016.
  apa: Dewender, M. (2016). <i>Verifikation von Service Kompositionen mit Spin</i>.
    Universität Paderborn.
  bibtex: '@book{Dewender_2016, title={Verifikation von Service Kompositionen mit
    Spin}, publisher={Universität Paderborn}, author={Dewender, Markus}, year={2016}
    }'
  chicago: Dewender, Markus. <i>Verifikation von Service Kompositionen mit Spin</i>.
    Universität Paderborn, 2016.
  ieee: M. Dewender, <i>Verifikation von Service Kompositionen mit Spin</i>. Universität
    Paderborn, 2016.
  mla: Dewender, Markus. <i>Verifikation von Service Kompositionen mit Spin</i>. Universität
    Paderborn, 2016.
  short: M. Dewender, Verifikation von Service Kompositionen mit Spin, Universität
    Paderborn, 2016.
date_created: 2017-10-17T12:41:17Z
date_updated: 2022-01-06T06:51:32Z
department:
- _id: '77'
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  last_name: Wehrheim
title: Verifikation von Service Kompositionen mit Spin
type: bachelorsthesis
user_id: '15504'
year: '2016'
...
---
_id: '134'
abstract:
- lang: eng
  text: .
author:
- first_name: Philipp
  full_name: Heinisch, Philipp
  last_name: Heinisch
citation:
  ama: Heinisch P. <i>Verifikation von Service Kompositionen mit Prolog</i>. Universität
    Paderborn; 2016.
  apa: Heinisch, P. (2016). <i>Verifikation von Service Kompositionen mit Prolog</i>.
    Universität Paderborn.
  bibtex: '@book{Heinisch_2016, title={Verifikation von Service Kompositionen mit
    Prolog}, publisher={Universität Paderborn}, author={Heinisch, Philipp}, year={2016}
    }'
  chicago: Heinisch, Philipp. <i>Verifikation von Service Kompositionen mit Prolog</i>.
    Universität Paderborn, 2016.
  ieee: P. Heinisch, <i>Verifikation von Service Kompositionen mit Prolog</i>. Universität
    Paderborn, 2016.
  mla: Heinisch, Philipp. <i>Verifikation von Service Kompositionen mit Prolog</i>.
    Universität Paderborn, 2016.
  short: P. Heinisch, Verifikation von Service Kompositionen mit Prolog, Universität
    Paderborn, 2016.
date_created: 2017-10-17T12:41:17Z
date_updated: 2022-01-06T06:51:34Z
department:
- _id: '77'
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  last_name: Wehrheim
title: Verifikation von Service Kompositionen mit Prolog
type: bachelorsthesis
user_id: '15504'
year: '2016'
...
---
_id: '10136'
author:
- first_name: Martina
  full_name: Eikel, Martina
  last_name: Eikel
citation:
  ama: Eikel M. <i>Insider-Resistent Distributed Storage Systems</i>. Universität
    Paderborn; 2016.
  apa: Eikel, M. (2016). <i>Insider-resistent Distributed Storage Systems</i>. Universität
    Paderborn.
  bibtex: '@book{Eikel_2016, title={Insider-resistent Distributed Storage Systems},
    publisher={Universität Paderborn}, author={Eikel, Martina}, year={2016} }'
  chicago: Eikel, Martina. <i>Insider-Resistent Distributed Storage Systems</i>. Universität
    Paderborn, 2016.
  ieee: M. Eikel, <i>Insider-resistent Distributed Storage Systems</i>. Universität
    Paderborn, 2016.
  mla: Eikel, Martina. <i>Insider-Resistent Distributed Storage Systems</i>. Universität
    Paderborn, 2016.
  short: M. Eikel, Insider-Resistent Distributed Storage Systems, Universität Paderborn,
    2016.
date_created: 2019-06-07T06:37:37Z
date_updated: 2022-01-06T06:50:30Z
ddc:
- '000'
department:
- _id: '79'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2019-06-07T06:39:13Z
  date_updated: 2019-06-07T06:39:13Z
  file_id: '10137'
  file_name: DissertationEikel.pdf
  file_size: 1605187
  relation: main_file
  success: 1
file_date_updated: 2019-06-07T06:39:13Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '4'
  name: SFB 901 - Project Area C
- _id: '13'
  name: SFB 901 - Subproject C1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Insider-resistent Distributed Storage Systems
type: dissertation
user_id: '477'
year: '2016'
...
---
_id: '10158'
article_number: P3.21
author:
- first_name: Ligang
  full_name: Jin, Ligang
  last_name: Jin
- first_name: Yingli
  full_name: Kang, Yingli
  last_name: Kang
- first_name: Eckhard
  full_name: Steffen, Eckhard
  id: '15548'
  last_name: Steffen
citation:
  ama: Jin L, Kang Y, Steffen E. Face-degree bounds for planar critical graphs. <i>Electronic
    Journal of Combinatorics</i>. 2016;23(3).
  apa: Jin, L., Kang, Y., &#38; Steffen, E. (2016). Face-degree bounds for planar
    critical graphs. <i>Electronic Journal of Combinatorics</i>, <i>23</i>(3).
  bibtex: '@article{Jin_Kang_Steffen_2016, title={Face-degree bounds for planar critical
    graphs}, volume={23}, number={3P3.21}, journal={Electronic Journal of Combinatorics},
    author={Jin, Ligang and Kang, Yingli and Steffen, Eckhard}, year={2016} }'
  chicago: Jin, Ligang, Yingli Kang, and Eckhard Steffen. “Face-Degree Bounds for
    Planar Critical Graphs.” <i>Electronic Journal of Combinatorics</i> 23, no. 3
    (2016).
  ieee: L. Jin, Y. Kang, and E. Steffen, “Face-degree bounds for planar critical graphs,”
    <i>Electronic Journal of Combinatorics</i>, vol. 23, no. 3, 2016.
  mla: Jin, Ligang, et al. “Face-Degree Bounds for Planar Critical Graphs.” <i>Electronic
    Journal of Combinatorics</i>, vol. 23, no. 3, P3.21, 2016.
  short: L. Jin, Y. Kang, E. Steffen, Electronic Journal of Combinatorics 23 (2016).
date_created: 2019-06-07T10:00:27Z
date_updated: 2022-01-06T06:50:31Z
intvolume: '        23'
issue: '3'
language:
- iso: eng
publication: Electronic Journal of Combinatorics
publication_status: published
status: public
title: Face-degree bounds for planar critical graphs
type: journal_article
user_id: '15540'
volume: 23
year: '2016'
...
---
_id: '10159'
author:
- first_name: Yingli
  full_name: Kang, Yingli
  last_name: Kang
- first_name: Eckhard
  full_name: Steffen, Eckhard
  id: '15548'
  last_name: Steffen
citation:
  ama: Kang Y, Steffen E. The chromatic spectrum of signed graphs. <i>Discrete Mathematics
    </i>. 2016;339:234-243.
  apa: Kang, Y., &#38; Steffen, E. (2016). The chromatic spectrum of signed graphs.
    <i>Discrete Mathematics </i>, <i>339</i>, 234–243.
  bibtex: '@article{Kang_Steffen_2016, title={The chromatic spectrum of signed graphs},
    volume={339}, journal={Discrete Mathematics }, author={Kang, Yingli and Steffen,
    Eckhard}, year={2016}, pages={234–243} }'
  chicago: 'Kang, Yingli, and Eckhard Steffen. “The Chromatic Spectrum of Signed Graphs.”
    <i>Discrete Mathematics </i> 339 (2016): 234–43.'
  ieee: Y. Kang and E. Steffen, “The chromatic spectrum of signed graphs,” <i>Discrete
    Mathematics </i>, vol. 339, pp. 234–243, 2016.
  mla: Kang, Yingli, and Eckhard Steffen. “The Chromatic Spectrum of Signed Graphs.”
    <i>Discrete Mathematics </i>, vol. 339, 2016, pp. 234–43.
  short: Y. Kang, E. Steffen, Discrete Mathematics  339 (2016) 234–243.
date_created: 2019-06-07T10:02:14Z
date_updated: 2022-01-06T06:50:31Z
intvolume: '       339'
language:
- iso: eng
page: 234-243
publication: 'Discrete Mathematics '
publication_status: published
status: public
title: The chromatic spectrum of signed graphs
type: journal_article
user_id: '15540'
volume: 339
year: '2016'
...
---
_id: '10160'
author:
- first_name: Ligang
  full_name: Jin, Ligang
  last_name: Jin
- first_name: Yingli
  full_name: Kang, Yingli
  last_name: Kang
- first_name: Eckhard
  full_name: Steffen, Eckhard
  id: '15548'
  last_name: Steffen
citation:
  ama: Jin L, Kang Y, Steffen E. Remarks on planar critical graphs. <i>Discrete Applied
    Mathematics</i>. 2016;200:200–202.
  apa: Jin, L., Kang, Y., &#38; Steffen, E. (2016). Remarks on planar critical graphs.
    <i>Discrete Applied Mathematics</i>, <i>200</i>, 200–202.
  bibtex: '@article{Jin_Kang_Steffen_2016, title={Remarks on planar critical graphs},
    volume={200}, journal={Discrete Applied Mathematics}, author={Jin, Ligang and
    Kang, Yingli and Steffen, Eckhard}, year={2016}, pages={200–202} }'
  chicago: 'Jin, Ligang, Yingli Kang, and Eckhard Steffen. “Remarks on Planar Critical
    Graphs.” <i>Discrete Applied Mathematics</i> 200 (2016): 200–202.'
  ieee: L. Jin, Y. Kang, and E. Steffen, “Remarks on planar critical graphs,” <i>Discrete
    Applied Mathematics</i>, vol. 200, pp. 200–202, 2016.
  mla: Jin, Ligang, et al. “Remarks on Planar Critical Graphs.” <i>Discrete Applied
    Mathematics</i>, vol. 200, 2016, pp. 200–202.
  short: L. Jin, Y. Kang, E. Steffen, Discrete Applied Mathematics 200 (2016) 200–202.
date_created: 2019-06-07T10:04:11Z
date_updated: 2022-01-06T06:50:31Z
intvolume: '       200'
language:
- iso: eng
page: 200–202
publication: Discrete Applied Mathematics
publication_status: published
status: public
title: Remarks on planar critical graphs
type: journal_article
user_id: '15540'
volume: 200
year: '2016'
...
---
_id: '10161'
author:
- first_name: Ligang
  full_name: Jin, Ligang
  last_name: Jin
- first_name: Yingli
  full_name: Kang, Yingli
  last_name: Kang
- first_name: Eckhard
  full_name: Steffen, Eckhard
  id: '15548'
  last_name: Steffen
citation:
  ama: Jin L, Kang Y, Steffen E. Choosability in signed planar graphs. <i>European
    J Combinatorics</i>. 2016;52:234-243.
  apa: Jin, L., Kang, Y., &#38; Steffen, E. (2016). Choosability in signed planar
    graphs. <i>European J. Combinatorics</i>, <i>52</i>, 234–243.
  bibtex: '@article{Jin_Kang_Steffen_2016, title={Choosability in signed planar graphs},
    volume={52}, journal={European J. Combinatorics}, author={Jin, Ligang and Kang,
    Yingli and Steffen, Eckhard}, year={2016}, pages={234–243} }'
  chicago: 'Jin, Ligang, Yingli Kang, and Eckhard Steffen. “Choosability in Signed
    Planar Graphs.” <i>European J. Combinatorics</i> 52 (2016): 234–43.'
  ieee: L. Jin, Y. Kang, and E. Steffen, “Choosability in signed planar graphs,” <i>European
    J. Combinatorics</i>, vol. 52, pp. 234–243, 2016.
  mla: Jin, Ligang, et al. “Choosability in Signed Planar Graphs.” <i>European J.
    Combinatorics</i>, vol. 52, 2016, pp. 234–43.
  short: L. Jin, Y. Kang, E. Steffen, European J. Combinatorics 52 (2016) 234–243.
date_created: 2019-06-07T10:07:21Z
date_updated: 2022-01-06T06:50:31Z
intvolume: '        52'
language:
- iso: eng
page: 234-243
publication: European J. Combinatorics
publication_status: published
status: public
title: Choosability in signed planar graphs
type: journal_article
user_id: '15540'
volume: 52
year: '2016'
...
---
_id: '10214'
author:
- first_name: J.
  full_name: Fürnkranz, J.
  last_name: Fürnkranz
- first_name: Eyke
  full_name: Hüllermeier, Eyke
  id: '48129'
  last_name: Hüllermeier
citation:
  ama: 'Fürnkranz J, Hüllermeier E. Preference Learning. In: Sammut C, Webb GI, eds.
    <i>Encyclopedia of Machine Learning and Data Mining</i>. Springer; 2016.'
  apa: Fürnkranz, J., &#38; Hüllermeier, E. (2016). Preference Learning. In C. Sammut
    &#38; G. I. Webb (Eds.), <i>Encyclopedia of Machine Learning and Data Mining</i>.
    Springer.
  bibtex: '@inbook{Fürnkranz_Hüllermeier_2016, title={Preference Learning}, booktitle={Encyclopedia
    of Machine Learning and Data Mining}, publisher={Springer}, author={Fürnkranz,
    J. and Hüllermeier, Eyke}, editor={Sammut, C. and Webb, G.I.Editors}, year={2016}
    }'
  chicago: Fürnkranz, J., and Eyke Hüllermeier. “Preference Learning.” In <i>Encyclopedia
    of Machine Learning and Data Mining</i>, edited by C. Sammut and G.I. Webb. Springer,
    2016.
  ieee: J. Fürnkranz and E. Hüllermeier, “Preference Learning,” in <i>Encyclopedia
    of Machine Learning and Data Mining</i>, C. Sammut and G. I. Webb, Eds. Springer,
    2016.
  mla: Fürnkranz, J., and Eyke Hüllermeier. “Preference Learning.” <i>Encyclopedia
    of Machine Learning and Data Mining</i>, edited by C. Sammut and G.I. Webb, Springer,
    2016.
  short: 'J. Fürnkranz, E. Hüllermeier, in: C. Sammut, G.I. Webb (Eds.), Encyclopedia
    of Machine Learning and Data Mining, Springer, 2016.'
date_created: 2019-06-07T15:52:19Z
date_updated: 2022-01-06T06:50:31Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
editor:
- first_name: C.
  full_name: Sammut, C.
  last_name: Sammut
- first_name: G.I.
  full_name: Webb, G.I.
  last_name: Webb
language:
- iso: eng
publication: Encyclopedia of Machine Learning and Data Mining
publisher: Springer
status: public
title: Preference Learning
type: book_chapter
user_id: '49109'
year: '2016'
...
---
_id: '10221'
citation:
  ama: Hoffmann F, Hüllermeier E, Mikut R, eds. <i> Proceedings 26. Workshop Computational
    Intelligence KIT Scientific Publishing, Karlsruhe, Germany</i>.; 2016.
  apa: Hoffmann, F., Hüllermeier, E., &#38; Mikut, R. (Eds.). (2016). <i> Proceedings
    26. Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe,
    Germany</i>.
  bibtex: '@book{Hoffmann_Hüllermeier_Mikut_2016, title={ Proceedings 26. Workshop
    Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany}, year={2016}
    }'
  chicago: Hoffmann, F., Eyke Hüllermeier, and R. Mikut, eds. <i> Proceedings 26.
    Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany</i>,
    2016.
  ieee: F. Hoffmann, E. Hüllermeier, and R. Mikut, Eds., <i> Proceedings 26. Workshop
    Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany</i>.
    2016.
  mla: Hoffmann, F., et al., editors. <i> Proceedings 26. Workshop Computational Intelligence
    KIT Scientific Publishing, Karlsruhe, Germany</i>. 2016.
  short: F. Hoffmann, E. Hüllermeier, R. Mikut, eds.,  Proceedings 26. Workshop Computational
    Intelligence KIT Scientific Publishing, Karlsruhe, Germany, 2016.
date_created: 2019-06-11T14:40:45Z
date_updated: 2022-01-06T06:50:32Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
editor:
- first_name: F.
  full_name: Hoffmann, F.
  last_name: Hoffmann
- first_name: Eyke
  full_name: Hüllermeier, Eyke
  id: '48129'
  last_name: Hüllermeier
- first_name: R.
  full_name: Mikut, R.
  last_name: Mikut
language:
- iso: eng
status: public
title: ' Proceedings 26. Workshop Computational Intelligence KIT Scientific Publishing,
  Karlsruhe, Germany'
type: conference_editor
user_id: '49109'
year: '2016'
...
