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.

31015 Publications


2020 | Journal Article | LibreCat-ID: 20450
Framework for Data Analytics in Data-Driven Product Planning
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, R. Dumitrescu, Procedia Manufacturing (2020).
LibreCat
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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.)
 

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.)
 

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
 

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.)
 

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
 

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.)
 

2020 | Conference Paper | LibreCat-ID: 20514 LibreCat | DOI
 

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
 

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
 

2020 | Conference Abstract | LibreCat-ID: 20567
Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile
M. Otroshi, G. Meschut, L. Masendorf, A. Esderts, in: 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 20568 | OA
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.)
 

2020 | Book Chapter | LibreCat-ID: 20570 | OA
GEMINI-Geschäftsmodellmuster-Kartenset
C. Koldewey, J. Reinhold, R. Dumitrescu, in: B. Buchholz, M. Bürger (Eds.), Der Geschäftsmodell-Toolguide, Campus Verlag, Frankfurt am Main, 2020, pp. 61–66.
LibreCat | Download (ext.)
 

Filters and Search Terms

department=44

Search

Filter Publications

Display / Sort

Export / Embed