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.
38118 Publications
2020 | Conference Paper | LibreCat-ID: 20452
Combining Ideas and Artifacts: An Interaction-Focused View on Computing Education Using a Cybersecurity Example
L. Terfloth, L. Budde, C. Schulte, in: Association for Computing Machinery, New York, NY, USA, 2020.
LibreCat
| DOI
L. Terfloth, L. Budde, C. Schulte, in: Association for Computing Machinery, New York, NY, USA, 2020.
2020 | Journal Article | LibreCat-ID: 20457
Balance task difficulty affects postural sway and cortical activity in healthy adolescents.
A. Gebel, T. Lehmann, U. Granacher, Exp Brain Res 238 (2020) 1323–1333.
LibreCat
| DOI
| PubMed | Europe PMC
A. Gebel, T. Lehmann, U. Granacher, Exp Brain Res 238 (2020) 1323–1333.
2020 | Journal Article | LibreCat-ID: 20469
Platelet-rich plasma (PRP) as therapy for cartilage, tendon and muscle damage - German working group position statement.
T. Tischer, G. Bode, M. Buhs, B. Marquass, S. Nehrer, S. Vogt, W. Zinser, P. Angele, G. Spahn, G. Welsch, P. Niemeyer, H. Madry, J Exp Orthop 7 (2020) 64.
LibreCat
| DOI
| PubMed | Europe PMC
T. Tischer, G. Bode, M. Buhs, B. Marquass, S. Nehrer, S. Vogt, W. Zinser, P. Angele, G. Spahn, G. Welsch, P. Niemeyer, H. Madry, J Exp Orthop 7 (2020) 64.
2020 | Journal Article | LibreCat-ID: 20490
The influence of motor tasks and cut-off parameter selection on artifact subspace reconstruction in EEG recordings
P. Anders, H. Müller, N. Skjæret-Maroni, B. Vereijken, J. Baumeister, Medical & Biological Engineering & Computing 85 (2020) 2673–2683.
LibreCat
P. Anders, H. Müller, N. Skjæret-Maroni, B. Vereijken, J. Baumeister, Medical & Biological Engineering & Computing 85 (2020) 2673–2683.
2020 | Mastersthesis | LibreCat-ID: 20495
A self stabilizing protocol for well-formed trees in hybrid networks
M. Jochmaring, A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks, 2020.
LibreCat
M. Jochmaring, A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks, 2020.
2020 | Journal Article | LibreCat-ID: 20496
Impact of Chlorine on the Internal Transition Rates and Excited States of the Thermally Delayed Activated Fluorescence Molecule 3CzClIPN
M. Streiter, T.G. Fischer, C. Wiebeler, S. Reichert, J. Langenickel, K. Zeitler, C. Deibel, The Journal of Physical Chemistry C (2020) 15007–15014.
LibreCat
| DOI
M. Streiter, T.G. Fischer, C. Wiebeler, S. Reichert, J. Langenickel, K. Zeitler, C. Deibel, The Journal of Physical Chemistry C (2020) 15007–15014.
2020 | Journal Article | LibreCat-ID: 20501
A photoredox catalysed Heck reaction via hole transfer from a Ru(II)-bis(terpyridine) complex to graphene oxide
M. Rosenthal, J.K.N. Lindner, U. Gerstmann, A. Meier, W.G. Schmidt, R. Wilhelm, Royal Society of Chemistry 10 (2020).
LibreCat
| Files available
| DOI
M. Rosenthal, J.K.N. Lindner, U. Gerstmann, A. Meier, W.G. Schmidt, R. Wilhelm, Royal Society of Chemistry 10 (2020).
2020 | Journal Article | LibreCat-ID: 20507
A systematic literature review of model-driven security engineering for cyber–physical systems
J. Geismann, E. Bodden, Journal of Systems and Software 169 (2020) 110697.
LibreCat
| DOI
J. Geismann, E. Bodden, Journal of Systems and Software 169 (2020) 110697.
2020 | Journal Article | LibreCat-ID: 20508
Explaining Static Analysis with Rule Graphs
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
LibreCat
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
2020 | Conference Paper | LibreCat-ID: 20509
PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, E. Bodden, in: 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
LibreCat
| Download (ext.)
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, E. Bodden, in: 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
2020 | Conference Paper | LibreCat-ID: 20510
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
LibreCat
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
2020 | Conference Paper | LibreCat-ID: 20511
Computation on Encrypted Data using Dataflow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat
| Download (ext.)
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
2020 | Conference Paper | LibreCat-ID: 20512
CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs
S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
LibreCat
| Files available
S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
2020 | Dissertation | LibreCat-ID: 20513
CogniCrypt -- The Secure Integration of Cryptographic Software
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.
LibreCat
| Download (ext.)
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.
2020 | Conference Paper | LibreCat-ID: 20514
Model-driven engineering and usability evaluation of self-adaptive user interfaces
E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.
LibreCat
| DOI
E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 20516
Cutting through the Jungle: Disambiguating Model-based Traceability Terminology
J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020.
LibreCat
| DOI
J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020.
2020 | Conference Paper | LibreCat-ID: 20518
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
LibreCat
| DOI
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
2020 | Dissertation | LibreCat-ID: 20521
Model-Driven Information Flow Security Engineering for Cyber-Physical Systems
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020.
LibreCat
| DOI
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, Paderborn University, 2020.
2020 | Conference Abstract | LibreCat-ID: 20567
Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile
M. Otroshi, G. Meschut, L. Masendorf, A. Esderts, in: 2020.
LibreCat
M. Otroshi, G. Meschut, L. Masendorf, A. Esderts, in: 2020.
2020 | Book Chapter | LibreCat-ID: 20568 |
GEMINI-Modellierungssprache für Wertschöpfungssysteme
J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.
LibreCat
| Download (ext.)
J. Reinhold, C. Koldewey, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide , Campus Verlag, Frankfurt am Main, 2020, pp. 52–56.