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.
17239 Publications
2020 | Journal Article | LibreCat-ID: 20507
Geismann J, Bodden E. A systematic literature review of model-driven security engineering for cyber–physical systems. Journal of Systems and Software. 2020;169:110697. doi:https://doi.org/10.1016/j.jss.2020.110697
LibreCat
| DOI
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: 20516
Holtmann J, Steghofer J-P, Rath M, Schmelter D. Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In: 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE; 2020. doi:10.1109/re48521.2020.00014
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 | Journal Article | LibreCat-ID: 20644
Volmert R, Weber N, Meier C. Nanoantennas embedded in zinc oxide for second harmonic generation enhancement. Journal of Applied Physics. 2020;128(4). doi:10.1063/5.0012813
LibreCat
| DOI
| WoS
2020 | Conference Paper | LibreCat-ID: 20701
Pariente M, Cornell S, Cosentino J, et al. Asteroid: The PyTorch-Based Audio Source Separation Toolkit for Researchers. In: Interspeech 2020. ; 2020. doi:10.21437/interspeech.2020-1673
LibreCat
| DOI
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 | Conference Paper | LibreCat-ID: 20812
Jean F, Maslovskaya S. Injectivity of the inverse optimal control problem for control-affine systems. In: 2019 IEEE 58th Conference on Decision and Control (CDC). ; 2020. doi:10.1109/cdc40024.2019.9028877
LibreCat
| DOI
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: 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 | Conference Paper | LibreCat-ID: 20843
Wu T, Tinkloh SR, Tröster T, Zinn W. Residual stress measurement in GFRP/steel hybrid components. In: Proceedings of the 4th International Conference Hybrid 2020 Materials and Structures. ; 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 20847
Zentgraf T, Chen S, Li G, Zhang S. Plasmonic metasurfaces for controlling harmonic generations. In: Werner DH, Campbell SD, Kang L, eds. Nanoantennas and Plasmonics: Modelling, Design and Fabrication. The Institution of Engineering and Technology; 2020. doi:10.1049/SBEW540E_ch8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20848
Tischendorf R, Simmler M, Weinberger C, et al. Examination of the evolution of iron oxide nanoparticles in flame spray pyrolysis by tailored in situ particle sampling techniques. Journal of Aerosol Science. 2020. doi:10.1016/j.jaerosci.2020.105722
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.)
2020 | Conference Paper | LibreCat-ID: 20856 |
Camberg AA, Erhart T, Tröster T. Predicting fracture at non-isothermal forming conditions: A temperature dependent extension of the LS-DYNA GISSMO fracture indicator framework. In: ; 2020. doi:10.13140/RG.2.2.23924.17288
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 20862
Strauß S. Visualising Memory Loss and the Politics of Representation in Contemporary Portraiture. Journal for the Study of British Cultures. 2020;27(1):63-76.
LibreCat