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.
9290 Publications
2020 | Conference Paper | LibreCat-ID: 20512
Krüger S, Ali K, Bodden E. CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs. In: International Symposium on Code Generation and Optimization (CGO). ; 2020:185-198.
LibreCat
| Files available
2020 | Dissertation | LibreCat-ID: 20513
Krüger S. CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn; 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20514
Yigitbas E. Model-driven engineering and usability evaluation of self-adaptive user interfaces. In: ACM SIGWEB Newsletter. ACM; 2020. doi:https://doi.org/10.1145/3427478.3427480
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch T, Dziwok S, Holtmann J, Bodden E. Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. In: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM; 2020. doi:10.1145/3365438.3410946
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 20521
Gerking C. Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. Paderborn University; 2020. doi:10.17619/UNIPB/1-1033
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20568 |
Reinhold J, Koldewey C, Dumitrescu R. GEMINI-Modellierungssprache für Wertschöpfungssysteme. In: Buchholz B, Bürger M, eds. Der Geschäftsmodell-Toolguide . Frankfurt am Main: Campus Verlag; 2020:52-56.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
Koldewey C, Reinhold J, Dumitrescu R. GEMINI-Geschäftsmodellmuster-Kartenset. In: Buchholz B, Bürger M, eds. Der Geschäftsmodell-Toolguide. Frankfurt am Main: Campus Verlag; 2020:61-66.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
Koldewey C, Reinhold J, Dumitrescu R. Geschäftsmodellvalidierung. In: Buchholz B, Bürger M, eds. Der Geschäftsmodell-Toolguide. Frankfurt am Main: Campus Verlag; 2020:106-111.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20573 |
Koldewey C, Reinhold J, Dumitrescu R. Geschäftsmodell-Roadmapping. In: Buchholz B, Bürger M, eds. Der Geschäftsmodell-Toolguide. Frankfurt am Main: Campus Verlag; 2020:138-143.
LibreCat
| Download (ext.)
2020 | Report | LibreCat-ID: 20712
Schubert P, Bodden E, Hermann B. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries.; 2020.
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
Witschen LM, Wiersema T, Platzner M. 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. ReconROS: Flexible Hardware Acceleration for ROS2 Applications. In: Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT). ; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20755
Feldmann M, Hinnenthal K, Scheideler C. 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; 2020. doi:10.4230/LIPIcs.OPODIS.2020.31
LibreCat
| Files available
| DOI
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 20820
Thiele S. Implementing Machine Learning Functions as PYNQ FPGA Overlays.; 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 20821
Jaganath V. Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows.; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20834
Webb ME, Fluck A, Magenheim J, et al. Machine learning for human learners: opportunities, issues, tensions and threats. Educational Technology Research and Development. 2020:1-22. doi:10.1007/s11423-020-09858-2
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20835
Magenheim J. < Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik. MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung. 2020;37:139-163. doi:10.21240/mpaed/37/2020.07.08.X
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20836
Magenheim J, Schulte C. Data science education. Encyclopedia of Education and Information Technologies Cham: Springer. 2020. doi:10.1007/978-3-030-10576-1_253
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20840
Schulte C, Budde L, Winkelnkemper F. Programmieren - Lehren und Lernen mit und über Medien. In: Mobile Medien Im Schulkontext. Springer; 2020:215-240. doi:10.1007/978-3-658-29039-9
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20854 |
Camberg AA, Tröster T. A simplified method for the evaluation of the layer compression test using one 3D digital image correlation system and considering the material anisotropy by the equibiaxial Lankford parameter. 2020. doi:10.1088/1757-899X/967/1/012077
LibreCat
| DOI
| Download (ext.)