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.
5788 Publications
2020 | Conference Paper | LibreCat-ID: 20511
Fischer, Andreas, et al. “Computation on Encrypted Data Using Dataflow Authentication.” Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20512
Krüger, Stefan, et al. “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.” International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–98.
LibreCat
| Files available
2020 | Dissertation | LibreCat-ID: 20513
Krüger, Stefan. CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn, 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20514
Yigitbas, Enes. “Model-Driven Engineering and Usability Evaluation of Self-Adaptive User Interfaces.” ACM SIGWEB Newsletter, 2, ACM, 2020, doi:https://doi.org/10.1145/3427478.3427480.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, et al. “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), ACM, 2020, doi:10.1145/3365438.3410946.
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 20521
Gerking, Christopher. 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, Jannik, et al. “GEMINI-Modellierungssprache für Wertschöpfungssysteme.” Der Geschäftsmodell-Toolguide , edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 52–56.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
Koldewey, Christian, et al. “GEMINI-Geschäftsmodellmuster-Kartenset.” Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 61–66.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
Koldewey, Christian, et al. “Geschäftsmodellvalidierung.” Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 106–11.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20573 |
Koldewey, Christian, et al. “Geschäftsmodell-Roadmapping.” Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 138–43.
LibreCat
| Download (ext.)
2020 | Report | LibreCat-ID: 20712
Schubert, Philipp, et al. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. 2020.
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
Witschen, Linus Matthias, et al. “Search Space Characterization for AxC Synthesis.” Fifth Workshop on Approximate Computing (AxC 2020).
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20750
Lienen, Christian, et al. “ReconROS: Flexible Hardware Acceleration for ROS2 Applications.” Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT), 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20755
Feldmann, Michael, et al. “Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs.” 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, Simon. Implementing Machine Learning Functions as PYNQ FPGA Overlays. 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 20821
Jaganath, Vivek. Extension and Evaluation of Python-Based High-Level Synthesis Tool Flows. 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20834
Webb, Mary E., et al. “Machine Learning for Human Learners: Opportunities, Issues, Tensions and Threats.” Educational Technology Research and Development, Springer, 2020, pp. 1–22, doi:10.1007/s11423-020-09858-2.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20835
Magenheim, Johannes. “< Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik.” MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, vol. 37, 2020, pp. 139–63, doi:10.21240/mpaed/37/2020.07.08.X.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20836
Magenheim, Johannes, and Carsten Schulte. “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, Carsten, et al. “Programmieren - Lehren Und Lernen Mit Und Über Medien.” Mobile Medien Im Schulkontext, Springer, 2020, pp. 215–40, doi:10.1007/978-3-658-29039-9.
LibreCat
| DOI