Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5786 Publications
2020 | Dissertation | LibreCat-ID: 20513
Krüger, S. (2020). CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20514
Yigitbas, E. (2020). Model-driven engineering and usability evaluation of self-adaptive user interfaces. In ACM SIGWEB Newsletter. ACM. https://doi.org/10.1145/3427478.3427480
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, T., Dziwok, S., Holtmann, J., & Bodden, E. (2020). Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). https://doi.org/10.1145/3365438.3410946
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 20521
Gerking, C. (2020). Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. Paderborn University. https://doi.org/10.17619/UNIPB/1-1033
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20568 | 
Reinhold, J., Koldewey, C., & Dumitrescu, R. (2020). GEMINI-Modellierungssprache für Wertschöpfungssysteme. In B. Buchholz & M. Bürger (Eds.), Der Geschäftsmodell-Toolguide (pp. 52–56). Frankfurt am Main: Campus Verlag.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
Koldewey, C., Reinhold, J., & Dumitrescu, R. (2020). GEMINI-Geschäftsmodellmuster-Kartenset. In B. Buchholz & M. Bürger (Eds.), Der Geschäftsmodell-Toolguide (pp. 61–66). Frankfurt am Main: Campus Verlag.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
Koldewey, C., Reinhold, J., & Dumitrescu, R. (2020). Geschäftsmodellvalidierung. In B. Buchholz & M. Bürger (Eds.), Der Geschäftsmodell-Toolguide (pp. 106–111). Frankfurt am Main: Campus Verlag.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20573 |
Koldewey, C., Reinhold, J., & Dumitrescu, R. (2020). Geschäftsmodell-Roadmapping. In B. Buchholz & M. Bürger (Eds.), Der Geschäftsmodell-Toolguide (pp. 138–143). Frankfurt am Main: Campus Verlag.
LibreCat
| Download (ext.)
2020 | Report | LibreCat-ID: 20712
Schubert, P., Bodden, E., & Hermann, B. (2020). Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries.
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
Witschen, L. M., Wiersema, T., & Platzner, M. (n.d.). Search Space Characterization for AxC Synthesis. Fifth Workshop on Approximate Computing (AxC 2020).
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20750
Lienen, C., Platzner, M., & Rinner, B. (2020). ReconROS: Flexible Hardware Acceleration for ROS2 Applications. In Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT).
LibreCat
2020 | Conference Paper | LibreCat-ID: 20755
Feldmann, M., Hinnenthal, K., & Scheideler, C. (2020). Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs. In Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2020.31
LibreCat
| Files available
| DOI
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 20820
Thiele, S. (2020). Implementing Machine Learning Functions as PYNQ FPGA Overlays.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 20821
Jaganath, V. (2020). Extension and Evaluation of Python-based High-Level Synthesis Tool Flows.
LibreCat
2020 | Journal Article | LibreCat-ID: 20834
Webb, M. E., Fluck, A., Magenheim, J., Malyn-Smith, J., Waters, J., Deschênes , M., & Zagami, J. (2020). Machine learning for human learners: opportunities, issues, tensions and threats. Educational Technology Research and Development, 1–22. https://doi.org/10.1007/s11423-020-09858-2
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20835
Magenheim, J. (2020). < Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik. MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, 37, 139–163. https://doi.org/10.21240/mpaed/37/2020.07.08.X
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20836
Magenheim, J., & Schulte, C. (2020). Data science education. Encyclopedia of Education and Information Technologies. Cham: Springer. https://doi.org/10.1007/978-3-030-10576-1_253
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20840
Schulte, C., Budde, L., & Winkelnkemper, F. (2020). Programmieren - Lehren und Lernen mit und über Medien. In Mobile Medien im Schulkontext (pp. 215–240). Springer. https://doi.org/10.1007/978-3-658-29039-9
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20888
Blömer, J., Brauer, S., & Bujna, K. (2020). A Complexity Theoretical Study of Fuzzy K-Means. ACM Transactions on Algorithms, 16(4), 1–25. https://doi.org/10.1145/3409385
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20891
Knüppel, A., Krüger, S., Thüm, T., Bubel, R., Krieter, S., Bodden, E., & Schaefer, I. (2020). Using Abstract Contracts for Verifying Evolving Features and Their Interactions. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-030-64354-6_5
LibreCat
| DOI