[{"publication_status":"published","date_updated":"2022-01-06T06:52:15Z","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783030057152","9783030057169"]},"author":[{"id":"14961","first_name":"Rita","last_name":"Hartel","full_name":"Hartel, Rita"},{"last_name":"Dunst","first_name":"Alexander","full_name":"Dunst, Alexander"}],"conference":{"location":"Thessaloniki, Greece"},"title":"How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics","status":"public","year":"2019","user_id":"14961","doi":"10.1007/978-3-030-05716-9_59","_id":"15080","language":[{"iso":"eng"}],"publisher":"Springer","page":"662-671","citation":{"ama":"Hartel R, Dunst A. How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics. In: <i>International Conference on Multimedia Modeling, MMM</i>. Springer; 2019:662-671. doi:<a href=\"https://doi.org/10.1007/978-3-030-05716-9_59\">10.1007/978-3-030-05716-9_59</a>","short":"R. Hartel, A. Dunst, in: International Conference on Multimedia Modeling, MMM, Springer, 2019, pp. 662–671.","chicago":"Hartel, Rita, and Alexander Dunst. “How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics.” In <i>International Conference on Multimedia Modeling, MMM</i>, 662–71. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-05716-9_59\">https://doi.org/10.1007/978-3-030-05716-9_59</a>.","bibtex":"@inproceedings{Hartel_Dunst_2019, title={How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-05716-9_59\">10.1007/978-3-030-05716-9_59</a>}, booktitle={International Conference on Multimedia Modeling, MMM}, publisher={Springer}, author={Hartel, Rita and Dunst, Alexander}, year={2019}, pages={662–671} }","apa":"Hartel, R., &#38; Dunst, A. (2019). How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics. In <i>International Conference on Multimedia Modeling, MMM</i> (pp. 662–671). Thessaloniki, Greece: Springer. <a href=\"https://doi.org/10.1007/978-3-030-05716-9_59\">https://doi.org/10.1007/978-3-030-05716-9_59</a>","mla":"Hartel, Rita, and Alexander Dunst. “How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics.” <i>International Conference on Multimedia Modeling, MMM</i>, Springer, 2019, pp. 662–71, doi:<a href=\"https://doi.org/10.1007/978-3-030-05716-9_59\">10.1007/978-3-030-05716-9_59</a>.","ieee":"R. Hartel and A. Dunst, “How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics,” in <i>International Conference on Multimedia Modeling, MMM</i>, Thessaloniki, Greece, 2019, pp. 662–671."},"publication":"International Conference on Multimedia Modeling, MMM","department":[{"_id":"69"}],"type":"conference","date_created":"2019-11-21T14:42:25Z"},{"date_created":"2019-11-26T09:24:15Z","department":[{"_id":"69"}],"type":"conference_abstract","citation":{"short":"A. Dunst, R. Hartel, in: DHd Konferenz 2019, Multimedial Und Multimodal, 2019.","chicago":"Dunst, Alexander, and Rita Hartel. “Multimodale Stilometrie: Herausforderungen Und Potenzial Kombinatorischer Bild- Und Textanalysen Am Beispiel Comics.” In <i>DHd Konferenz 2019, Multimedial Und Multimodal</i>, 2019.","apa":"Dunst, A., &#38; Hartel, R. (2019). Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics. In <i>DHd Konferenz 2019, multimedial und multimodal</i>.","ieee":"A. Dunst and R. Hartel, “Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics,” in <i>DHd Konferenz 2019, multimedial und multimodal</i>, 2019.","ama":"Dunst A, Hartel R. Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics. In: <i>DHd Konferenz 2019, Multimedial Und Multimodal</i>. ; 2019.","bibtex":"@inproceedings{Dunst_Hartel_2019, title={Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics}, booktitle={DHd Konferenz 2019, multimedial und multimodal}, author={Dunst, Alexander and Hartel, Rita}, year={2019} }","mla":"Dunst, Alexander, and Rita Hartel. “Multimodale Stilometrie: Herausforderungen Und Potenzial Kombinatorischer Bild- Und Textanalysen Am Beispiel Comics.” <i>DHd Konferenz 2019, Multimedial Und Multimodal</i>, 2019."},"publication":"DHd Konferenz 2019, multimedial und multimodal","language":[{"iso":"eng"}],"_id":"15182","user_id":"14961","author":[{"full_name":"Dunst, Alexander","last_name":"Dunst","first_name":"Alexander"},{"last_name":"Hartel","first_name":"Rita","full_name":"Hartel, Rita","id":"14961"}],"status":"public","year":"2019","title":"Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics","date_updated":"2022-01-06T06:52:16Z"},{"citation":{"short":"A. Dunst, R. Hartel, in: Digital Humanities, DH 2019, 2019.","chicago":"Dunst, Alexander, and Rita Hartel. “Quantifying Complexity in Multimodal Media: AlanMoore and the ‘Density’ of the Graphic Novel.” In <i>Digital Humanities, DH 2019</i>, 2019.","ieee":"A. Dunst and R. Hartel, “Quantifying Complexity in Multimodal Media: AlanMoore and the ‘Density’ of the Graphic Novel,” in <i>Digital Humanities, DH 2019</i>, 2019.","apa":"Dunst, A., &#38; Hartel, R. (2019). Quantifying Complexity in Multimodal Media: AlanMoore and the “Density” of the Graphic Novel. In <i>Digital Humanities, DH 2019</i>.","bibtex":"@inproceedings{Dunst_Hartel_2019, title={Quantifying Complexity in Multimodal Media: AlanMoore and the “Density” of the Graphic Novel}, booktitle={Digital Humanities, DH 2019}, author={Dunst, Alexander and Hartel, Rita}, year={2019} }","ama":"Dunst A, Hartel R. Quantifying Complexity in Multimodal Media: AlanMoore and the “Density” of the Graphic Novel. In: <i>Digital Humanities, DH 2019</i>. ; 2019.","mla":"Dunst, Alexander, and Rita Hartel. “Quantifying Complexity in Multimodal Media: AlanMoore and the ‘Density’ of the Graphic Novel.” <i>Digital Humanities, DH 2019</i>, 2019."},"publication":"Digital Humanities, DH 2019","date_created":"2019-11-26T09:31:46Z","department":[{"_id":"69"}],"type":"conference_abstract","author":[{"full_name":"Dunst, Alexander","last_name":"Dunst","first_name":"Alexander"},{"full_name":"Hartel, Rita","last_name":"Hartel","first_name":"Rita","id":"14961"}],"year":"2019","status":"public","title":"Quantifying Complexity in Multimodal Media: AlanMoore and the “Density” of the Graphic Novel","date_updated":"2022-01-06T06:52:16Z","language":[{"iso":"eng"}],"_id":"15186","user_id":"14961"},{"citation":{"bibtex":"@book{Stein_Wachsmuth_2019, place={Florence, Italy}, title={Proceedings of the 6th Workshop on Argument Mining}, publisher={Association for Computational Linguistics}, year={2019} }","ama":"Stein B, Wachsmuth H, eds. <i>Proceedings of the 6th Workshop on Argument Mining</i>. Florence, Italy: Association for Computational Linguistics; 2019.","mla":"Stein, Benno, and Henning Wachsmuth, editors. <i>Proceedings of the 6th Workshop on Argument Mining</i>. Association for Computational Linguistics, 2019.","chicago":"Stein, Benno, and Henning Wachsmuth, eds. <i>Proceedings of the 6th Workshop on Argument Mining</i>. Florence, Italy: Association for Computational Linguistics, 2019.","short":"B. Stein, H. Wachsmuth, eds., Proceedings of the 6th Workshop on Argument Mining, Association for Computational Linguistics, Florence, Italy, 2019.","ieee":"B. Stein and H. Wachsmuth, Eds., <i>Proceedings of the 6th Workshop on Argument Mining</i>. Florence, Italy: Association for Computational Linguistics, 2019.","apa":"Stein, B., &#38; Wachsmuth, H. (Eds.). (2019). <i>Proceedings of the 6th Workshop on Argument Mining</i>. Florence, Italy: Association for Computational Linguistics."},"place":"Florence, Italy","date_created":"2019-12-01T15:04:50Z","department":[{"_id":"600"}],"type":"conference_editor","year":"2019","title":"Proceedings of the 6th Workshop on Argument Mining","status":"public","date_updated":"2022-01-06T06:52:19Z","publisher":"Association for Computational Linguistics","_id":"15235","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://www.aclweb.org/anthology/W19-4500.pdf"}],"editor":[{"last_name":"Stein","first_name":"Benno","full_name":"Stein, Benno"},{"id":"3900","full_name":"Wachsmuth, Henning","last_name":"Wachsmuth","first_name":"Henning"}],"user_id":"82920"},{"type":"book_editor","department":[{"_id":"66"},{"_id":"534"}],"date_created":"2019-12-10T11:27:40Z","citation":{"mla":"Linssen, Oliver, et al., editors. <i>Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.</i> Vol. Volume P-298, 2019.","ama":"Linssen O, Mikusz M, Volland A, et al., eds. <i>Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.</i> Vol Volume P-298.; 2019.","bibtex":"@book{Linssen_Mikusz_Volland_Yigitbas_Engstler_Fazal-Baqaie_Kuhrmann_2019, series={Lecture Notes in Informatics (LNI) - Proceedings}, title={Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.}, volume={Volume P-298}, year={2019}, collection={Lecture Notes in Informatics (LNI) - Proceedings} }","apa":"Linssen, O., Mikusz, M., Volland, A., Yigitbas, E., Engstler, M., Fazal-Baqaie, M., &#38; Kuhrmann, M. (Eds.). (2019). <i>Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.</i> (Vol. Volume P-298).","ieee":"O. Linssen <i>et al.</i>, Eds., <i>Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.</i>, vol. Volume P-298. 2019.","chicago":"Linssen, Oliver, Martin Mikusz, Alexander Volland, Enes Yigitbas, Martin Engstler, Masud Fazal-Baqaie, and Marco Kuhrmann, eds. <i>Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.</i> Vol. Volume P-298. Lecture Notes in Informatics (LNI) - Proceedings, 2019.","short":"O. Linssen, M. Mikusz, A. Volland, E. Yigitbas, M. Engstler, M. Fazal-Baqaie, M. Kuhrmann, eds., Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel., 2019."},"user_id":"8447","volume":"Volume P-298","editor":[{"full_name":"Linssen, Oliver","first_name":"Oliver","last_name":"Linssen"},{"last_name":"Mikusz","first_name":"Martin","full_name":"Mikusz, Martin"},{"full_name":"Volland, Alexander","last_name":"Volland","first_name":"Alexander"},{"orcid":"0000-0002-5967-833X","last_name":"Yigitbas","first_name":"Enes","full_name":"Yigitbas, Enes","id":"8447"},{"last_name":"Engstler","first_name":"Martin","full_name":"Engstler, Martin"},{"full_name":"Fazal-Baqaie, Masud","last_name":"Fazal-Baqaie","first_name":"Masud"},{"full_name":"Kuhrmann, Marco","last_name":"Kuhrmann","first_name":"Marco"}],"series_title":"Lecture Notes in Informatics (LNI) - Proceedings","_id":"15265","language":[{"iso":"ger"}],"date_updated":"2022-01-06T06:52:20Z","year":"2019","title":"Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.","status":"public","publication_identifier":{"isbn":["978-3-88579-692-3"]}},{"date_updated":"2022-01-06T06:52:41Z","author":[{"last_name":"Mehta","first_name":"Jinay","full_name":"Mehta, Jinay"}],"title":"Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip","year":"2019","status":"public","user_id":"398","language":[{"iso":"eng"}],"_id":"15946","citation":{"mla":"Mehta, Jinay. <i>Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip</i>. 2019.","ama":"Mehta J. <i>Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip</i>.; 2019.","bibtex":"@book{Mehta_2019, title={Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip}, author={Mehta, Jinay}, year={2019} }","apa":"Mehta, J. (2019). <i>Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip</i>.","ieee":"J. Mehta, <i>Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip</i>. 2019.","short":"J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip, 2019.","chicago":"Mehta, Jinay. <i>Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip</i>, 2019."},"supervisor":[{"first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco"}],"department":[{"_id":"78"}],"type":"mastersthesis","date_created":"2020-02-20T14:47:12Z"},{"date_created":"2020-03-03T08:15:53Z","type":"conference","department":[{"_id":"34"},{"_id":"77"}],"publication":"Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings","citation":{"mla":"Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, edited by Maurice H. ter Beek et al., vol. 11800, Springer, 2019, pp. 179–95, doi:<a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">10.1007/978-3-030-30942-8\\_12</a>.","ama":"Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. Verifying Correctness of Persistent Concurrent Data Structures. In: H. ter Beek M, McIver A, N. Oliveira J, eds. <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>. Vol 11800. Lecture Notes in Computer Science. Springer; 2019:179-195. doi:<a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">10.1007/978-3-030-30942-8\\_12</a>","bibtex":"@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Verifying Correctness of Persistent Concurrent Data Structures}, volume={11800}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">10.1007/978-3-030-30942-8\\_12</a>}, booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, publisher={Springer}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, editor={H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos{\\’{e}}Editors}, year={2019}, pages={179–195}, collection={Lecture Notes in Computer Science} }","apa":"Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &#38; Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In M. H. ter Beek, A. McIver, &#38; J. N. Oliveira (Eds.), <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i> (Vol. 11800, pp. 179–195). Springer. <a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">https://doi.org/10.1007/978-3-030-30942-8\\_12</a>","ieee":"J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying Correctness of Persistent Concurrent Data Structures,” in <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, 2019, vol. 11800, pp. 179–195.","chicago":"Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, edited by Maurice H. ter Beek, Annabelle McIver, and Jos{\\’{e}} N. Oliveira, 11800:179–95. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">https://doi.org/10.1007/978-3-030-30942-8\\_12</a>.","short":"J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: M. H. ter Beek, A. McIver, J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Springer, 2019, pp. 179–195."},"page":"179-195","_id":"16215","publisher":"Springer","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-030-30942-8\\_12","user_id":"29719","editor":[{"first_name":"Maurice","last_name":"H. ter Beek","full_name":"H. ter Beek, Maurice"},{"full_name":"McIver, Annabelle","first_name":"Annabelle","last_name":"McIver"},{"full_name":"N. Oliveira, Jos{\\'{e}}","last_name":"N. Oliveira","first_name":"Jos{\\'{e}}"}],"volume":11800,"title":"Verifying Correctness of Persistent Concurrent Data Structures","status":"public","year":"2019","author":[{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"first_name":"Simon","last_name":"Doherty","full_name":"Doherty, Simon"},{"full_name":"Dongol, Brijesh","first_name":"Brijesh","last_name":"Dongol"},{"full_name":"Schellhorn, Gerhard","first_name":"Gerhard","last_name":"Schellhorn"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:52:45Z","intvolume":"     11800"},{"page":"457-458","language":[{"iso":"eng"}],"_id":"16216","user_id":"29719","doi":"10.1007/s00165-019-00495-y","volume":31,"title":"Editorial","year":"2019","status":"public","author":[{"last_name":"Russo","first_name":"Alessandra","full_name":"Russo, Alessandra"},{"full_name":"Schürr, Andy","last_name":"Schürr","first_name":"Andy"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:52:45Z","intvolume":"        31","date_created":"2020-03-03T08:17:44Z","type":"journal_article","department":[{"_id":"34"},{"_id":"77"}],"issue":"5","publication":"Formal Asp. Comput.","citation":{"ama":"Russo A, Schürr A, Wehrheim H. Editorial. <i>Formal Asp Comput</i>. 2019;31(5):457-458. doi:<a href=\"https://doi.org/10.1007/s00165-019-00495-y\">10.1007/s00165-019-00495-y</a>","short":"A. Russo, A. Schürr, H. Wehrheim, Formal Asp. Comput. 31 (2019) 457–458.","chicago":"Russo, Alessandra, Andy Schürr, and Heike Wehrheim. “Editorial.” <i>Formal Asp. Comput.</i> 31, no. 5 (2019): 457–58. <a href=\"https://doi.org/10.1007/s00165-019-00495-y\">https://doi.org/10.1007/s00165-019-00495-y</a>.","bibtex":"@article{Russo_Schürr_Wehrheim_2019, title={Editorial}, volume={31}, DOI={<a href=\"https://doi.org/10.1007/s00165-019-00495-y\">10.1007/s00165-019-00495-y</a>}, number={5}, journal={Formal Asp. Comput.}, author={Russo, Alessandra and Schürr, Andy and Wehrheim, Heike}, year={2019}, pages={457–458} }","mla":"Russo, Alessandra, et al. “Editorial.” <i>Formal Asp. Comput.</i>, vol. 31, no. 5, 2019, pp. 457–58, doi:<a href=\"https://doi.org/10.1007/s00165-019-00495-y\">10.1007/s00165-019-00495-y</a>.","apa":"Russo, A., Schürr, A., &#38; Wehrheim, H. (2019). Editorial. <i>Formal Asp. Comput.</i>, <i>31</i>(5), 457–458. <a href=\"https://doi.org/10.1007/s00165-019-00495-y\">https://doi.org/10.1007/s00165-019-00495-y</a>","ieee":"A. Russo, A. Schürr, and H. Wehrheim, “Editorial,” <i>Formal Asp. Comput.</i>, vol. 31, no. 5, pp. 457–458, 2019."}},{"type":"journal_article","department":[{"_id":"34"},{"_id":"77"}],"date_created":"2020-03-03T08:19:35Z","issue":"1","publication":"Formal Asp. Comput.","citation":{"apa":"Fränzle, M., Kapur, D., Wehrheim, H., &#38; Zhan, N. (2019). Editorial. <i>Formal Asp. Comput.</i>, <i>31</i>(1), 1. <a href=\"https://doi.org/10.1007/s00165-018-00477-6\">https://doi.org/10.1007/s00165-018-00477-6</a>","ieee":"M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” <i>Formal Asp. Comput.</i>, vol. 31, no. 1, p. 1, 2019.","chicago":"Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” <i>Formal Asp. Comput.</i> 31, no. 1 (2019): 1. <a href=\"https://doi.org/10.1007/s00165-018-00477-6\">https://doi.org/10.1007/s00165-018-00477-6</a>.","short":"M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.","mla":"Fränzle, Martin, et al. “Editorial.” <i>Formal Asp. Comput.</i>, vol. 31, no. 1, 2019, p. 1, doi:<a href=\"https://doi.org/10.1007/s00165-018-00477-6\">10.1007/s00165-018-00477-6</a>.","ama":"Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. <i>Formal Asp Comput</i>. 2019;31(1):1. doi:<a href=\"https://doi.org/10.1007/s00165-018-00477-6\">10.1007/s00165-018-00477-6</a>","bibtex":"@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31}, DOI={<a href=\"https://doi.org/10.1007/s00165-018-00477-6\">10.1007/s00165-018-00477-6</a>}, number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }"},"user_id":"29719","doi":"10.1007/s00165-018-00477-6","volume":31,"page":"1","_id":"16217","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:45Z","intvolume":"        31","title":"Editorial","year":"2019","status":"public","author":[{"full_name":"Fränzle, Martin","last_name":"Fränzle","first_name":"Martin"},{"full_name":"Kapur, Deepak","first_name":"Deepak","last_name":"Kapur"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"},{"full_name":"Zhan, Naijun","last_name":"Zhan","first_name":"Naijun"}]},{"user_id":"21145","page":"10-21","_id":"16275","language":[{"iso":"ger"}],"date_updated":"2022-01-06T06:52:47Z","title":"„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material","year":"2019","status":"public","author":[{"full_name":"Franke-Wiekhorst, Antonia","last_name":"Franke-Wiekhorst","first_name":"Antonia"},{"full_name":"Günther, Christine","first_name":"Christine","last_name":"Günther"},{"full_name":"Brünger, Karen","last_name":"Brünger","first_name":"Karen"},{"full_name":"Magenheim, Johannes","last_name":"Magenheim","first_name":"Johannes"},{"full_name":"Romeike, Ralf","last_name":"Romeike","first_name":"Ralf"}],"type":"journal_article","department":[{"_id":"67"}],"date_created":"2020-03-09T14:27:22Z","publication":"GdSU-Journal,(9)","citation":{"mla":"Franke-Wiekhorst, Antonia, et al. “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material.” <i>GdSU-Journal,(9)</i>, 2019, pp. 10–21.","bibtex":"@article{Franke-Wiekhorst_Günther_Brünger_Magenheim_Romeike_2019, title={„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material}, journal={GdSU-Journal,(9)}, author={Franke-Wiekhorst, Antonia and Günther, Christine and Brünger, Karen and Magenheim, Johannes and Romeike, Ralf}, year={2019}, pages={10–21} }","ama":"Franke-Wiekhorst A, Günther C, Brünger K, Magenheim J, Romeike R. „Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material. <i>GdSU-Journal,(9)</i>. 2019:10-21.","ieee":"A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, and R. Romeike, “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material,” <i>GdSU-Journal,(9)</i>, pp. 10–21, 2019.","apa":"Franke-Wiekhorst, A., Günther, C., Brünger, K., Magenheim, J., &#38; Romeike, R. (2019). „Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material. <i>GdSU-Journal,(9)</i>, 10–21.","chicago":"Franke-Wiekhorst, Antonia, Christine Günther, Karen Brünger, Johannes Magenheim, and Ralf Romeike. “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material.” <i>GdSU-Journal,(9)</i>, 2019, 10–21.","short":"A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, R. Romeike, GdSU-Journal,(9) (2019) 10–21."}},{"department":[{"_id":"63"}],"oa":"1","type":"preprint","date_created":"2020-03-24T08:59:44Z","external_id":{"arxiv":["1904.08225"]},"abstract":[{"lang":"eng","text":"We present a technique for rendering highly complex 3D scenes in real-time by\r\ngenerating uniformly distributed points on the scene's visible surfaces. The\r\ntechnique is applicable to a wide range of scene types, like scenes directly\r\nbased on complex and detailed CAD data consisting of billions of polygons (in\r\ncontrast to scenes handcrafted solely for visualization). This allows to\r\nvisualize such scenes smoothly even in VR on a HMD with good image quality,\r\nwhile maintaining the necessary frame-rates. In contrast to other point based\r\nrendering methods, we place points in an approximated blue noise distribution\r\nonly on visible surfaces and store them in a highly GPU efficient data\r\nstructure, allowing to progressively refine the number of rendered points to\r\nmaximize the image quality for a given target frame rate. Our evaluation shows\r\nthat scenes consisting of a high amount of polygons can be rendered with\r\ninteractive frame rates with good visual quality on standard hardware."}],"citation":{"ama":"Brandt S, Jähn C, Fischer M, Meyer auf der Heide F. Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels. <i>arXiv:190408225</i>. 2019.","short":"S. Brandt, C. Jähn, M. Fischer, F. Meyer auf der Heide, ArXiv:1904.08225 (2019).","chicago":"Brandt, Sascha, Claudius Jähn, Matthias Fischer, and Friedhelm Meyer auf der Heide. “Rendering of Complex Heterogenous Scenes Using Progressive Blue Surfels.” <i>ArXiv:1904.08225</i>, 2019.","bibtex":"@article{Brandt_Jähn_Fischer_Meyer auf der Heide_2019, title={Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels}, journal={arXiv:1904.08225}, author={Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2019} }","apa":"Brandt, S., Jähn, C., Fischer, M., &#38; Meyer auf der Heide, F. (2019). Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels. <i>ArXiv:1904.08225</i>.","mla":"Brandt, Sascha, et al. “Rendering of Complex Heterogenous Scenes Using Progressive Blue Surfels.” <i>ArXiv:1904.08225</i>, 2019.","ieee":"S. Brandt, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels,” <i>arXiv:1904.08225</i>. 2019."},"publication":"arXiv:1904.08225","user_id":"15415","_id":"16341","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1"}],"date_updated":"2022-01-06T06:52:49Z","author":[{"id":"11648","full_name":"Brandt, Sascha","last_name":"Brandt","first_name":"Sascha","orcid":"0000-0003-3546-203X"},{"full_name":"Jähn, Claudius","first_name":"Claudius","last_name":"Jähn"},{"id":"146","full_name":"Fischer, Matthias","last_name":"Fischer","first_name":"Matthias"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"}],"year":"2019","status":"public","title":"Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels"},{"date_updated":"2022-01-06T06:52:49Z","publication_status":"published","publication_identifier":{"isbn":["9783662594735","9783662594742"]},"author":[{"first_name":"Holger Gerhard","last_name":"Fischer","full_name":"Fischer, Holger Gerhard","id":"30457"},{"full_name":"Rittmeier, Florian","last_name":"Rittmeier","first_name":"Florian","id":"5281"},{"full_name":"Strothmann, Thim Frederik","last_name":"Strothmann","first_name":"Thim Frederik","id":"11319"},{"last_name":"Schwenniger","first_name":"Nina","full_name":"Schwenniger, Nina"}],"status":"public","title":"Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode","year":"2019","editor":[{"full_name":"Bosse, Christian K.","first_name":"Christian K.","last_name":"Bosse"},{"full_name":"Zink, Klaus J.","first_name":"Klaus J.","last_name":"Zink"}],"doi":"10.1007/978-3-662-59474-2_11","user_id":"5281","_id":"16361","language":[{"iso":"ger"}],"publisher":"Springer Gabler","abstract":[{"lang":"ger","text":"Sinnvolle und gebrauchstaugliche digitale Assistenzsysteme, die Beschäftigte bei ihren alltäglichen Aufgaben unterstützen, stellen eine Herausforderung für viele Organisationen hinsichtlich der individuellen und organisationalen Akzeptanz einschließlich der Gebrauchstauglichkeit (Usability), dem Benutzererlebnis (User Experience, UX) und „Arbeit 4.0“-Aspekten dar. Vorhandene Methoden des Software Engineering sind nicht geeignet, Beschäftigte angemessen in die Gestaltung und Entwicklung zu integrieren und Lösungskonzepte solcher Systeme auf Augenhöhe zu betrachten. In diesem Beitrag wird eine leichtgewichtige Canvas-Methode vorgestellt, die sich mit diesen Herausforderungen befasst. Sie umfasst die menschliche, die geschäftliche sowie die technologische Perspektive in einem gemeinsamen Kommunikationsinstrument, dem „Digital Assistance System Canvas“. Erste Evaluationen zeigen, dass die Teilnehmenden das Canvas-Konzept schätzen und die Methode vielseitig in verschiedenen Szenarien einsetzbar ist. Vielfältige Fragen in den Canvas-Bausteinen bereichern die gemeinsame Diskussion über neue Systeme und die Verbesserung bzw. Sicherstellung der Akzeptanz sowie die Denkweise in frühen Phasen des Design- und Entwicklungsprozesses."}],"citation":{"short":"H.G. Fischer, F. Rittmeier, T.F. Strothmann, N. Schwenniger, in: C.K. Bosse, K.J. Zink (Eds.), Arbeit 4.0 im Mittelstand, Springer Gabler, Berlin, Heidelberg, 2019.","chicago":"Fischer, Holger Gerhard, Florian Rittmeier, Thim Frederik Strothmann, and Nina Schwenniger. “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” In <i>Arbeit 4.0 im Mittelstand</i>, edited by Christian K. Bosse and Klaus J. Zink. Berlin, Heidelberg: Springer Gabler, 2019. <a href=\"https://doi.org/10.1007/978-3-662-59474-2_11\">https://doi.org/10.1007/978-3-662-59474-2_11</a>.","apa":"Fischer, H. G., Rittmeier, F., Strothmann, T. F., &#38; Schwenniger, N. (2019). Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode. In C. K. Bosse &#38; K. J. Zink (Eds.), <i>Arbeit 4.0 im Mittelstand</i>. Berlin, Heidelberg: Springer Gabler. <a href=\"https://doi.org/10.1007/978-3-662-59474-2_11\">https://doi.org/10.1007/978-3-662-59474-2_11</a>","ieee":"H. G. Fischer, F. Rittmeier, T. F. Strothmann, and N. Schwenniger, “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode,” in <i>Arbeit 4.0 im Mittelstand</i>, C. K. Bosse and K. J. Zink, Eds. Berlin, Heidelberg: Springer Gabler, 2019.","ama":"Fischer HG, Rittmeier F, Strothmann TF, Schwenniger N. Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode. In: Bosse CK, Zink KJ, eds. <i>Arbeit 4.0 im Mittelstand</i>. Berlin, Heidelberg: Springer Gabler; 2019. doi:<a href=\"https://doi.org/10.1007/978-3-662-59474-2_11\">10.1007/978-3-662-59474-2_11</a>","bibtex":"@inbook{Fischer_Rittmeier_Strothmann_Schwenniger_2019, place={Berlin, Heidelberg}, title={Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-59474-2_11\">10.1007/978-3-662-59474-2_11</a>}, booktitle={Arbeit 4.0 im Mittelstand}, publisher={Springer Gabler}, author={Fischer, Holger Gerhard and Rittmeier, Florian and Strothmann, Thim Frederik and Schwenniger, Nina}, editor={Bosse, Christian K. and Zink, Klaus J.Editors}, year={2019} }","mla":"Fischer, Holger Gerhard, et al. “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” <i>Arbeit 4.0 im Mittelstand</i>, edited by Christian K. Bosse and Klaus J. Zink, Springer Gabler, 2019, doi:<a href=\"https://doi.org/10.1007/978-3-662-59474-2_11\">10.1007/978-3-662-59474-2_11</a>."},"publication":"Arbeit 4.0 im Mittelstand","department":[{"_id":"66"},{"_id":"534"}],"type":"book_chapter","place":"Berlin, Heidelberg","date_created":"2020-04-01T15:34:53Z"},{"type":"book_chapter","department":[{"_id":"77"}],"date_created":"2019-10-16T06:39:51Z","place":"Cham","project":[{"name":"Kooperative Softwareverifikation","_id":"85"}],"publication":"Fundamental Approaches to Software Engineering","citation":{"chicago":"Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.” In <i>Fundamental Approaches to Software Engineering</i>. Cham, 2019. <a href=\"https://doi.org/10.1007/978-3-030-16722-6_23\">https://doi.org/10.1007/978-3-030-16722-6_23</a>.","short":"D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.","ama":"Beyer D, Jakobs M-C. CoVeriTest: Cooperative Verifier-Based Testing. In: <i>Fundamental Approaches to Software Engineering</i>. Cham; 2019. doi:<a href=\"https://doi.org/10.1007/978-3-030-16722-6_23\">10.1007/978-3-030-16722-6_23</a>","bibtex":"@inbook{Beyer_Jakobs_2019, place={Cham}, title={CoVeriTest: Cooperative Verifier-Based Testing}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-16722-6_23\">10.1007/978-3-030-16722-6_23</a>}, booktitle={Fundamental Approaches to Software Engineering}, author={Beyer, Dirk and Jakobs, Marie-Christine}, year={2019} }","apa":"Beyer, D., &#38; Jakobs, M.-C. (2019). CoVeriTest: Cooperative Verifier-Based Testing. In <i>Fundamental Approaches to Software Engineering</i>. Cham. <a href=\"https://doi.org/10.1007/978-3-030-16722-6_23\">https://doi.org/10.1007/978-3-030-16722-6_23</a>","mla":"Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.” <i>Fundamental Approaches to Software Engineering</i>, 2019, doi:<a href=\"https://doi.org/10.1007/978-3-030-16722-6_23\">10.1007/978-3-030-16722-6_23</a>.","ieee":"D. Beyer and M.-C. Jakobs, “CoVeriTest: Cooperative Verifier-Based Testing,” in <i>Fundamental Approaches to Software Engineering</i>, Cham, 2019."},"user_id":"44413","doi":"10.1007/978-3-030-16722-6_23","language":[{"iso":"eng"}],"_id":"13872","publication_status":"published","date_updated":"2022-01-06T06:51:45Z","title":"CoVeriTest: Cooperative Verifier-Based Testing","year":"2019","status":"public","author":[{"full_name":"Beyer, Dirk","first_name":"Dirk","last_name":"Beyer"},{"full_name":"Jakobs, Marie-Christine","last_name":"Jakobs","first_name":"Marie-Christine"}],"publication_identifier":{"isbn":["9783030167219","9783030167226"],"issn":["0302-9743","1611-3349"]}},{"department":[{"_id":"63"}],"type":"journal_article","date_created":"2019-10-16T07:06:22Z","file":[{"date_created":"2020-01-24T08:12:58Z","creator":"florida","file_id":"15632","content_type":"application/pdf","success":1,"file_name":"DissertationFeldkord.pdf","file_size":633652,"access_level":"closed","relation":"main_file","date_updated":"2020-01-24T08:12:58Z"}],"issue":"3","publication":"ACM Transactions on Parallel Computing (TOPC)","doi":"10.1145/3364204","language":[{"iso":"eng"}],"article_number":"14","intvolume":"         6","date_updated":"2022-01-06T06:51:46Z","publication_status":"published","author":[{"id":"22704","full_name":"Feldkord, Björn","first_name":"Björn","last_name":"Feldkord"},{"full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm","id":"15523"}],"title":"The Mobile Server Problem","year":"2019","project":[{"_id":"1","name":"SFB 901"},{"_id":"2","name":"SFB 901 - Project Area A"},{"name":"SFB 901 - Subproject A1","_id":"5"}],"citation":{"bibtex":"@article{Feldkord_Meyer auf der Heide_2019, title={The Mobile Server Problem}, volume={6}, DOI={<a href=\"https://doi.org/10.1145/3364204\">10.1145/3364204</a>}, number={314}, journal={ACM Transactions on Parallel Computing (TOPC)}, author={Feldkord, Björn and Meyer auf der Heide, Friedhelm}, year={2019} }","ama":"Feldkord B, Meyer auf der Heide F. The Mobile Server Problem. <i>ACM Transactions on Parallel Computing (TOPC)</i>. 2019;6(3). doi:<a href=\"https://doi.org/10.1145/3364204\">10.1145/3364204</a>","mla":"Feldkord, Björn, and Friedhelm Meyer auf der Heide. “The Mobile Server Problem.” <i>ACM Transactions on Parallel Computing (TOPC)</i>, vol. 6, no. 3, 14, 2019, doi:<a href=\"https://doi.org/10.1145/3364204\">10.1145/3364204</a>.","chicago":"Feldkord, Björn, and Friedhelm Meyer auf der Heide. “The Mobile Server Problem.” <i>ACM Transactions on Parallel Computing (TOPC)</i> 6, no. 3 (2019). <a href=\"https://doi.org/10.1145/3364204\">https://doi.org/10.1145/3364204</a>.","short":"B. Feldkord, F. Meyer auf der Heide, ACM Transactions on Parallel Computing (TOPC) 6 (2019).","ieee":"B. Feldkord and F. Meyer auf der Heide, “The Mobile Server Problem,” <i>ACM Transactions on Parallel Computing (TOPC)</i>, vol. 6, no. 3, 2019.","apa":"Feldkord, B., &#38; Meyer auf der Heide, F. (2019). The Mobile Server Problem. <i>ACM Transactions on Parallel Computing (TOPC)</i>, <i>6</i>(3). <a href=\"https://doi.org/10.1145/3364204\">https://doi.org/10.1145/3364204</a>"},"file_date_updated":"2020-01-24T08:12:58Z","volume":6,"ddc":["000"],"user_id":"15504","_id":"13873","has_accepted_license":"1","status":"public"},{"citation":{"ieee":"F. Meyer auf der Heide, “Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln,” <i>Mathematische Semesterberichte</i>, vol. 66, no. 2, pp. 259–260, 2019.","apa":"Meyer auf der Heide, F. (2019). Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. <i>Mathematische Semesterberichte</i>, <i>66</i>(2), 259–260. <a href=\"https://doi.org/10.1007/s00591-019-00249-0\">https://doi.org/10.1007/s00591-019-00249-0</a>","short":"F. Meyer auf der Heide, Mathematische Semesterberichte 66 (2019) 259–260.","chicago":"Meyer auf der Heide, Friedhelm. “Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln.” <i>Mathematische Semesterberichte</i> 66, no. 2 (2019): 259–60. <a href=\"https://doi.org/10.1007/s00591-019-00249-0\">https://doi.org/10.1007/s00591-019-00249-0</a>.","mla":"Meyer auf der Heide, Friedhelm. “Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln.” <i>Mathematische Semesterberichte</i>, vol. 66, no. 2, 2019, pp. 259–60, doi:<a href=\"https://doi.org/10.1007/s00591-019-00249-0\">10.1007/s00591-019-00249-0</a>.","bibtex":"@article{Meyer auf der Heide_2019, title={Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln}, volume={66}, DOI={<a href=\"https://doi.org/10.1007/s00591-019-00249-0\">10.1007/s00591-019-00249-0</a>}, number={2}, journal={Mathematische Semesterberichte}, author={Meyer auf der Heide, Friedhelm}, year={2019}, pages={259–260} }","ama":"Meyer auf der Heide F. Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. <i>Mathematische Semesterberichte</i>. 2019;66(2):259-260. doi:<a href=\"https://doi.org/10.1007/s00591-019-00249-0\">10.1007/s00591-019-00249-0</a>"},"issue":"2","publication":"Mathematische Semesterberichte","date_created":"2019-10-21T08:54:14Z","department":[{"_id":"63"}],"type":"journal_article","author":[{"id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm"}],"title":"Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln","year":"2019","status":"public","intvolume":"        66","publication_status":"published","date_updated":"2022-01-06T06:51:47Z","language":[{"iso":"ger"}],"_id":"13937","page":"259-260","volume":66,"user_id":"15415","doi":"10.1007/s00591-019-00249-0"},{"department":[{"_id":"63"}],"type":"book_chapter","date_created":"2019-10-21T13:20:43Z","citation":{"chicago":"Kling, Peter, and Friedhelm Meyer auf der Heide. “Continuous Protocols for Swarm Robotics.” In <i>Distributed Computing by Mobile Entities, Current Research in Moving and Computing</i>, 11340:317–34. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-11072-7\\_13\">https://doi.org/10.1007/978-3-030-11072-7\\_13</a>.","short":"P. Kling, F. Meyer auf der Heide, in: Distributed Computing by Mobile Entities, Current Research in Moving and Computing, Springer, 2019, pp. 317–334.","apa":"Kling, P., &#38; Meyer auf der Heide, F. (2019). Continuous Protocols for Swarm Robotics. In <i>Distributed Computing by Mobile Entities, Current Research in Moving and Computing</i> (Vol. 11340, pp. 317–334). Springer. <a href=\"https://doi.org/10.1007/978-3-030-11072-7\\_13\">https://doi.org/10.1007/978-3-030-11072-7\\_13</a>","ieee":"P. Kling and F. Meyer auf der Heide, “Continuous Protocols for Swarm Robotics,” in <i>Distributed Computing by Mobile Entities, Current Research in Moving and Computing</i>, vol. 11340, Springer, 2019, pp. 317–334.","ama":"Kling P, Meyer auf der Heide F. Continuous Protocols for Swarm Robotics. In: <i>Distributed Computing by Mobile Entities, Current Research in Moving and Computing</i>. Vol 11340. Lecture Notes in Computer Science. Springer; 2019:317-334. doi:<a href=\"https://doi.org/10.1007/978-3-030-11072-7\\_13\">10.1007/978-3-030-11072-7\\_13</a>","bibtex":"@inbook{Kling_Meyer auf der Heide_2019, series={Lecture Notes in Computer Science}, title={Continuous Protocols for Swarm Robotics}, volume={11340}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-11072-7\\_13\">10.1007/978-3-030-11072-7\\_13</a>}, booktitle={Distributed Computing by Mobile Entities, Current Research in Moving and Computing}, publisher={Springer}, author={Kling, Peter and Meyer auf der Heide, Friedhelm}, year={2019}, pages={317–334}, collection={Lecture Notes in Computer Science} }","mla":"Kling, Peter, and Friedhelm Meyer auf der Heide. “Continuous Protocols for Swarm Robotics.” <i>Distributed Computing by Mobile Entities, Current Research in Moving and Computing</i>, vol. 11340, Springer, 2019, pp. 317–34, doi:<a href=\"https://doi.org/10.1007/978-3-030-11072-7\\_13\">10.1007/978-3-030-11072-7\\_13</a>."},"publication":"Distributed Computing by Mobile Entities, Current Research in Moving and Computing","volume":11340,"doi":"10.1007/978-3-030-11072-7\\_13","user_id":"15415","series_title":"Lecture Notes in Computer Science","_id":"13939","publisher":"Springer","language":[{"iso":"eng"}],"page":"317-334","intvolume":"     11340","date_updated":"2022-01-06T06:51:47Z","author":[{"last_name":"Kling","first_name":"Peter","full_name":"Kling, Peter"},{"id":"15523","first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm"}],"year":"2019","title":"Continuous Protocols for Swarm Robotics","status":"public"},{"page":"315-321","_id":"13942","publisher":"SciTePress","language":[{"iso":"eng"}],"user_id":"477","doi":"10.5220/0007369503150321","title":"Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location","year":"2019","status":"public","author":[{"id":"37612","last_name":"Markarian","first_name":"Christine","full_name":"Markarian, Christine"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm","last_name":"Meyer auf der Heide"}],"date_updated":"2022-01-06T06:51:47Z","date_created":"2019-10-21T13:42:50Z","type":"conference","department":[{"_id":"63"}],"publication":"Proceedings of the 8th International Conference on Operations Research and Enterprise Systems","citation":{"mla":"Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Algorithms for Leasing Vertex Cover and Leasing Non-Metric Facility Location.” <i>Proceedings of the 8th International Conference on Operations Research and Enterprise Systems</i>, SciTePress, 2019, pp. 315–21, doi:<a href=\"https://doi.org/10.5220/0007369503150321\">10.5220/0007369503150321</a>.","bibtex":"@inproceedings{Markarian_Meyer auf der Heide_2019, title={Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location}, DOI={<a href=\"https://doi.org/10.5220/0007369503150321\">10.5220/0007369503150321</a>}, booktitle={Proceedings of the 8th International Conference on Operations Research and Enterprise Systems}, publisher={SciTePress}, author={Markarian, Christine and Meyer auf der Heide, Friedhelm}, year={2019}, pages={315–321} }","ama":"Markarian C, Meyer auf der Heide F. Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location. In: <i>Proceedings of the 8th International Conference on Operations Research and Enterprise Systems</i>. SciTePress; 2019:315-321. doi:<a href=\"https://doi.org/10.5220/0007369503150321\">10.5220/0007369503150321</a>","ieee":"C. Markarian and F. Meyer auf der Heide, “Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location,” in <i>Proceedings of the 8th International Conference on Operations Research and Enterprise Systems</i>, 2019, pp. 315–321.","apa":"Markarian, C., &#38; Meyer auf der Heide, F. (2019). Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location. In <i>Proceedings of the 8th International Conference on Operations Research and Enterprise Systems</i> (pp. 315–321). SciTePress. <a href=\"https://doi.org/10.5220/0007369503150321\">https://doi.org/10.5220/0007369503150321</a>","short":"C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, SciTePress, 2019, pp. 315–321.","chicago":"Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Algorithms for Leasing Vertex Cover and Leasing Non-Metric Facility Location.” In <i>Proceedings of the 8th International Conference on Operations Research and Enterprise Systems</i>, 315–21. SciTePress, 2019. <a href=\"https://doi.org/10.5220/0007369503150321\">https://doi.org/10.5220/0007369503150321</a>."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area A","_id":"2"},{"name":"SFB 901 - Subproject A1","_id":"5"}]},{"type":"journal_article","department":[{"_id":"63"}],"date_created":"2019-10-21T13:57:06Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"5","name":"SFB 901 - Subproject A1"},{"name":"SFB 901 - Project Area A","_id":"2"}],"publication":"Theoretical Computer Science","citation":{"bibtex":"@article{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2019, title={Efficient parallel algorithms for parameterized problems}, volume={786}, DOI={<a href=\"https://doi.org/10.1016/j.tcs.2018.11.006\">10.1016/j.tcs.2018.11.006</a>}, journal={Theoretical Computer Science}, author={Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}, year={2019}, pages={2–12} }","ama":"Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. Efficient parallel algorithms for parameterized problems. <i>Theoretical Computer Science</i>. 2019;786:2-12. doi:<a href=\"https://doi.org/10.1016/j.tcs.2018.11.006\">10.1016/j.tcs.2018.11.006</a>","short":"F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, Theoretical Computer Science 786 (2019) 2–12.","chicago":"Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “Efficient Parallel Algorithms for Parameterized Problems.” <i>Theoretical Computer Science</i> 786 (2019): 2–12. <a href=\"https://doi.org/10.1016/j.tcs.2018.11.006\">https://doi.org/10.1016/j.tcs.2018.11.006</a>.","ieee":"F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “Efficient parallel algorithms for parameterized problems,” <i>Theoretical Computer Science</i>, vol. 786, pp. 2–12, 2019.","mla":"Abu-Khzam, Faisal N., et al. “Efficient Parallel Algorithms for Parameterized Problems.” <i>Theoretical Computer Science</i>, vol. 786, 2019, pp. 2–12, doi:<a href=\"https://doi.org/10.1016/j.tcs.2018.11.006\">10.1016/j.tcs.2018.11.006</a>.","apa":"Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., &#38; Podlipyan, P. (2019). Efficient parallel algorithms for parameterized problems. <i>Theoretical Computer Science</i>, <i>786</i>, 2–12. <a href=\"https://doi.org/10.1016/j.tcs.2018.11.006\">https://doi.org/10.1016/j.tcs.2018.11.006</a>"},"doi":"10.1016/j.tcs.2018.11.006","user_id":"15415","volume":786,"page":"2-12","language":[{"iso":"eng"}],"_id":"13946","date_updated":"2022-01-06T06:51:48Z","intvolume":"       786","year":"2019","title":"Efficient parallel algorithms for parameterized problems","status":"public","author":[{"full_name":"Abu-Khzam, Faisal N.","first_name":"Faisal N.","last_name":"Abu-Khzam"},{"full_name":"Li, Shouwei","last_name":"Li","first_name":"Shouwei"},{"full_name":"Markarian, Christine","first_name":"Christine","last_name":"Markarian","id":"37612"},{"full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm","id":"15523"},{"full_name":"Podlipyan, Pavel","first_name":"Pavel","last_name":"Podlipyan"}]},{"type":"conference","department":[{"_id":"77"}],"date_created":"2019-10-24T08:20:28Z","project":[{"name":"Validation of Software Transactional Memory","_id":"78"}],"publication":"Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings","citation":{"mla":"Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, 2019, pp. 179–95, doi:<a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">10.1007/978-3-030-30942-8\\_12</a>.","bibtex":"@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, title={Verifying Correctness of Persistent Concurrent Data Structures}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">10.1007/978-3-030-30942-8\\_12</a>}, booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, year={2019}, pages={179–195} }","ama":"Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. Verifying Correctness of Persistent Concurrent Data Structures. In: <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>. ; 2019:179-195. doi:<a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">10.1007/978-3-030-30942-8\\_12</a>","ieee":"J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying Correctness of Persistent Concurrent Data Structures,” in <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, 2019, pp. 179–195.","apa":"Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &#38; Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i> (pp. 179–195). <a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">https://doi.org/10.1007/978-3-030-30942-8\\_12</a>","short":"J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195.","chicago":"Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, 179–95, 2019. <a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">https://doi.org/10.1007/978-3-030-30942-8\\_12</a>."},"user_id":"29719","doi":"10.1007/978-3-030-30942-8\\_12","page":"179-195","_id":"13993","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:51:48Z","title":"Verifying Correctness of Persistent Concurrent Data Structures","status":"public","year":"2019","author":[{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"first_name":"Simon","last_name":"Doherty","full_name":"Doherty, Simon"},{"last_name":"Dongol","first_name":"Brijesh","full_name":"Dongol, Brijesh"},{"first_name":"Gerhard","last_name":"Schellhorn","full_name":"Schellhorn, Gerhard"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}]},{"citation":{"bibtex":"@inproceedings{Weidmann_Oppermann_Robrecht_2019, title={A feature-based classification of triple graph grammar variants}, DOI={<a href=\"https://doi.org/10.1145/3357766.3359529\">10.1145/3357766.3359529</a>}, booktitle={Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019}, publisher={ACM}, author={Weidmann, Nils and Oppermann, Robin and Robrecht, Patrick}, editor={Nierstrasz, Oscar and Gray, Jeff and Oliveira, BrunoEditors}, year={2019} }","ama":"Weidmann N, Oppermann R, Robrecht P. A feature-based classification of triple graph grammar variants. In: Nierstrasz O, Gray J, Oliveira B, eds. <i>Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019</i>. ACM; 2019. doi:<a href=\"https://doi.org/10.1145/3357766.3359529\">10.1145/3357766.3359529</a>","mla":"Weidmann, Nils, et al. “A Feature-Based Classification of Triple Graph Grammar Variants.” <i>Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019</i>, edited by Oscar Nierstrasz et al., ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3357766.3359529\">10.1145/3357766.3359529</a>.","short":"N. Weidmann, R. Oppermann, P. Robrecht, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019, ACM, 2019.","chicago":"Weidmann, Nils, Robin Oppermann, and Patrick Robrecht. “A Feature-Based Classification of Triple Graph Grammar Variants.” In <i>Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019</i>, edited by Oscar Nierstrasz, Jeff Gray, and Bruno Oliveira. ACM, 2019. <a href=\"https://doi.org/10.1145/3357766.3359529\">https://doi.org/10.1145/3357766.3359529</a>.","ieee":"N. Weidmann, R. Oppermann, and P. Robrecht, “A feature-based classification of triple graph grammar variants,” in <i>Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019</i>, Athens, Greece, 2019.","apa":"Weidmann, N., Oppermann, R., &#38; Robrecht, P. (2019). A feature-based classification of triple graph grammar variants. In O. Nierstrasz, J. Gray, &#38; B. Oliveira (Eds.), <i>Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019</i>. Athens, Greece: ACM. <a href=\"https://doi.org/10.1145/3357766.3359529\">https://doi.org/10.1145/3357766.3359529</a>"},"publication":"Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019","department":[{"_id":"28"},{"_id":"66"},{"_id":"534"}],"type":"conference","date_created":"2019-10-30T11:31:00Z","date_updated":"2022-01-06T06:51:52Z","publication_status":"published","conference":{"name":"12th ACM SIGPLAN International Conference on Software Language Engineering","start_date":"2019-10-20","location":"Athens, Greece","end_date":"2019-10-22"},"publication_identifier":{"isbn":["9781450369817"]},"author":[{"first_name":"Nils","last_name":"Weidmann","full_name":"Weidmann, Nils","id":"53103"},{"full_name":"Oppermann, Robin","first_name":"Robin","last_name":"Oppermann"},{"last_name":"Robrecht","first_name":"Patrick","full_name":"Robrecht, Patrick"}],"title":"A feature-based classification of triple graph grammar variants","status":"public","year":"2019","editor":[{"last_name":"Nierstrasz","first_name":"Oscar","full_name":"Nierstrasz, Oscar"},{"last_name":"Gray","first_name":"Jeff","full_name":"Gray, Jeff"},{"full_name":"Oliveira, Bruno","last_name":"Oliveira","first_name":"Bruno"}],"doi":"10.1145/3357766.3359529","user_id":"53103","_id":"14025","publisher":"ACM","language":[{"iso":"eng"}]}]