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.
34378 Publications
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: 20501
M. Rosenthal, J. K. N. Lindner, U. Gerstmann, A. Meier, W. G. Schmidt, and R. Wilhelm, “A photoredox catalysed Heck reaction via hole transfer from a Ru(II)-bis(terpyridine) complex to graphene oxide ,” Royal Society of Chemistry , vol. 10, no. 42930–42937, 2020.
LibreCat
| Files available
| DOI
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 | 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: 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 | Conference Abstract | LibreCat-ID: 20567
M. Otroshi, G. Meschut, L. Masendorf, and A. Esderts, “Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile,” presented at the 10. Fügetechnisches Gemeinschaftskolloquium , Rostock, Germany, 2020.
LibreCat
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.)
2020 | Book Chapter | LibreCat-ID: 20573 |
C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodell-Roadmapping,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 138–143.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20647
V. Aßmuth et al., “Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas,” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020, pp. 97–98.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20650
V. Aßmuth, D. Teutenberg, and G. Meschut, “Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile,” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020, pp. 99–101.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20652
V. Aßmuth, D. Teutenberg, G. Meschut, J. Philipp, E. Stammen, and K. Dilger, “Lokales Konzept zur Auslegung von elastischen Klebverbindungen (LoKAl),” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020, pp. 85–87.
LibreCat