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.
12193 Publications
2020 | Conference Paper | LibreCat-ID: 20511
Fischer, Andreas, Benny Fuhry, Florian Kerschbaum, and Eric Bodden. “Computation on Encrypted Data Using Dataflow Authentication.” In Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20512
Krüger, Stefan, Karim Ali, and Eric Bodden. “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.” In International Symposium on Code Generation and Optimization (CGO), 185–98, 2020.
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.” In ACM SIGWEB Newsletter. ACM, 2020. https://doi.org/10.1145/3427478.3427480.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “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. https://doi.org/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. https://doi.org/10.17619/UNIPB/1-1033.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20568 | 
Reinhold, Jannik, Christian Koldewey, and Roman Dumitrescu. “GEMINI-Modellierungssprache für Wertschöpfungssysteme.” In Der Geschäftsmodell-Toolguide , edited by Birgit Buchholz and Matthias Bürger, 52–56. Frankfurt am Main: Campus Verlag, 2020.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “GEMINI-Geschäftsmodellmuster-Kartenset.” In Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, 61–66. Frankfurt am Main: Campus Verlag, 2020.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “Geschäftsmodellvalidierung.” In Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, 106–11. Frankfurt am Main: Campus Verlag, 2020.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20573 |
Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “Geschäftsmodell-Roadmapping.” In Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, 138–43. Frankfurt am Main: Campus Verlag, 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20695 |
Boeddeker, Christoph, Tomohiro Nakatani, Keisuke Kinoshita, and Reinhold Haeb-Umbach. “Jointly Optimal Dereverberation and Beamforming.” In ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020. https://doi.org/10.1109/icassp40776.2020.9054393.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 20700 |
Boeddeker, Christoph, Tobias Cord-Landwehr, Jens Heitkaemper, Catalin Zorila, Daichi Hayakawa, Mohan Li, Min Liu, Rama Doddipatla, and Reinhold Haeb-Umbach. “Towards a Speaker Diarization System for the CHiME 2020 Dinner Party Transcription.” In Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments, 2020.
LibreCat
| Files available
2020 | Report | LibreCat-ID: 20712
Schubert, Philipp, Eric Bodden, and Ben Hermann. 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, Tobias Wiersema, and Marco Platzner. “Search Space Characterization for AxC Synthesis.” Fifth Workshop on Approximate Computing (AxC 2020), n.d.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20750
Lienen, Christian, Marco Platzner, and Bernhard Rinner. “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, Michael, Kristian Hinnenthal, and Christian Scheideler. “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. https://doi.org/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, 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.” Educational Technology Research and Development, 2020, 1–22. https://doi.org/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 37 (2020): 139–63. https://doi.org/10.21240/mpaed/37/2020.07.08.X.
LibreCat
| DOI