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.
37397 Publications
2020 | Journal Article | LibreCat-ID: 20457
Gebel A, Lehmann T, Granacher U. Balance task difficulty affects postural sway and cortical activity in healthy adolescents. Exp Brain Res. 2020;238(5):1323-1333. doi:10.1007/s00221-020-05810-1
LibreCat
| DOI
| PubMed | Europe PMC
2020 | Journal Article | LibreCat-ID: 20469
Tischer T, Bode G, Buhs M, et al. Platelet-rich plasma (PRP) as therapy for cartilage, tendon and muscle damage - German working group position statement. J Exp Orthop. 2020;7(1):64. doi:10.1186/s40634-020-00282-2
LibreCat
| DOI
| PubMed | Europe PMC
2020 | Journal Article | LibreCat-ID: 20490
Anders P, Müller H, Skjæret-Maroni N, Vereijken B, Baumeister J. The influence of motor tasks and cut-off parameter selection on artifact subspace reconstruction in EEG recordings. Medical & Biological Engineering & Computing. 2020;85:2673-2683.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 20495
Jochmaring M. A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks.; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20496
Streiter M, Fischer TG, Wiebeler C, et al. Impact of Chlorine on the Internal Transition Rates and Excited States of the Thermally Delayed Activated Fluorescence Molecule 3CzClIPN. The Journal of Physical Chemistry C. 2020:15007-15014. doi:10.1021/acs.jpcc.0c03341
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20501
Rosenthal M, Lindner JKN, Gerstmann U, Meier A, Schmidt WG, Wilhelm R. A photoredox catalysed Heck reaction via hole transfer from a Ru(II)-bis(terpyridine) complex to graphene oxide . Royal Society of Chemistry . 2020;10(42930-42937). doi:10.1039/d0ra08749a
LibreCat
| Files available
| DOI
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 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do L, Bodden E. Explaining Static Analysis with Rule Graphs. IEEE Transactions on Software Engineering. Published online 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20509
Fischer A, Janneck J, Kussmaul J, Krätzschmar N, Kerschbaum F, Bodden E. PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage. In: 2020 IEEE Computer Security Foundations Symposium (CSF). ; 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20510
Benz M, Krogh Kristensen E, Luo L, P. Borges Jr. N, Bodden E, Zeller A. Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis. In: International Conference for Software Engineering (ICSE). ; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20511
Fischer A, Fuhry B, Kerschbaum F, Bodden E. 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 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 | 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 | Conference Abstract | LibreCat-ID: 20567
Otroshi M, Meschut G, Masendorf L, Esderts A. Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. In: ; 2020.
LibreCat
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.)