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.
10097 Publications
2020 | Journal Article | LibreCat-ID: 20419
N. Magnitskaya, C. Mouton, A. Gokeler, C. Nuehrenboerger, D. Pape, and R. Seil, “Younger age and hamstring tendon graft are associated with higher IKDC 2000 and KOOS scores during the first year after ACL reconstruction.,” Knee Surg Sports Traumatol Arthrosc, vol. 28, no. 3, pp. 823–832, 2020.
LibreCat
| DOI
| PubMed | Europe PMC
2020 | Journal Article | LibreCat-ID: 20447
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, and R. Dumitrescu, “Method for data inventory and classification,” Procedia CIRP, no. 93, pp. 234–239, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20448
M. Meyer, M. Frank, M. Massmann, N. Wendt, and R. Dumitrescu, “Data-Driven Product Generation and Retrofit Planning,” Procedia CIRP, no. 93, pp. 965–970, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20449
E. Uhlmann, R. Dumitrescu, J. Polte, M. Meyer, and D. Simsek, “Datengetriebene Steigerung der Verfügbarkeit,” wt Werkstattstechnik online , vol. 110, no. 07–08, pp. 532–535, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20450
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, and R. Dumitrescu, “Framework for Data Analytics in Data-Driven Product Planning,” Procedia Manufacturing, 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 20495
M. Jochmaring, A self stabilizing protocol for well-formed trees in hybrid networks. 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20507
J. Geismann and E. Bodden, “A systematic literature review of model-driven security engineering for cyber–physical systems,” Journal of Systems and Software, vol. 169, p. 110697, 2020, doi: https://doi.org/10.1016/j.jss.2020.110697.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20508
L. Nguyen Quang Do and E. Bodden, “Explaining Static Analysis with Rule Graphs,” IEEE Transactions on Software Engineering, 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20509
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, and E. Bodden, “PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage,” 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20510
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, and A. Zeller, “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis,” 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20511
A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Dataflow Authentication,” 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20512
S. Krüger, K. Ali, and E. Bodden, “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs,” in International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
LibreCat
| Files available
2020 | Dissertation | LibreCat-ID: 20513
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn, 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: 10.1145/3365438.3410946.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20568 | 
J. Reinhold, C. Koldewey, and R. Dumitrescu, “GEMINI-Modellierungssprache für Wertschöpfungssysteme,” in Der Geschäftsmodell-Toolguide , B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 52–56.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
C. Koldewey, J. Reinhold, and R. Dumitrescu, “GEMINI-Geschäftsmodellmuster-Kartenset,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 61–66.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodellvalidierung,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 106–111.
LibreCat
| Download (ext.)