[{"author":[{"first_name":"Stefan","full_name":"Krüger, Stefan","last_name":"Krüger"},{"full_name":"Ali, Karim","last_name":"Ali","first_name":"Karim"},{"full_name":"Bodden, Eric","last_name":"Bodden","first_name":"Eric"}],"date_created":"2020-11-26T08:51:01Z","date_updated":"2022-01-06T06:54:29Z","title":"CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs","related_material":{"link":[{"url":"http://www.bodden.de/pubs/krueger20cognicryptgen.pdf","relation":"confirmation"}]},"page":"185-198","citation":{"apa":"Krüger, S., Ali, K., &#38; Bodden, E. (2020). CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs. <i>International Symposium on Code Generation and Optimization (CGO)</i>, 185–198.","bibtex":"@inproceedings{Krüger_Ali_Bodden_2020, title={CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs}, booktitle={International Symposium on Code Generation and Optimization (CGO)}, author={Krüger, Stefan and Ali, Karim and Bodden, Eric}, year={2020}, pages={185–198} }","mla":"Krüger, Stefan, et al. “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.” <i>International Symposium on Code Generation and Optimization (CGO)</i>, 2020, pp. 185–98.","short":"S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.","chicago":"Krüger, Stefan, Karim Ali, and Eric Bodden. “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.” In <i>International Symposium on Code Generation and Optimization (CGO)</i>, 185–98, 2020.","ieee":"S. Krüger, K. Ali, and E. Bodden, “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs,” in <i>International Symposium on Code Generation and Optimization (CGO)</i>, 2020, pp. 185–198.","ama":"Krüger S, Ali K, Bodden E. CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs. In: <i>International Symposium on Code Generation and Optimization (CGO)</i>. ; 2020:185-198."},"year":"2020","department":[{"_id":"76"}],"user_id":"5786","_id":"20512","language":[{"iso":"eng"}],"publication":"International Symposium on Code Generation and Optimization (CGO)","type":"conference","status":"public"},{"date_created":"2020-11-26T09:02:19Z","author":[{"first_name":"Stefan","full_name":"Krüger, Stefan","last_name":"Krüger"}],"supervisor":[{"first_name":"Eric","id":"59256","full_name":"Bodden, Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647"}],"date_updated":"2022-01-06T06:54:29Z","publisher":"Universitaetsbibliothek Paderborn","main_file_link":[{"url":"https://digital.ub.uni-paderborn.de/hs/document/preview/3500836"}],"title":"CogniCrypt -- The Secure Integration of Cryptographic Software","citation":{"mla":"Krüger, Stefan. <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>. Universitaetsbibliothek Paderborn, 2020.","short":"S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.","bibtex":"@book{Krüger_2020, title={CogniCrypt -- The Secure Integration of Cryptographic Software}, publisher={Universitaetsbibliothek Paderborn}, author={Krüger, Stefan}, year={2020} }","apa":"Krüger, S. (2020). <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>. Universitaetsbibliothek Paderborn.","ama":"Krüger S. <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>. Universitaetsbibliothek Paderborn; 2020.","chicago":"Krüger, Stefan. <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>. Universitaetsbibliothek Paderborn, 2020.","ieee":"S. Krüger, <i>CogniCrypt -- The Secure Integration of Cryptographic Software</i>. Universitaetsbibliothek Paderborn, 2020."},"year":"2020","user_id":"5786","department":[{"_id":"76"}],"_id":"20513","language":[{"iso":"eng"}],"type":"dissertation","status":"public","abstract":[{"text":"Frühere Studien haben empirisch offenbart, dass Fehlbenutzungen von kryptographischen APIs in Softwareanwendungen weitverbreitet sind. Dies geschieht vor allem, weil Software-Entwickler_innen aufgrund schlechten API-Designs und fehlenden Kryptographiewissens Probleme bekommen, wenn sie versuchen kryptographische Features zu implementieren. Die Literatur liefert mehrere Ansätze und Vorschläge diese Probleme zu lösen, aber alle scheitern schlussendlich auf die eine oder andere Weise daran die Anforderungen der Entwickler_innenzu erfüllen. Das Resultat ist eine insgesamt lückenhafte Landschaft verschiedener nur wenigkomplementärer Ansätze.In dieser Arbeit adressieren wir das Problem kryptographischer Fehlbenutzungen systematischer durch CogniCrypt. CogniCrypt integriert verschiedene Arten von Tool Supportin einen gemeinsamen Ansatz, der Entwickler_innen davon befreit wissen zu müssen, wie diese APIs benutzt werden müssen. Zentral für unseren Ansatz ist CrySL, eine Beschreibungssprache,die die kognitive Lücke zwischen Kryptographie-Expert_innen und Software-Entwickler_innenüberbrückt. CrySL ermöglicht es Kryptographie-Expert_innen zu spezifizeren, wie die APIs,die sie bereitstellen, richtig benutzt werden. Wir haben einen Compiler für CrySL implementiert, der es erlaubt auf CrySL-Spezifikationen aufbauenden Tool Support zu entwickeln. Wir haben weiterhin die statische Analyse CogniCrypt_SAST und den Code-Generator CogniCrypt_GEN entwickelt. Schlussendlich haben wir CogniCrypt prototypisch implementiert und diesen Prototyp in einem kontrollierten Experiment evaluiert.\r\n","lang":"ger"}]},{"article_number":"2","language":[{"iso":"eng"}],"_id":"20514","department":[{"_id":"66"},{"_id":"534"}],"user_id":"8447","status":"public","publication":"ACM SIGWEB Newsletter","type":"conference","title":"Model-driven engineering and usability evaluation of self-adaptive user interfaces","doi":"https://doi.org/10.1145/3427478.3427480","publisher":"ACM","date_updated":"2022-01-06T06:54:29Z","author":[{"first_name":"Enes","full_name":"Yigitbas, Enes","id":"8447","orcid":"0000-0002-5967-833X","last_name":"Yigitbas"}],"date_created":"2020-11-26T09:22:23Z","year":"2020","citation":{"ama":"Yigitbas E. Model-driven engineering and usability evaluation of self-adaptive user interfaces. In: <i>ACM SIGWEB Newsletter</i>. ACM; 2020. doi:<a href=\"https://doi.org/10.1145/3427478.3427480\">https://doi.org/10.1145/3427478.3427480</a>","ieee":"E. Yigitbas, “Model-driven engineering and usability evaluation of self-adaptive user interfaces,” in <i>ACM SIGWEB Newsletter</i>, 2020.","chicago":"Yigitbas, Enes. “Model-Driven Engineering and Usability Evaluation of Self-Adaptive User Interfaces.” In <i>ACM SIGWEB Newsletter</i>. ACM, 2020. <a href=\"https://doi.org/10.1145/3427478.3427480\">https://doi.org/10.1145/3427478.3427480</a>.","apa":"Yigitbas, E. (2020). Model-driven engineering and usability evaluation of self-adaptive user interfaces. In <i>ACM SIGWEB Newsletter</i>. ACM. <a href=\"https://doi.org/10.1145/3427478.3427480\">https://doi.org/10.1145/3427478.3427480</a>","short":"E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.","mla":"Yigitbas, Enes. “Model-Driven Engineering and Usability Evaluation of Self-Adaptive User Interfaces.” <i>ACM SIGWEB Newsletter</i>, 2, ACM, 2020, doi:<a href=\"https://doi.org/10.1145/3427478.3427480\">https://doi.org/10.1145/3427478.3427480</a>.","bibtex":"@inproceedings{Yigitbas_2020, title={Model-driven engineering and usability evaluation of self-adaptive user interfaces}, DOI={<a href=\"https://doi.org/10.1145/3427478.3427480\">https://doi.org/10.1145/3427478.3427480</a>}, number={2}, booktitle={ACM SIGWEB Newsletter}, publisher={ACM}, author={Yigitbas, Enes}, year={2020} }"}},{"status":"public","type":"conference","publication":"ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"_id":"20518","citation":{"short":"T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.","mla":"Koch, Thorsten, et al. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.” <i>ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)</i>, ACM, 2020, doi:<a href=\"https://doi.org/10.1145/3365438.3410946\">10.1145/3365438.3410946</a>.","bibtex":"@inproceedings{Koch_Dziwok_Holtmann_Bodden_2020, title={Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers}, DOI={<a href=\"https://doi.org/10.1145/3365438.3410946\">10.1145/3365438.3410946</a>}, booktitle={ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)}, publisher={ACM}, author={Koch, Thorsten and Dziwok, Stefan and Holtmann, Jörg and Bodden, Eric}, year={2020} }","apa":"Koch, T., Dziwok, S., Holtmann, J., &#38; Bodden, E. (2020). Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. <i>ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)</i>. <a href=\"https://doi.org/10.1145/3365438.3410946\">https://doi.org/10.1145/3365438.3410946</a>","ama":"Koch T, Dziwok S, Holtmann J, Bodden E. Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. In: <i>ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)</i>. ACM; 2020. doi:<a href=\"https://doi.org/10.1145/3365438.3410946\">10.1145/3365438.3410946</a>","ieee":"T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: <a href=\"https://doi.org/10.1145/3365438.3410946\">10.1145/3365438.3410946</a>.","chicago":"Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.” In <i>ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)</i>. ACM, 2020. <a href=\"https://doi.org/10.1145/3365438.3410946\">https://doi.org/10.1145/3365438.3410946</a>."},"year":"2020","doi":"10.1145/3365438.3410946","title":"Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers","date_created":"2020-11-26T10:19:54Z","author":[{"first_name":"Thorsten","last_name":"Koch","id":"13616","full_name":"Koch, Thorsten"},{"first_name":"Stefan","last_name":"Dziwok","orcid":"http://orcid.org/0000-0002-8679-6673","id":"3901","full_name":"Dziwok, Stefan"},{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg","id":"3875"},{"id":"59256","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric"}],"publisher":"ACM","date_updated":"2022-01-06T06:54:29Z"},{"citation":{"apa":"Gerking, C. (2020). <i>Model-Driven Information Flow Security Engineering for Cyber-Physical Systems</i>. Paderborn University. <a href=\"https://doi.org/10.17619/UNIPB/1-1033\">https://doi.org/10.17619/UNIPB/1-1033</a>","mla":"Gerking, Christopher. <i>Model-Driven Information Flow Security Engineering for Cyber-Physical Systems</i>. Paderborn University, 2020, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1033\">10.17619/UNIPB/1-1033</a>.","short":"C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020.","bibtex":"@book{Gerking_2020, title={Model-Driven Information Flow Security Engineering for Cyber-Physical Systems}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-1033\">10.17619/UNIPB/1-1033</a>}, publisher={Paderborn University}, author={Gerking, Christopher}, year={2020} }","ama":"Gerking C. <i>Model-Driven Information Flow Security Engineering for Cyber-Physical Systems</i>. Paderborn University; 2020. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1033\">10.17619/UNIPB/1-1033</a>","chicago":"Gerking, Christopher. <i>Model-Driven Information Flow Security Engineering for Cyber-Physical Systems</i>. Paderborn University, 2020. <a href=\"https://doi.org/10.17619/UNIPB/1-1033\">https://doi.org/10.17619/UNIPB/1-1033</a>.","ieee":"C. Gerking, <i>Model-Driven Information Flow Security Engineering for Cyber-Physical Systems</i>. Paderborn University, 2020."},"year":"2020","author":[{"first_name":"Christopher","last_name":"Gerking","full_name":"Gerking, Christopher"}],"date_created":"2020-11-26T10:37:17Z","supervisor":[{"first_name":"Eric","id":"59256","full_name":"Bodden, Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647"}],"publisher":"Paderborn University","date_updated":"2022-01-06T06:54:29Z","doi":"10.17619/UNIPB/1-1033","title":"Model-Driven Information Flow Security Engineering for Cyber-Physical Systems","type":"dissertation","status":"public","department":[{"_id":"76"}],"user_id":"5786","_id":"20521","language":[{"iso":"eng"}]},{"language":[{"iso":"ger"}],"department":[{"_id":"563"}],"user_id":"43136","_id":"20568","status":"public","editor":[{"first_name":"Birgit","full_name":"Buchholz, Birgit","last_name":"Buchholz"},{"first_name":"Matthias","full_name":"Bürger, Matthias","last_name":"Bürger"}],"publication":"Der Geschäftsmodell-Toolguide ","popular_science":"1","type":"book_chapter","main_file_link":[{"open_access":"1","url":"https://www.campus.de/e-books/business/management-unternehmensfuehrung/der_geschaeftsmodell_toolguide-16606.html"}],"title":"GEMINI-Modellierungssprache für Wertschöpfungssysteme","date_created":"2020-12-01T14:23:53Z","author":[{"first_name":"Jannik","last_name":"Reinhold","id":"33669","full_name":"Reinhold, Jannik"},{"id":"43136","full_name":"Koldewey, Christian","last_name":"Koldewey","orcid":"https://orcid.org/0000-0001-7992-6399","first_name":"Christian"},{"last_name":"Dumitrescu","id":"16190","full_name":"Dumitrescu, Roman","first_name":"Roman"}],"oa":"1","publisher":"Campus Verlag","date_updated":"2022-01-06T06:54:30Z","page":"52-56","citation":{"ama":"Reinhold J, Koldewey C, Dumitrescu R. GEMINI-Modellierungssprache für Wertschöpfungssysteme. In: Buchholz B, Bürger M, eds. <i>Der Geschäftsmodell-Toolguide </i>. Frankfurt am Main: Campus Verlag; 2020:52-56.","chicago":"Reinhold, Jannik, Christian Koldewey, and Roman Dumitrescu. “GEMINI-Modellierungssprache für Wertschöpfungssysteme.” In <i>Der Geschäftsmodell-Toolguide </i>, edited by Birgit Buchholz and Matthias Bürger, 52–56. Frankfurt am Main: Campus Verlag, 2020.","ieee":"J. Reinhold, C. Koldewey, and R. Dumitrescu, “GEMINI-Modellierungssprache für Wertschöpfungssysteme,” in <i>Der Geschäftsmodell-Toolguide </i>, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 52–56.","short":"J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.","mla":"Reinhold, Jannik, et al. “GEMINI-Modellierungssprache für Wertschöpfungssysteme.” <i>Der Geschäftsmodell-Toolguide </i>, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 52–56.","bibtex":"@inbook{Reinhold_Koldewey_Dumitrescu_2020, place={Frankfurt am Main}, title={GEMINI-Modellierungssprache für Wertschöpfungssysteme}, booktitle={Der Geschäftsmodell-Toolguide }, publisher={Campus Verlag}, author={Reinhold, Jannik and Koldewey, Christian and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={52–56} }","apa":"Reinhold, J., Koldewey, C., &#38; Dumitrescu, R. (2020). GEMINI-Modellierungssprache für Wertschöpfungssysteme. In B. Buchholz &#38; M. Bürger (Eds.), <i>Der Geschäftsmodell-Toolguide </i> (pp. 52–56). Frankfurt am Main: Campus Verlag."},"place":"Frankfurt am Main","year":"2020","publication_status":"published"},{"language":[{"iso":"ger"}],"_id":"20570","user_id":"43136","department":[{"_id":"563"}],"editor":[{"first_name":"Birgit","full_name":"Buchholz, Birgit","last_name":"Buchholz"},{"full_name":"Bürger, Matthias","last_name":"Bürger","first_name":"Matthias"}],"status":"public","type":"book_chapter","popular_science":"1","publication":"Der Geschäftsmodell-Toolguide","title":"GEMINI-Geschäftsmodellmuster-Kartenset","main_file_link":[{"url":"https://www.campus.de/e-books/business/management-unternehmensfuehrung/der_geschaeftsmodell_toolguide-16606.html","open_access":"1"}],"publisher":"Campus Verlag","date_updated":"2022-01-06T06:54:30Z","oa":"1","date_created":"2020-12-01T14:26:07Z","author":[{"first_name":"Christian","id":"43136","full_name":"Koldewey, Christian","last_name":"Koldewey","orcid":"https://orcid.org/0000-0001-7992-6399"},{"first_name":"Jannik","last_name":"Reinhold","full_name":"Reinhold, Jannik","id":"33669"},{"last_name":"Dumitrescu","full_name":"Dumitrescu, Roman","id":"16190","first_name":"Roman"}],"year":"2020","place":"Frankfurt am Main","citation":{"ama":"Koldewey C, Reinhold J, Dumitrescu R. GEMINI-Geschäftsmodellmuster-Kartenset. In: Buchholz B, Bürger M, eds. <i>Der Geschäftsmodell-Toolguide</i>. Frankfurt am Main: Campus Verlag; 2020:61-66.","chicago":"Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “GEMINI-Geschäftsmodellmuster-Kartenset.” In <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, 61–66. Frankfurt am Main: Campus Verlag, 2020.","ieee":"C. Koldewey, J. Reinhold, and R. Dumitrescu, “GEMINI-Geschäftsmodellmuster-Kartenset,” in <i>Der Geschäftsmodell-Toolguide</i>, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 61–66.","apa":"Koldewey, C., Reinhold, J., &#38; Dumitrescu, R. (2020). GEMINI-Geschäftsmodellmuster-Kartenset. In B. Buchholz &#38; M. Bürger (Eds.), <i>Der Geschäftsmodell-Toolguide</i> (pp. 61–66). Frankfurt am Main: Campus Verlag.","bibtex":"@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={GEMINI-Geschäftsmodellmuster-Kartenset}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={61–66} }","mla":"Koldewey, Christian, et al. “GEMINI-Geschäftsmodellmuster-Kartenset.” <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 61–66.","short":"C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 61–66."},"page":"61-66","publication_status":"published"},{"user_id":"43136","department":[{"_id":"563"}],"_id":"20571","language":[{"iso":"ger"}],"type":"book_chapter","popular_science":"1","publication":"Der Geschäftsmodell-Toolguide","status":"public","editor":[{"first_name":"Birgit","full_name":"Buchholz, Birgit","last_name":"Buchholz"},{"first_name":"Matthias","full_name":"Bürger, Matthias","last_name":"Bürger"}],"author":[{"id":"43136","full_name":"Koldewey, Christian","orcid":"https://orcid.org/0000-0001-7992-6399","last_name":"Koldewey","first_name":"Christian"},{"first_name":"Jannik","id":"33669","full_name":"Reinhold, Jannik","last_name":"Reinhold"},{"id":"16190","full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman"}],"date_created":"2020-12-01T14:27:40Z","oa":"1","publisher":"Campus Verlag","date_updated":"2022-01-06T06:54:30Z","main_file_link":[{"open_access":"1","url":"https://www.campus.de/e-books/business/management-unternehmensfuehrung/der_geschaeftsmodell_toolguide-16606.html"}],"title":"Geschäftsmodellvalidierung","publication_status":"published","citation":{"short":"C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 106–111.","bibtex":"@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={Geschäftsmodellvalidierung}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={106–111} }","mla":"Koldewey, Christian, et al. “Geschäftsmodellvalidierung.” <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 106–11.","apa":"Koldewey, C., Reinhold, J., &#38; Dumitrescu, R. (2020). Geschäftsmodellvalidierung. In B. Buchholz &#38; M. Bürger (Eds.), <i>Der Geschäftsmodell-Toolguide</i> (pp. 106–111). Frankfurt am Main: Campus Verlag.","ama":"Koldewey C, Reinhold J, Dumitrescu R. Geschäftsmodellvalidierung. In: Buchholz B, Bürger M, eds. <i>Der Geschäftsmodell-Toolguide</i>. Frankfurt am Main: Campus Verlag; 2020:106-111.","chicago":"Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “Geschäftsmodellvalidierung.” In <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, 106–11. Frankfurt am Main: Campus Verlag, 2020.","ieee":"C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodellvalidierung,” in <i>Der Geschäftsmodell-Toolguide</i>, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 106–111."},"page":"106 - 111","year":"2020","place":"Frankfurt am Main"},{"editor":[{"full_name":"Buchholz, Birgit","last_name":"Buchholz","first_name":"Birgit"},{"first_name":"Matthias","last_name":"Bürger","full_name":"Bürger, Matthias"}],"status":"public","type":"book_chapter","popular_science":"1","publication":"Der Geschäftsmodell-Toolguide","language":[{"iso":"ger"}],"_id":"20573","user_id":"43136","department":[{"_id":"563"}],"year":"2020","place":"Frankfurt am Main","citation":{"apa":"Koldewey, C., Reinhold, J., &#38; Dumitrescu, R. (2020). Geschäftsmodell-Roadmapping. In B. Buchholz &#38; M. Bürger (Eds.), <i>Der Geschäftsmodell-Toolguide</i> (pp. 138–143). Frankfurt am Main: Campus Verlag.","short":"C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 138–143.","bibtex":"@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={Geschäftsmodell-Roadmapping}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={138–143} }","mla":"Koldewey, Christian, et al. “Geschäftsmodell-Roadmapping.” <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 138–43.","ieee":"C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodell-Roadmapping,” in <i>Der Geschäftsmodell-Toolguide</i>, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 138–143.","chicago":"Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “Geschäftsmodell-Roadmapping.” In <i>Der Geschäftsmodell-Toolguide</i>, edited by Birgit Buchholz and Matthias Bürger, 138–43. Frankfurt am Main: Campus Verlag, 2020.","ama":"Koldewey C, Reinhold J, Dumitrescu R. Geschäftsmodell-Roadmapping. In: Buchholz B, Bürger M, eds. <i>Der Geschäftsmodell-Toolguide</i>. Frankfurt am Main: Campus Verlag; 2020:138-143."},"page":"138 - 143","publication_status":"published","title":"Geschäftsmodell-Roadmapping","main_file_link":[{"open_access":"1","url":"https://www.campus.de/e-books/business/management-unternehmensfuehrung/der_geschaeftsmodell_toolguide-16606.html"}],"oa":"1","publisher":"Campus Verlag","date_updated":"2022-01-06T06:54:30Z","author":[{"first_name":"Christian","full_name":"Koldewey, Christian","id":"43136","orcid":"https://orcid.org/0000-0001-7992-6399","last_name":"Koldewey"},{"first_name":"Jannik","last_name":"Reinhold","full_name":"Reinhold, Jannik","id":"33669"},{"id":"16190","full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman"}],"date_created":"2020-12-01T14:30:03Z"},{"type":"report","status":"public","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_id":"20713","access_level":"closed","file_name":"main.pdf","file_size":683576,"date_created":"2020-12-14T07:39:07Z","creator":"pdschbrt","date_updated":"2020-12-14T07:39:07Z"}],"department":[{"_id":"76"}],"user_id":"477","_id":"20712","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"file_date_updated":"2020-12-14T07:39:07Z","language":[{"iso":"eng"}],"ddc":["000"],"has_accepted_license":"1","citation":{"ieee":"P. Schubert, E. Bodden, and B. Hermann, <i>Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries</i>. 2020.","chicago":"Schubert, Philipp, Eric Bodden, and Ben Hermann. <i>Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries</i>, 2020.","ama":"Schubert P, Bodden E, Hermann B. <i>Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries</i>.; 2020.","apa":"Schubert, P., Bodden, E., &#38; Hermann, B. (2020). <i>Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries</i>.","bibtex":"@book{Schubert_Bodden_Hermann_2020, title={Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries}, author={Schubert, Philipp and Bodden, Eric and Hermann, Ben}, year={2020} }","short":"P. Schubert, E. Bodden, B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.","mla":"Schubert, Philipp, et al. <i>Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries</i>. 2020."},"year":"2020","author":[{"first_name":"Philipp","last_name":"Schubert","orcid":"0000-0002-8674-1859","id":"60543","full_name":"Schubert, Philipp"},{"last_name":"Bodden","orcid":"0000-0003-3470-3647","id":"59256","full_name":"Bodden, Eric","first_name":"Eric"},{"last_name":"Hermann","orcid":"0000-0001-9848-2017","id":"66173","full_name":"Hermann, Ben","first_name":"Ben"}],"date_created":"2020-12-14T07:44:11Z","date_updated":"2022-01-06T06:54:34Z","title":"Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries"},{"publication_status":"accepted","has_accepted_license":"1","citation":{"apa":"Witschen, L. M., Wiersema, T., &#38; Platzner, M. (n.d.). Search Space Characterization for AxC Synthesis. <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>.","bibtex":"@article{Witschen_Wiersema_Platzner, title={Search Space Characterization for AxC Synthesis}, journal={Fifth Workshop on Approximate Computing (AxC 2020)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco} }","short":"L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing (AxC 2020) (n.d.).","mla":"Witschen, Linus Matthias, et al. “Search Space Characterization for AxC Synthesis.” <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>.","ieee":"L. M. Witschen, T. Wiersema, and M. Platzner, “Search Space Characterization for AxC Synthesis,” <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>. .","chicago":"Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Search Space Characterization for AxC Synthesis.” <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>, n.d.","ama":"Witschen LM, Wiersema T, Platzner M. Search Space Characterization for AxC Synthesis. <i>Fifth Workshop on Approximate Computing (AxC 2020)</i>."},"page":"2","year":"2020","author":[{"first_name":"Linus Matthias","full_name":"Witschen, Linus Matthias","id":"49051","last_name":"Witschen"},{"full_name":"Wiersema, Tobias","id":"3118","last_name":"Wiersema","first_name":"Tobias"},{"first_name":"Marco","id":"398","full_name":"Platzner, Marco","last_name":"Platzner"}],"date_created":"2020-12-15T15:13:49Z","date_updated":"2022-01-06T06:54:35Z","title":"Search Space Characterization for AxC Synthesis","type":"preprint","publication":"Fifth Workshop on Approximate Computing (AxC 2020)","file":[{"content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2020-12-15T15:11:06Z","creator":"witschen","date_created":"2020-12-15T15:11:06Z","file_size":250870,"file_id":"20749","access_level":"closed","file_name":"witschen20_axc.pdf"}],"status":"public","abstract":[{"lang":"eng","text":"On the circuit level, the design paradigm Approximate Computing seeks to trade off computational accuracy against a target metric, e.g., energy consumption. This trade-off is possible for many applications due to their inherent resiliency against inaccuracies.\r\nIn the past, several automated approximation frameworks have been presented, which either utilize designated approximation techniques or libraries to replace approximable circuit parts with inaccurate versions. The frameworks invoke a search algorithm to iteratively explore the search space of performance degraded circuits, and validate their quality individually. \r\nIn this paper, we propose to reverse this procedure. Rather than exploring the search space, we delineate the approximate parts of the search space which are guaranteed to lead to valid approximate circuits. Our methodology is supported by formal verification and independent of approximation techniques. Eventually, the user is provided with quality bounds of the individual approximable circuit parts. Consequently, our approach guarantees that any approximate circuit which implements these parts within the determined quality constraints satisfies the global quality constraints, superseding a subsequent quality verification.\r\nIn our experimental results, we present the runtimes of our approach."}],"user_id":"3118","department":[{"_id":"78"}],"project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901","_id":"1"}],"_id":"20748","file_date_updated":"2020-12-15T15:11:06Z","language":[{"iso":"eng"}],"ddc":["000"]},{"citation":{"apa":"Lienen, C., Platzner, M., &#38; Rinner, B. (2020). ReconROS: Flexible Hardware Acceleration for ROS2 Applications. In <i>Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)</i>.","bibtex":"@inproceedings{Lienen_Platzner_Rinner_2020, title={ReconROS: Flexible Hardware Acceleration for ROS2 Applications}, booktitle={Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)}, author={Lienen, Christian and Platzner, Marco and Rinner, Bernhard}, year={2020} }","short":"C. Lienen, M. Platzner, B. Rinner, in: Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT), 2020.","mla":"Lienen, Christian, et al. “ReconROS: Flexible Hardware Acceleration for ROS2 Applications.” <i>Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)</i>, 2020.","ieee":"C. Lienen, M. Platzner, and B. Rinner, “ReconROS: Flexible Hardware Acceleration for ROS2 Applications,” in <i>Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)</i>, 2020.","chicago":"Lienen, Christian, Marco Platzner, and Bernhard Rinner. “ReconROS: Flexible Hardware Acceleration for ROS2 Applications.” In <i>Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)</i>, 2020.","ama":"Lienen C, Platzner M, Rinner B. ReconROS: Flexible Hardware Acceleration for ROS2 Applications. In: <i>Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)</i>. ; 2020."},"year":"2020","conference":{"name":"International Conference on Field Programmable Technology (ICFPT)","start_date":"2020-12-09","end_date":"2020-12-11"},"title":"ReconROS: Flexible Hardware Acceleration for ROS2 Applications","date_created":"2020-12-16T05:20:01Z","author":[{"full_name":"Lienen, Christian","id":"60323","last_name":"Lienen","first_name":"Christian"},{"first_name":"Marco","full_name":"Platzner, Marco","id":"398","last_name":"Platzner"},{"last_name":"Rinner","full_name":"Rinner, Bernhard","first_name":"Bernhard"}],"date_updated":"2022-01-06T06:54:35Z","status":"public","type":"conference","publication":"Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)","language":[{"iso":"eng"}],"user_id":"398","department":[{"_id":"78"}],"_id":"20750"},{"has_accepted_license":"1","citation":{"ama":"Feldmann M, Hinnenthal K, Scheideler C. Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs. In: <i>Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2020.31\">10.4230/LIPIcs.OPODIS.2020.31</a>","ieee":"M. Feldmann, K. Hinnenthal, and C. Scheideler, “Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs,” in <i>Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)</i>, 2020.","chicago":"Feldmann, Michael, Kristian Hinnenthal, and Christian Scheideler. “Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs.” In <i>Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. <a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2020.31\">https://doi.org/10.4230/LIPIcs.OPODIS.2020.31</a>.","mla":"Feldmann, Michael, et al. “Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs.” <i>Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)</i>, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2020.31\">10.4230/LIPIcs.OPODIS.2020.31</a>.","short":"M. Feldmann, K. Hinnenthal, C. Scheideler, in: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.","bibtex":"@inproceedings{Feldmann_Hinnenthal_Scheideler_2020, title={Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs}, DOI={<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2020.31\">10.4230/LIPIcs.OPODIS.2020.31</a>}, booktitle={Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, author={Feldmann, Michael and Hinnenthal, Kristian and Scheideler, Christian}, year={2020} }","apa":"Feldmann, M., Hinnenthal, K., &#38; Scheideler, C. (2020). Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs. In <i>Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2020.31\">https://doi.org/10.4230/LIPIcs.OPODIS.2020.31</a>"},"author":[{"first_name":"Michael","last_name":"Feldmann","full_name":"Feldmann, Michael","id":"23538"},{"first_name":"Kristian","last_name":"Hinnenthal","full_name":"Hinnenthal, Kristian","id":"32229"},{"id":"20792","full_name":"Scheideler, Christian","last_name":"Scheideler","first_name":"Christian"}],"date_updated":"2022-01-06T06:54:36Z","doi":"10.4230/LIPIcs.OPODIS.2020.31","type":"conference","status":"public","department":[{"_id":"79"}],"user_id":"23538","_id":"20755","project":[{"name":"SFB 901 - Project Area A","_id":"2"},{"name":"SFB 901 - Subproject A1","_id":"5"},{"name":"SFB 901","_id":"1"}],"file_date_updated":"2020-12-16T10:18:50Z","year":"2020","date_created":"2020-12-16T10:20:18Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","title":"Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs","publication":"Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)","file":[{"content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2020-12-16T10:18:50Z","creator":"mfeldma2","date_created":"2020-12-16T10:18:50Z","file_size":867373,"file_id":"20756","access_level":"closed","file_name":"Fast_Hybrid_Network_Algorithms_for_Shortest_Paths_in_Sparse_Graphs.pdf"}],"abstract":[{"text":"We consider the problem of computing shortest paths in \\emph{hybrid networks}, in which nodes can make use of different communication modes. For example, mobile phones may use ad-hoc connections via Bluetooth or Wi-Fi in addition to the cellular network to solve tasks more efficiently. Like in this case, the different communication modes may differ considerably in range, bandwidth, and flexibility. We build upon the model of Augustine et al. [SODA '20], which captures these differences by a \\emph{local} and a \\emph{global} mode. Specifically, the local edges model a fixed communication network in which $O(1)$ messages of size $O(\\log n)$ can be sent over every edge in each synchronous round. The global edges form a clique, but nodes are only allowed to send and receive a total of at most $O(\\log n)$ messages over global edges, which restricts the nodes to use these edges only very sparsely.\r\n\r\nWe demonstrate the power of hybrid networks by presenting algorithms to compute Single-Source Shortest Paths and the diameter very efficiently in \\emph{sparse graphs}. Specifically, we present exact $O(\\log n)$ time algorithms for cactus graphs (i.e., graphs in which each edge is contained in at most one cycle), and $3$-approximations for graphs that have at most $n + O(n^{1/3})$ edges and arboricity $O(\\log n)$. For these graph classes, our algorithms provide exponentially faster solutions than the best known algorithms for general graphs in this model.\r\nBeyond shortest paths, we also provide a variety of useful tools and techniques for hybrid networks, which may be of independent interest.\r\n","lang":"eng"}],"external_id":{"arxiv":["2007.01191"]},"language":[{"iso":"eng"}],"ddc":["000"]},{"language":[{"iso":"eng"}],"department":[{"_id":"78"}],"user_id":"74287","_id":"20820","project":[{"_id":"1","name":"SFB 901"},{"_id":"82","name":"SFB 901 - Project Area T"},{"_id":"83","name":"SFB 901 -Subproject T1"}],"status":"public","type":"bachelorsthesis","title":"Implementing Machine Learning Functions as PYNQ FPGA Overlays","date_created":"2020-12-21T13:59:55Z","supervisor":[{"first_name":"Lennart","last_name":"Clausing","orcid":"0000-0003-3789-6034","id":"74287","full_name":"Clausing, Lennart"},{"first_name":"Marco","id":"398","full_name":"Platzner, Marco","last_name":"Platzner"},{"first_name":"Christian","last_name":"Plessl","orcid":"0000-0001-5728-9982","id":"16153","full_name":"Plessl, Christian"}],"author":[{"full_name":"Thiele, Simon","last_name":"Thiele","first_name":"Simon"}],"date_updated":"2022-01-06T06:54:40Z","citation":{"ama":"Thiele S. <i>Implementing Machine Learning Functions as PYNQ FPGA Overlays</i>.; 2020.","ieee":"S. Thiele, <i>Implementing Machine Learning Functions as PYNQ FPGA Overlays</i>. 2020.","chicago":"Thiele, Simon. <i>Implementing Machine Learning Functions as PYNQ FPGA Overlays</i>, 2020.","apa":"Thiele, S. (2020). <i>Implementing Machine Learning Functions as PYNQ FPGA Overlays</i>.","mla":"Thiele, Simon. <i>Implementing Machine Learning Functions as PYNQ FPGA Overlays</i>. 2020.","short":"S. Thiele, Implementing Machine Learning Functions as PYNQ FPGA Overlays, 2020.","bibtex":"@book{Thiele_2020, title={Implementing Machine Learning Functions as PYNQ FPGA Overlays}, author={Thiele, Simon}, year={2020} }"},"year":"2020"},{"date_updated":"2022-01-06T06:54:40Z","supervisor":[{"first_name":"Lennart","id":"74287","full_name":"Clausing, Lennart","last_name":"Clausing","orcid":"0000-0003-3789-6034"},{"first_name":"Marco","id":"398","full_name":"Platzner, Marco","last_name":"Platzner"},{"first_name":"Christian","orcid":"0000-0001-5728-9982","last_name":"Plessl","full_name":"Plessl, Christian","id":"16153"}],"date_created":"2020-12-21T14:02:42Z","author":[{"full_name":"Jaganath, Vivek","last_name":"Jaganath","first_name":"Vivek"}],"title":"Extension and Evaluation of Python-based High-Level Synthesis Tool Flows","year":"2020","citation":{"chicago":"Jaganath, Vivek. <i>Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows</i>, 2020.","ieee":"V. Jaganath, <i>Extension and Evaluation of Python-based High-Level Synthesis Tool Flows</i>. 2020.","ama":"Jaganath V. <i>Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows</i>.; 2020.","short":"V. Jaganath, Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows, 2020.","mla":"Jaganath, Vivek. <i>Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows</i>. 2020.","bibtex":"@book{Jaganath_2020, title={Extension and Evaluation of Python-based High-Level Synthesis Tool Flows}, author={Jaganath, Vivek}, year={2020} }","apa":"Jaganath, V. (2020). <i>Extension and Evaluation of Python-based High-Level Synthesis Tool Flows</i>."},"project":[{"name":"SFB 901","_id":"1"},{"_id":"82","name":"SFB 901 - Project Area T"},{"_id":"83","name":"SFB 901 -Subproject T1"}],"_id":"20821","user_id":"74287","department":[{"_id":"78"}],"language":[{"iso":"eng"}],"type":"mastersthesis","status":"public"},{"status":"public","type":"journal_article","publication":"Educational Technology Research and Development","language":[{"iso":"eng"}],"_id":"20834","user_id":"21145","department":[{"_id":"67"}],"year":"2020","citation":{"chicago":"Webb, Mary E, Andrew Fluck, Johannes Magenheim, Joyce Malyn-Smith, Juliet Waters, Michelle Deschênes , and Jason Zagami. “Machine Learning for Human Learners: Opportunities, Issues, Tensions and Threats.” <i>Educational Technology Research and Development</i>, 2020, 1–22. <a href=\"https://doi.org/10.1007/s11423-020-09858-2\">https://doi.org/10.1007/s11423-020-09858-2</a>.","ieee":"M. E. Webb <i>et al.</i>, “Machine learning for human learners: opportunities, issues, tensions and threats,” <i>Educational Technology Research and Development</i>, pp. 1–22, 2020.","ama":"Webb ME, Fluck A, Magenheim J, et al. Machine learning for human learners: opportunities, issues, tensions and threats. <i>Educational Technology Research and Development</i>. 2020:1-22. doi:<a href=\"https://doi.org/10.1007/s11423-020-09858-2\">10.1007/s11423-020-09858-2</a>","mla":"Webb, Mary E., et al. “Machine Learning for Human Learners: Opportunities, Issues, Tensions and Threats.” <i>Educational Technology Research and Development</i>, Springer, 2020, pp. 1–22, doi:<a href=\"https://doi.org/10.1007/s11423-020-09858-2\">10.1007/s11423-020-09858-2</a>.","short":"M.E. Webb, A. Fluck, J. Magenheim, J. Malyn-Smith, J. Waters, M. Deschênes , J. Zagami, Educational Technology Research and Development (2020) 1–22.","bibtex":"@article{Webb_Fluck_Magenheim_Malyn-Smith_Waters_Deschênes _Zagami_2020, title={Machine learning for human learners: opportunities, issues, tensions and threats}, DOI={<a href=\"https://doi.org/10.1007/s11423-020-09858-2\">10.1007/s11423-020-09858-2</a>}, journal={Educational Technology Research and Development}, publisher={Springer}, author={Webb, Mary E and Fluck, Andrew and Magenheim, Johannes and Malyn-Smith, Joyce and Waters, Juliet and Deschênes , Michelle and Zagami, Jason}, year={2020}, pages={1–22} }","apa":"Webb, M. E., Fluck, A., Magenheim, J., Malyn-Smith, J., Waters, J., Deschênes , M., &#38; Zagami, J. (2020). Machine learning for human learners: opportunities, issues, tensions and threats. <i>Educational Technology Research and Development</i>, 1–22. <a href=\"https://doi.org/10.1007/s11423-020-09858-2\">https://doi.org/10.1007/s11423-020-09858-2</a>"},"page":"1-22","title":"Machine learning for human learners: opportunities, issues, tensions and threats","doi":"10.1007/s11423-020-09858-2","date_updated":"2022-01-06T06:54:40Z","publisher":"Springer","date_created":"2020-12-22T15:17:04Z","author":[{"first_name":"Mary E","last_name":"Webb","full_name":"Webb, Mary E"},{"last_name":"Fluck","full_name":"Fluck, Andrew","first_name":"Andrew"},{"first_name":"Johannes","full_name":"Magenheim, Johannes","last_name":"Magenheim"},{"last_name":"Malyn-Smith","full_name":"Malyn-Smith, Joyce","first_name":"Joyce"},{"last_name":"Waters","full_name":"Waters, Juliet","first_name":"Juliet"},{"full_name":"Deschênes , Michelle","last_name":"Deschênes ","first_name":"Michelle"},{"full_name":"Zagami, Jason","last_name":"Zagami","first_name":"Jason"}]},{"title":"< Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik","doi":"10.21240/mpaed/37/2020.07.08.X","date_updated":"2022-01-06T06:54:40Z","date_created":"2020-12-22T15:22:42Z","author":[{"last_name":"Magenheim","full_name":"Magenheim, Johannes","first_name":"Johannes"}],"volume":37,"year":"2020","citation":{"mla":"Magenheim, Johannes. “&#60; Big Data&#62; aus der Perspektive von Informatischer Bildung und Medienpädagogik.” <i>MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung</i>, vol. 37, 2020, pp. 139–63, doi:<a href=\"https://doi.org/10.21240/mpaed/37/2020.07.08.X\">10.21240/mpaed/37/2020.07.08.X</a>.","bibtex":"@article{Magenheim_2020, title={&#60; Big Data&#62; aus der Perspektive von Informatischer Bildung und Medienpädagogik}, volume={37}, DOI={<a href=\"https://doi.org/10.21240/mpaed/37/2020.07.08.X\">10.21240/mpaed/37/2020.07.08.X</a>}, journal={MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung}, author={Magenheim, Johannes}, year={2020}, pages={139–163} }","short":"J. Magenheim, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 37 (2020) 139–163.","apa":"Magenheim, J. (2020). &#60; Big Data&#62; aus der Perspektive von Informatischer Bildung und Medienpädagogik. <i>MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung</i>, <i>37</i>, 139–163. <a href=\"https://doi.org/10.21240/mpaed/37/2020.07.08.X\">https://doi.org/10.21240/mpaed/37/2020.07.08.X</a>","ama":"Magenheim J. &#60; Big Data&#62; aus der Perspektive von Informatischer Bildung und Medienpädagogik. <i>MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung</i>. 2020;37:139-163. doi:<a href=\"https://doi.org/10.21240/mpaed/37/2020.07.08.X\">10.21240/mpaed/37/2020.07.08.X</a>","chicago":"Magenheim, Johannes. “&#60; Big Data&#62; aus der Perspektive von Informatischer Bildung und Medienpädagogik.” <i>MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung</i> 37 (2020): 139–63. <a href=\"https://doi.org/10.21240/mpaed/37/2020.07.08.X\">https://doi.org/10.21240/mpaed/37/2020.07.08.X</a>.","ieee":"J. Magenheim, “&#60; Big Data&#62; aus der Perspektive von Informatischer Bildung und Medienpädagogik,” <i>MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung</i>, vol. 37, pp. 139–163, 2020."},"page":"139-163","intvolume":"        37","language":[{"iso":"ger"}],"_id":"20835","user_id":"21145","department":[{"_id":"67"}],"status":"public","type":"journal_article","publication":"MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung"},{"status":"public","publication":"Encyclopedia of Education and Information Technologies. Cham: Springer","type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"67"}],"user_id":"21145","_id":"20836","citation":{"ieee":"J. Magenheim and C. Schulte, “Data science education,” <i>Encyclopedia of Education and Information Technologies. Cham: Springer</i>, 2020.","chicago":"Magenheim, Johannes, and Carsten Schulte. “Data Science Education.” <i>Encyclopedia of Education and Information Technologies. Cham: Springer</i>, 2020. <a href=\"https://doi.org/10.1007/978-3-030-10576-1_253\">https://doi.org/10.1007/978-3-030-10576-1_253</a>.","ama":"Magenheim J, Schulte C. Data science education. <i>Encyclopedia of Education and Information Technologies Cham: Springer</i>. 2020. doi:<a href=\"https://doi.org/10.1007/978-3-030-10576-1_253\">10.1007/978-3-030-10576-1_253</a>","mla":"Magenheim, Johannes, and Carsten Schulte. “Data Science Education.” <i>Encyclopedia of Education and Information Technologies. Cham: Springer</i>, 2020, doi:<a href=\"https://doi.org/10.1007/978-3-030-10576-1_253\">10.1007/978-3-030-10576-1_253</a>.","bibtex":"@article{Magenheim_Schulte_2020, title={Data science education}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-10576-1_253\">10.1007/978-3-030-10576-1_253</a>}, journal={Encyclopedia of Education and Information Technologies. Cham: Springer}, author={Magenheim, Johannes and Schulte, Carsten}, year={2020} }","short":"J. Magenheim, C. Schulte, Encyclopedia of Education and Information Technologies. Cham: Springer (2020).","apa":"Magenheim, J., &#38; Schulte, C. (2020). Data science education. <i>Encyclopedia of Education and Information Technologies. Cham: Springer</i>. <a href=\"https://doi.org/10.1007/978-3-030-10576-1_253\">https://doi.org/10.1007/978-3-030-10576-1_253</a>"},"year":"2020","doi":"10.1007/978-3-030-10576-1_253","title":"Data science education","author":[{"full_name":"Magenheim, Johannes","last_name":"Magenheim","first_name":"Johannes"},{"last_name":"Schulte","full_name":"Schulte, Carsten","id":"60311","first_name":"Carsten"}],"date_created":"2020-12-22T15:26:36Z","date_updated":"2022-01-06T06:54:40Z"},{"year":"2020","page":"215-240","citation":{"ama":"Schulte C, Budde L, Winkelnkemper F. Programmieren - Lehren und Lernen mit und über Medien. In: <i>Mobile Medien Im Schulkontext</i>. Springer; 2020:215-240. doi:<a href=\"https://doi.org/10.1007/978-3-658-29039-9\">10.1007/978-3-658-29039-9</a>","chicago":"Schulte, Carsten, Lea Budde, and Felix Winkelnkemper. “Programmieren - Lehren Und Lernen Mit Und Über Medien.” In <i>Mobile Medien Im Schulkontext</i>, 215–40. Springer, 2020. <a href=\"https://doi.org/10.1007/978-3-658-29039-9\">https://doi.org/10.1007/978-3-658-29039-9</a>.","ieee":"C. Schulte, L. Budde, and F. Winkelnkemper, “Programmieren - Lehren und Lernen mit und über Medien,” in <i>Mobile Medien im Schulkontext</i>, Springer, 2020, pp. 215–240.","apa":"Schulte, C., Budde, L., &#38; Winkelnkemper, F. (2020). Programmieren - Lehren und Lernen mit und über Medien. In <i>Mobile Medien im Schulkontext</i> (pp. 215–240). Springer. <a href=\"https://doi.org/10.1007/978-3-658-29039-9\">https://doi.org/10.1007/978-3-658-29039-9</a>","mla":"Schulte, Carsten, et al. “Programmieren - Lehren Und Lernen Mit Und Über Medien.” <i>Mobile Medien Im Schulkontext</i>, Springer, 2020, pp. 215–40, doi:<a href=\"https://doi.org/10.1007/978-3-658-29039-9\">10.1007/978-3-658-29039-9</a>.","bibtex":"@inbook{Schulte_Budde_Winkelnkemper_2020, title={Programmieren - Lehren und Lernen mit und über Medien}, DOI={<a href=\"https://doi.org/10.1007/978-3-658-29039-9\">10.1007/978-3-658-29039-9</a>}, booktitle={Mobile Medien im Schulkontext}, publisher={Springer}, author={Schulte, Carsten and Budde, Lea and Winkelnkemper, Felix}, year={2020}, pages={215–240} }","short":"C. Schulte, L. Budde, F. Winkelnkemper, in: Mobile Medien Im Schulkontext, Springer, 2020, pp. 215–240."},"publisher":"Springer","date_updated":"2022-01-06T06:54:40Z","author":[{"first_name":"Carsten","full_name":"Schulte, Carsten","id":"60311","last_name":"Schulte"},{"first_name":"Lea","last_name":"Budde","full_name":"Budde, Lea","id":"32443"},{"last_name":"Winkelnkemper","full_name":"Winkelnkemper, Felix","id":"3117","first_name":"Felix"}],"date_created":"2020-12-23T09:30:05Z","title":"Programmieren - Lehren und Lernen mit und über Medien","doi":"10.1007/978-3-658-29039-9","publication":"Mobile Medien im Schulkontext","type":"book_chapter","status":"public","_id":"20840","department":[{"_id":"67"}],"user_id":"21145","language":[{"iso":"eng"}]},{"department":[{"_id":"64"}],"user_id":"13291","_id":"20888","project":[{"name":"Soft-Clustering - Von Heuristiken zu Approximationsalgorithmen","_id":"45"}],"language":[{"iso":"eng"}],"publication":"ACM Transactions on Algorithms","type":"journal_article","status":"public","volume":16,"date_created":"2021-01-08T08:51:42Z","author":[{"last_name":"Blömer","id":"23","full_name":"Blömer, Johannes","first_name":"Johannes"},{"last_name":"Brauer","id":"13291","full_name":"Brauer, Sascha","first_name":"Sascha"},{"last_name":"Bujna","full_name":"Bujna, Kathrin","first_name":"Kathrin"}],"date_updated":"2022-01-06T06:54:41Z","doi":"10.1145/3409385","title":"A Complexity Theoretical Study of Fuzzy K-Means","issue":"4","publication_identifier":{"issn":["1549-6325","1549-6333"]},"publication_status":"published","intvolume":"        16","page":"1-25","citation":{"chicago":"Blömer, Johannes, Sascha Brauer, and Kathrin Bujna. “A Complexity Theoretical Study of Fuzzy K-Means.” <i>ACM Transactions on Algorithms</i> 16, no. 4 (2020): 1–25. <a href=\"https://doi.org/10.1145/3409385\">https://doi.org/10.1145/3409385</a>.","ieee":"J. Blömer, S. Brauer, and K. Bujna, “A Complexity Theoretical Study of Fuzzy K-Means,” <i>ACM Transactions on Algorithms</i>, vol. 16, no. 4, pp. 1–25, 2020.","ama":"Blömer J, Brauer S, Bujna K. A Complexity Theoretical Study of Fuzzy K-Means. <i>ACM Transactions on Algorithms</i>. 2020;16(4):1-25. doi:<a href=\"https://doi.org/10.1145/3409385\">10.1145/3409385</a>","bibtex":"@article{Blömer_Brauer_Bujna_2020, title={A Complexity Theoretical Study of Fuzzy K-Means}, volume={16}, DOI={<a href=\"https://doi.org/10.1145/3409385\">10.1145/3409385</a>}, number={4}, journal={ACM Transactions on Algorithms}, author={Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin}, year={2020}, pages={1–25} }","short":"J. Blömer, S. Brauer, K. Bujna, ACM Transactions on Algorithms 16 (2020) 1–25.","mla":"Blömer, Johannes, et al. “A Complexity Theoretical Study of Fuzzy K-Means.” <i>ACM Transactions on Algorithms</i>, vol. 16, no. 4, 2020, pp. 1–25, doi:<a href=\"https://doi.org/10.1145/3409385\">10.1145/3409385</a>.","apa":"Blömer, J., Brauer, S., &#38; Bujna, K. (2020). A Complexity Theoretical Study of Fuzzy K-Means. <i>ACM Transactions on Algorithms</i>, <i>16</i>(4), 1–25. <a href=\"https://doi.org/10.1145/3409385\">https://doi.org/10.1145/3409385</a>"},"year":"2020"}]