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: /record/20452
DOI: 10.1145/3428029.3428052

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: /record/20457
DOI: 10.1007/s00221-020-05810-1
PMID: 32328673

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: /record/20469
DOI: 10.1186/s40634-020-00282-2
PMID: 32885339

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: /record/20490

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: /record/20495

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: /record/20496
DOI: 10.1021/acs.jpcc.0c03341

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: /record/20501
DOI: 10.1039/d0ra08749a

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: /record/20507
DOI: https://doi.org/10.1016/j.jss.2020.110697

Explaining Static Analysis with Rule Graphs
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
LibreCat: /record/20508

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: /record/20509

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: /record/20510

Computation on Encrypted Data using Dataflow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, in: Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat: /record/20511

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: /record/20512

CogniCrypt -- The Secure Integration of Cryptographic Software
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software, Universitaetsbibliothek Paderborn, 2020.
LibreCat: /record/20513

Model-driven engineering and usability evaluation of self-adaptive user interfaces
E. Yigitbas, in: ACM SIGWEB Newsletter, ACM, 2020.
LibreCat: /record/20514
DOI: https://doi.org/10.1145/3427478.3427480

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: /record/20516
DOI: 10.1109/re48521.2020.00014

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: /record/20518
DOI: 10.1145/3365438.3410946

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: /record/20521
DOI: 10.17619/UNIPB/1-1033

Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile
M. Otroshi, G. Meschut, L. Masendorf, A. Esderts, in: 2020.
LibreCat: /record/20567

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: /record/20568