en
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.
13308 Publications
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 | Journal Article | LibreCat-ID: 17853
C. Hoffmann and K. Thommes, “Combining Egalitarian and Proportional Sharing rules in Team Tournaments to Incentivize Energy-Efficient Behavior in a Principal-Agent Context,” Organization and Environment, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16899
S. Krauter and J. Bendfeld, “Comparison of Microinverters: Update on Rankings of Conversion Efficiencies and Energy Yields,” in Proceedings of the 47th IEEE Photovoltaic Specialists Conference (PVSC 47) JUNE 15 - AUGUST 21, 2020 VIRTUAL MEETING, VIRTUAL MEETING, 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 18638
P. Kramer, Comparison of Zero-Knowledge Range Proofs. Universität Paderborn, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20511
A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Dataflow Authentication,” in Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20316
T. Schmolke, G. Meschut, C. Krüger, D. Merdivan, S. Spohr, and P. Urban, “Concept Development for a Functional Integrated Lightweight Battery Housing with Special Consideration of the Joining Technology,” presented at the Aachen Body Engineering Days 2020, Aachen, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 15604
I. Jovanovikj, E. Yigitbas, S. Sauer, and G. Engels, “Concept-based Co-Migration of Test Cases,” in Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, Valletta, 2020.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21269
P. Ködding, J. Reinhold, M. Scholtysik, and R. Dumitrescu, “Consulting via Research in IMPRESS,” Journal of Systemics, Cybernetics and Informatics, vol. 18, no. 2, pp. 14–19, 2020.
LibreCat
2020 | Preprint | LibreCat-ID: 17825
J. F. Haltermann and H. Wehrheim, “Cooperative Verification via Collective Invariant Generation,” arXiv:2008.04551. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19383
S. Krauter and L. Zhang, “Correlation of grid-frequency, electricity prices, share of Renewables and CO2-contents of German electricity grid to enable inexpensive triggering of Demand-Side-Management,” in Proceedings of the 47th IEEE Photovoltaic Specialists Conference (PVSC 47) JUNE 15 - AUGUST 21, 2020 VIRTUAL MEETING, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 16486
C. Sureth-Sloane, “Country-by-Country Reporting Goes Public - Cui Bono?,” International Transfer Pricing Journal, vol. 27, no. 2, 2020.
LibreCat
2020 | Book Review | LibreCat-ID: 18997
V. Peckhaus, “Coury, Aline Germano Foseca; Vilela, Denise Silva, ‘Russell’s Paradox: A Historical Study About the Paradox in Frege’s Theories’, Revista Brasileira de História da Mathématica 19, No. 37, 95–116,” Mathematical Reviews [MR4024871]. 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 16277
T. Kühne et al., “CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations,” The Journal of Chemical Physics, vol. 152, no. 19, 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
| arXiv