[{"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}],"citation":{"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>","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.","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>.","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.","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>.","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>","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} }"},"file_date_updated":"2018-03-21T13:02:30Z","user_id":"477","ddc":["040"],"_id":"132","page":"1--8","has_accepted_license":"1","status":"public","department":[{"_id":"78"}],"type":"conference","date_created":"2017-10-17T12:41:17Z","file":[{"creator":"florida","date_created":"2018-03-21T13:02:30Z","file_size":911171,"access_level":"closed","file_name":"132-07533910.pdf","date_updated":"2018-03-21T13:02:30Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"1562"}],"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."}],"publication":"Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)","doi":"10.1109/ReCoSoC.2016.7533910","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:51:30Z","author":[{"id":"3118","full_name":"Wiersema, Tobias","last_name":"Wiersema","first_name":"Tobias"},{"id":"398","first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco"}],"title":"Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware","year":"2016"},{"user_id":"11289","language":[{"iso":"eng"}],"_id":"13215","date_updated":"2022-01-06T06:51:31Z","title":"An Approach to Non-Destructive Testing of Aged Polymers","status":"public","year":"2016","author":[{"last_name":"Moritzer","first_name":"Elmar","full_name":"Moritzer, Elmar"},{"last_name":"Hüttner","first_name":"Matthias","full_name":"Hüttner, Matthias"},{"first_name":"Bernd","last_name":"Henning","full_name":"Henning, Bernd","id":"213"},{"id":"11289","first_name":"Manuel","last_name":"Webersen","orcid":"0000-0001-6411-4232","full_name":"Webersen, Manuel"}],"corporate_editor":["The Polymer Processing Society"],"conference":{"start_date":"2016-07-25","name":"32nd International Conference of the Polymer Processing Society","location":"Lyon","end_date":"2016-07-29"},"type":"conference","department":[{"_id":"49"}],"date_created":"2019-09-13T13:13:44Z","citation":{"short":"E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: The Polymer Processing Society (Ed.), 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.","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} }","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.","mla":"Moritzer, Elmar, et al. <i>An Approach to Non-Destructive Testing of Aged Polymers</i>. Edited by The Polymer Processing Society, 2016."}},{"citation":{"mla":"Moritzer, Elmar, et al. “Molekularen Schäden auf der Spur.” <i>Kunststoffe</i>, no. 4, 2016, pp. 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} }","ama":"Moritzer E, Hüttner M, Henning B, Webersen M. Molekularen Schäden auf der Spur. <i>Kunststoffe</i>. 2016;(4):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.","apa":"Moritzer, E., Hüttner, M., Henning, B., &#38; Webersen, M. (2016). Molekularen Schäden auf der Spur. <i>Kunststoffe</i>, (4), 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.","short":"E. Moritzer, M. Hüttner, B. Henning, M. Webersen, Kunststoffe (2016) 94–96."},"publication":"Kunststoffe","issue":"4","date_created":"2019-09-13T13:15:33Z","department":[{"_id":"49"}],"type":"journal_article","author":[{"last_name":"Moritzer","first_name":"Elmar","full_name":"Moritzer, Elmar"},{"full_name":"Hüttner, Matthias","last_name":"Hüttner","first_name":"Matthias"},{"id":"213","full_name":"Henning, Bernd","first_name":"Bernd","last_name":"Henning"},{"id":"11289","full_name":"Webersen, Manuel","first_name":"Manuel","last_name":"Webersen","orcid":"0000-0001-6411-4232"}],"title":"Molekularen Schäden auf der Spur","year":"2016","status":"public","date_updated":"2022-01-06T06:51:31Z","_id":"13216","language":[{"iso":"ger"}],"page":"94-96","user_id":"11289"},{"type":"journal_article","department":[{"_id":"49"}],"date_created":"2019-09-13T13:16:27Z","issue":"4","publication":"Kunststoffe International","citation":{"chicago":"Moritzer, Elmar, Matthias Hüttner, Bernd Henning, and Manuel Webersen. “Detecting Molecular Damage.” <i>Kunststoffe International</i>, no. 4 (2016): 43–45.","short":"E. Moritzer, M. Hüttner, B. Henning, M. Webersen, Kunststoffe International (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.","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} }","ama":"Moritzer E, Hüttner M, Henning B, Webersen M. Detecting Molecular Damage. <i>Kunststoffe International</i>. 2016;(4):43-45.","mla":"Moritzer, Elmar, et al. “Detecting Molecular Damage.” <i>Kunststoffe International</i>, no. 4, 2016, pp. 43–45."},"user_id":"11289","page":"43-45","_id":"13217","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:51:31Z","title":"Detecting Molecular Damage","status":"public","year":"2016","author":[{"last_name":"Moritzer","first_name":"Elmar","full_name":"Moritzer, Elmar"},{"full_name":"Hüttner, Matthias","first_name":"Matthias","last_name":"Hüttner"},{"first_name":"Bernd","last_name":"Henning","full_name":"Henning, Bernd","id":"213"},{"first_name":"Manuel","orcid":"0000-0001-6411-4232","last_name":"Webersen","full_name":"Webersen, Manuel","id":"11289"}]},{"citation":{"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.","ama":"Moritzer E, Hüttner M, Henning B, Webersen M. Non-destructive characterization of hygrothermally aged polymers. In: Society of Plastics Engineers, ed. ; 2016.","short":"E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: Society of Plastics Engineers (Ed.), 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.","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.","mla":"Moritzer, Elmar, et al. <i>Non-Destructive Characterization of Hygrothermally Aged Polymers</i>. Edited by Society of Plastics Engineers, 2016."},"type":"conference","department":[{"_id":"49"}],"date_created":"2019-09-13T13:17:19Z","date_updated":"2022-01-06T06:51:31Z","year":"2016","title":"Non-destructive characterization of hygrothermally aged polymers","status":"public","conference":{"start_date":"2016-05-23","name":"ANTEC 2016","location":"Indianapolis","end_date":"2016-05-25"},"corporate_editor":["Society of Plastics Engineers"],"publication_identifier":{"isbn":["978-0-692-71961-9"]},"author":[{"last_name":"Moritzer","first_name":"Elmar","full_name":"Moritzer, Elmar"},{"first_name":"Matthias","last_name":"Hüttner","full_name":"Hüttner, Matthias"},{"full_name":"Henning, Bernd","first_name":"Bernd","last_name":"Henning","id":"213"},{"id":"11289","last_name":"Webersen","first_name":"Manuel","orcid":"0000-0001-6411-4232","full_name":"Webersen, Manuel"}],"user_id":"11289","_id":"13218","language":[{"iso":"eng"}]},{"citation":{"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.","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).","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.","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.","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.","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} }","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."},"publication":"Jahresmagazin Kunststofftechnik 2016","department":[{"_id":"49"}],"type":"book_chapter","date_created":"2019-09-13T13:18:46Z","date_updated":"2022-01-06T06:51:31Z","corporate_editor":["Institut für Wissenschaftliche Veröffentlichungen"],"author":[{"full_name":"Moritzer, Elmar","last_name":"Moritzer","first_name":"Elmar"},{"full_name":"Hüttner, Matthias","first_name":"Matthias","last_name":"Hüttner"},{"id":"213","first_name":"Bernd","last_name":"Henning","full_name":"Henning, Bernd"},{"id":"11289","first_name":"Manuel","orcid":"0000-0001-6411-4232","last_name":"Webersen","full_name":"Webersen, Manuel"}],"year":"2016","title":"Ultraschallbasierte Charakterisierung von gealterten Polymeren","status":"public","user_id":"11289","language":[{"iso":"ger"}],"_id":"13219","page":"2-7"},{"citation":{"short":"M. Webersen, M. Hüttner, F. Bause, E. Moritzer, B. Henning, in: AMA Service GmbH (Ed.), 2016, pp. 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>.","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>","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.","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>","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} }","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>."},"abstract":[{"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.","lang":"ger"}],"date_created":"2019-09-13T13:23:17Z","department":[{"_id":"49"}],"type":"conference","publication_identifier":{"isbn":["978-3-9816876-0-6"]},"corporate_editor":["AMA Service GmbH"],"author":[{"first_name":"Manuel","last_name":"Webersen","orcid":"0000-0001-6411-4232","full_name":"Webersen, Manuel","id":"11289"},{"first_name":"Matthias","last_name":"Hüttner","full_name":"Hüttner, Matthias"},{"full_name":"Bause, Fabian","first_name":"Fabian","last_name":"Bause"},{"first_name":"Elmar","last_name":"Moritzer","full_name":"Moritzer, Elmar"},{"id":"213","full_name":"Henning, Bernd","last_name":"Henning","first_name":"Bernd"}],"conference":{"end_date":"2016-05-11","start_date":"2016-05-10","name":"18. GMA/ITG-Fachtagung Sensoren und Messsysteme 2016","location":"Nürnberg"},"status":"public","year":"2016","title":"Zerstörungsfreie Charakterisierung des hydrothermischen Alterungsverhaltens von Polymeren","date_updated":"2022-01-06T06:51:31Z","language":[{"iso":"ger"}],"_id":"13223","page":"683-688","user_id":"11289","doi":"10.5162/sensoren2016/P6.4"},{"status":"public","_id":"13240","page":"1160-1165","volume":116,"user_id":"71692","citation":{"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>","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.","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>.","short":"P. Partovi-Azar, M. Berg, S. Sanna, T.D. Kühne, International Journal of Quantum Chemistry 116 (2016) 1160–1165.","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>.","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>","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} }"},"project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"author":[{"full_name":"Partovi-Azar, Pouya","last_name":"Partovi-Azar","first_name":"Pouya"},{"last_name":"Berg","first_name":"Matthias","full_name":"Berg, Matthias"},{"full_name":"Sanna, Simone","first_name":"Simone","last_name":"Sanna"},{"last_name":"Kühne","first_name":"Thomas D.","full_name":"Kühne, Thomas D."}],"year":"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","intvolume":"       116","publication_status":"published","date_updated":"2022-01-06T06:51:31Z","language":[{"iso":"eng"}],"doi":"10.1002/qua.25150","issue":"15","publication":"International Journal of Quantum Chemistry","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."}],"date_created":"2019-09-16T12:52:43Z","department":[{"_id":"304"}],"keyword":["Wannier orbitals","Van der Waals interactions","density functional theory","quantum harmonic oscillator"],"type":"journal_article"},{"status":"public","volume":37,"user_id":"71692","_id":"13241","page":"1828-1838","project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"citation":{"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>.","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>","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} }","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>","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.","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>.","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."},"intvolume":"        37","publication_status":"published","date_updated":"2022-01-06T06:51:31Z","author":[{"full_name":"Köster, Andreas","first_name":"Andreas","last_name":"Köster"},{"last_name":"Spura","first_name":"Thomas","full_name":"Spura, Thomas"},{"last_name":"Rutkai","first_name":"Gábor","full_name":"Rutkai, Gábor"},{"full_name":"Kessler, Jan","last_name":"Kessler","first_name":"Jan"},{"last_name":"Wiebeler","first_name":"Hendrik","full_name":"Wiebeler, Hendrik"},{"full_name":"Vrabec, Jadran","first_name":"Jadran","last_name":"Vrabec"},{"last_name":"Kühne","first_name":"Thomas D.","full_name":"Kühne, Thomas D."}],"title":"Assessing the accuracy of improved force-matched water models derived from Ab initio molecular dynamics simulations","year":"2016","doi":"10.1002/jcc.24398","language":[{"iso":"eng"}],"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."}],"publication":"Journal of Computational Chemistry","issue":"19","department":[{"_id":"304"}],"keyword":["liquid water","force matching","ab initio","molecular dynamics","Monte Carlo"],"type":"journal_article","date_created":"2019-09-16T12:53:28Z"},{"citation":{"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} }","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>","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.","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.","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>"},"publication":"Flexible Services and Manufacturing Journal","project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"date_created":"2019-09-17T13:53:21Z","type":"journal_article","publication_identifier":{"issn":["1936-6582","1936-6590"]},"author":[{"full_name":"Tierney, Kevin","last_name":"Tierney","first_name":"Kevin"},{"first_name":"Dario","last_name":"Pacino","full_name":"Pacino, Dario"},{"last_name":"Voß","first_name":"Stefan","full_name":"Voß, Stefan"}],"status":"public","title":"Solving the Pre-Marshalling Problem to Optimality with A* and IDA*","year":"2016","publication_status":"published","date_updated":"2022-01-06T06:51:31Z","_id":"13252","language":[{"iso":"eng"}],"page":"223-259","user_id":"40778","doi":"10.1007/s10696-016-9246-6"},{"date_updated":"2022-01-06T06:51:31Z","publication_status":"published","author":[{"id":"72744","full_name":"Trier, Matthias","last_name":"Trier","first_name":"Matthias"},{"first_name":"Robert","last_name":"Hillmann","full_name":"Hillmann, Robert"}],"publication_identifier":{"isbn":["9783319436371","9783319436395"],"issn":["1860-0832","1860-0840"]},"year":"2016","status":"public","title":"Does Sentiment Among Users in Online Social Networks Polarize or Balance Out? A Sociological Perspective Using Social Network Analysis","doi":"10.1007/978-3-319-43639-5_12","user_id":"62809","_id":"13268","language":[{"iso":"eng"}],"citation":{"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>.","short":"M. Trier, R. Hillmann, in: Understanding Complex Systems, Cham, 2016.","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>","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.","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>","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} }","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>."},"publication":"Understanding Complex Systems","department":[{"_id":"198"}],"type":"book_chapter","place":"Cham","date_created":"2019-09-17T15:24:57Z"},{"date_created":"2017-10-17T12:41:17Z","type":"bachelorsthesis","department":[{"_id":"77"}],"supervisor":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"citation":{"mla":"Dewender, Markus. <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.","ieee":"M. Dewender, <i>Verifikation von Service Kompositionen mit Spin</i>. Universität Paderborn, 2016.","chicago":"Dewender, Markus. <i>Verifikation von Service Kompositionen mit Spin</i>. Universität Paderborn, 2016.","ama":"Dewender M. <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.","bibtex":"@book{Dewender_2016, title={Verifikation von Service Kompositionen mit Spin}, publisher={Universität Paderborn}, author={Dewender, Markus}, year={2016} }"},"abstract":[{"lang":"eng","text":"."}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"language":[{"iso":"ger"}],"_id":"133","publisher":"Universität Paderborn","user_id":"15504","year":"2016","status":"public","title":"Verifikation von Service Kompositionen mit Spin","author":[{"full_name":"Dewender, Markus","first_name":"Markus","last_name":"Dewender"}],"date_updated":"2022-01-06T06:51:32Z"},{"status":"public","title":"Verifikation von Service Kompositionen mit Prolog","year":"2016","author":[{"full_name":"Heinisch, Philipp","last_name":"Heinisch","first_name":"Philipp"}],"date_updated":"2022-01-06T06:51:34Z","_id":"134","language":[{"iso":"ger"}],"publisher":"Universität Paderborn","user_id":"15504","citation":{"short":"P. Heinisch, Verifikation von Service Kompositionen mit Prolog, Universität Paderborn, 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.","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} }","ama":"Heinisch P. <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."},"supervisor":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"abstract":[{"text":".","lang":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"date_created":"2017-10-17T12:41:17Z","type":"bachelorsthesis","department":[{"_id":"77"}]},{"ddc":["000"],"user_id":"477","publisher":"Universität Paderborn","_id":"10136","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:50:30Z","has_accepted_license":"1","year":"2016","title":"Insider-resistent Distributed Storage Systems","status":"public","author":[{"last_name":"Eikel","first_name":"Martina","full_name":"Eikel, Martina"}],"type":"dissertation","department":[{"_id":"79"}],"file":[{"creator":"florida","date_created":"2019-06-07T06:39:13Z","file_size":1605187,"access_level":"closed","file_name":"DissertationEikel.pdf","date_updated":"2019-06-07T06:39:13Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"10137"}],"date_created":"2019-06-07T06:37:37Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"4","name":"SFB 901 - Project Area C"},{"_id":"13","name":"SFB 901 - Subproject C1"}],"file_date_updated":"2019-06-07T06:39:13Z","supervisor":[{"first_name":"Christian","last_name":"Scheideler","full_name":"Scheideler, Christian","id":"20792"}],"citation":{"ieee":"M. Eikel, <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.","short":"M. Eikel, Insider-Resistent Distributed Storage Systems, Universität Paderborn, 2016.","chicago":"Eikel, Martina. <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.","bibtex":"@book{Eikel_2016, title={Insider-resistent Distributed Storage Systems}, publisher={Universität Paderborn}, author={Eikel, Martina}, year={2016} }","ama":"Eikel M. <i>Insider-Resistent Distributed Storage Systems</i>. Universität Paderborn; 2016."}},{"date_updated":"2022-01-06T06:50:31Z","publication_status":"published","intvolume":"        23","year":"2016","title":"Face-degree bounds for planar critical graphs","status":"public","author":[{"full_name":"Jin, Ligang","last_name":"Jin","first_name":"Ligang"},{"last_name":"Kang","first_name":"Yingli","full_name":"Kang, Yingli"},{"id":"15548","first_name":"Eckhard","last_name":"Steffen","full_name":"Steffen, Eckhard"}],"user_id":"15540","volume":23,"article_number":"P3.21","language":[{"iso":"eng"}],"_id":"10158","issue":"3","publication":"Electronic Journal of Combinatorics","citation":{"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.","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} }","ama":"Jin L, Kang Y, Steffen E. Face-degree bounds for planar critical graphs. <i>Electronic Journal of Combinatorics</i>. 2016;23(3).","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.","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).","short":"L. Jin, Y. Kang, E. Steffen, Electronic Journal of Combinatorics 23 (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)."},"type":"journal_article","date_created":"2019-06-07T10:00:27Z"},{"publication_status":"published","date_updated":"2022-01-06T06:50:31Z","intvolume":"       339","title":"The chromatic spectrum of signed graphs","status":"public","year":"2016","author":[{"last_name":"Kang","first_name":"Yingli","full_name":"Kang, Yingli"},{"full_name":"Steffen, Eckhard","first_name":"Eckhard","last_name":"Steffen","id":"15548"}],"user_id":"15540","volume":339,"page":"234-243","language":[{"iso":"eng"}],"_id":"10159","publication":"Discrete Mathematics ","citation":{"short":"Y. Kang, E. Steffen, Discrete Mathematics  339 (2016) 234–243.","chicago":"Kang, Yingli, and Eckhard Steffen. “The Chromatic Spectrum of Signed Graphs.” <i>Discrete Mathematics </i> 339 (2016): 234–43.","apa":"Kang, Y., &#38; Steffen, E. (2016). The chromatic spectrum of signed graphs. <i>Discrete Mathematics </i>, <i>339</i>, 234–243.","ieee":"Y. Kang and E. Steffen, “The chromatic spectrum of signed graphs,” <i>Discrete Mathematics </i>, vol. 339, pp. 234–243, 2016.","ama":"Kang Y, Steffen E. The chromatic spectrum of signed graphs. <i>Discrete Mathematics </i>. 2016;339: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} }","mla":"Kang, Yingli, and Eckhard Steffen. “The Chromatic Spectrum of Signed Graphs.” <i>Discrete Mathematics </i>, vol. 339, 2016, pp. 234–43."},"type":"journal_article","date_created":"2019-06-07T10:02:14Z"},{"publication":"Discrete Applied Mathematics","citation":{"chicago":"Jin, Ligang, Yingli Kang, and Eckhard Steffen. “Remarks on Planar Critical Graphs.” <i>Discrete Applied Mathematics</i> 200 (2016): 200–202.","ama":"Jin L, Kang Y, Steffen E. Remarks on planar critical graphs. <i>Discrete Applied Mathematics</i>. 2016;200:200–202.","short":"L. Jin, Y. Kang, E. Steffen, Discrete Applied Mathematics 200 (2016) 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} }","apa":"Jin, L., Kang, Y., &#38; Steffen, E. (2016). Remarks on planar critical graphs. <i>Discrete Applied Mathematics</i>, <i>200</i>, 200–202.","mla":"Jin, Ligang, et al. “Remarks on Planar Critical Graphs.” <i>Discrete Applied Mathematics</i>, vol. 200, 2016, pp. 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."},"type":"journal_article","date_created":"2019-06-07T10:04:11Z","date_updated":"2022-01-06T06:50:31Z","publication_status":"published","intvolume":"       200","year":"2016","status":"public","title":"Remarks on planar critical graphs","author":[{"full_name":"Jin, Ligang","first_name":"Ligang","last_name":"Jin"},{"full_name":"Kang, Yingli","first_name":"Yingli","last_name":"Kang"},{"first_name":"Eckhard","last_name":"Steffen","full_name":"Steffen, Eckhard","id":"15548"}],"user_id":"15540","volume":200,"page":"200–202","language":[{"iso":"eng"}],"_id":"10160"},{"type":"journal_article","date_created":"2019-06-07T10:07:21Z","publication":"European J. Combinatorics","citation":{"apa":"Jin, L., Kang, Y., &#38; Steffen, E. (2016). Choosability in signed planar graphs. <i>European J. Combinatorics</i>, <i>52</i>, 234–243.","mla":"Jin, Ligang, et al. “Choosability in Signed Planar Graphs.” <i>European J. Combinatorics</i>, vol. 52, 2016, pp. 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.","chicago":"Jin, Ligang, Yingli Kang, and Eckhard Steffen. “Choosability in Signed Planar Graphs.” <i>European J. Combinatorics</i> 52 (2016): 234–43.","short":"L. Jin, Y. Kang, E. Steffen, European J. Combinatorics 52 (2016) 234–243.","ama":"Jin L, Kang Y, Steffen E. Choosability in signed planar graphs. <i>European J Combinatorics</i>. 2016;52: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} }"},"user_id":"15540","volume":52,"page":"234-243","language":[{"iso":"eng"}],"_id":"10161","date_updated":"2022-01-06T06:50:31Z","publication_status":"published","intvolume":"        52","title":"Choosability in signed planar graphs","status":"public","year":"2016","author":[{"full_name":"Jin, Ligang","last_name":"Jin","first_name":"Ligang"},{"last_name":"Kang","first_name":"Yingli","full_name":"Kang, Yingli"},{"first_name":"Eckhard","last_name":"Steffen","full_name":"Steffen, Eckhard","id":"15548"}]},{"publication":"Encyclopedia of Machine Learning and Data Mining","citation":{"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.","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} }","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.","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.","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.","short":"J. Fürnkranz, E. Hüllermeier, in: C. Sammut, G.I. Webb (Eds.), Encyclopedia of Machine Learning and Data Mining, Springer, 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."},"type":"book_chapter","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"date_created":"2019-06-07T15:52:19Z","date_updated":"2022-01-06T06:50:31Z","year":"2016","title":"Preference Learning","status":"public","author":[{"first_name":"J.","last_name":"Fürnkranz","full_name":"Fürnkranz, J."},{"id":"48129","full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier"}],"user_id":"49109","editor":[{"full_name":"Sammut, C.","last_name":"Sammut","first_name":"C."},{"full_name":"Webb, G.I.","last_name":"Webb","first_name":"G.I."}],"publisher":"Springer","_id":"10214","language":[{"iso":"eng"}]},{"user_id":"49109","editor":[{"full_name":"Hoffmann, F.","first_name":"F.","last_name":"Hoffmann"},{"first_name":"Eyke","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke","id":"48129"},{"first_name":"R.","last_name":"Mikut","full_name":"Mikut, R."}],"language":[{"iso":"eng"}],"_id":"10221","date_updated":"2022-01-06T06:50:32Z","title":" Proceedings 26. Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany","status":"public","year":"2016","type":"conference_editor","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"date_created":"2019-06-11T14:40:45Z","citation":{"chicago":"Hoffmann, F., Eyke Hüllermeier, and R. Mikut, eds. <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.","apa":"Hoffmann, F., Hüllermeier, E., &#38; Mikut, R. (Eds.). (2016). <i> Proceedings 26. Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany</i>.","ieee":"F. Hoffmann, E. Hüllermeier, and R. Mikut, Eds., <i> Proceedings 26. Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany</i>. 2016.","ama":"Hoffmann F, Hüllermeier E, Mikut R, eds. <i> Proceedings 26. Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany</i>.; 2016.","bibtex":"@book{Hoffmann_Hüllermeier_Mikut_2016, title={ Proceedings 26. Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany}, year={2016} }","mla":"Hoffmann, F., et al., editors. <i> Proceedings 26. Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany</i>. 2016."}}]