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.
5779 Publications
2023 | Journal Article | LibreCat-ID: 46816
Runtime Verification of Crypto APIs: An Empirical Study
A. Torres, P. Costa, L. Amaral, J. Pastro, R. Bonifácio, M. d’Amorim, O. Legunsen, E. Bodden, E. Dias Canedo, IEEE Transactions on Software Engineering 49 (2023) 4510–4525.
LibreCat
| DOI
A. Torres, P. Costa, L. Amaral, J. Pastro, R. Bonifácio, M. d’Amorim, O. Legunsen, E. Bodden, E. Dias Canedo, IEEE Transactions on Software Engineering 49 (2023) 4510–4525.
2023 | Journal Article | LibreCat-ID: 49439
Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study
G. Piskachev, M. Becker, E. Bodden, Empirical Software Engineering 28 (2023).
LibreCat
| DOI
G. Piskachev, M. Becker, E. Bodden, Empirical Software Engineering 28 (2023).
2023 | Bachelorsthesis | LibreCat-ID: 49494
Entwicklung und Analyse von Formeln zur Abschätzung der Renderingzeit eines Frames
A. Nickel, Entwicklung Und Analyse von Formeln Zur Abschätzung Der Renderingzeit Eines Frames, 2023.
LibreCat
A. Nickel, Entwicklung Und Analyse von Formeln Zur Abschätzung Der Renderingzeit Eines Frames, 2023.
2023 | Mastersthesis | LibreCat-ID: 49493
Reconstruction of 3D Surfels from Neural Radiance Fields
V. Telaprolu, Reconstruction of 3D Surfels from Neural Radiance Fields, 2023.
LibreCat
V. Telaprolu, Reconstruction of 3D Surfels from Neural Radiance Fields, 2023.
2023 | Mastersthesis | LibreCat-ID: 49492
Shape Reconfiguration by Hybrid Programmable Matter
J. Friemel, Shape Reconfiguration by Hybrid Programmable Matter, 2023.
LibreCat
J. Friemel, Shape Reconfiguration by Hybrid Programmable Matter, 2023.
2023 | Conference Paper | LibreCat-ID: 49361
TCO analysis of a modular and integral product architecture in shipbuilding
T. Seidenberg, J.-P. Disselkamp, C. Jürgenhake, A. Wicker, R. Dumitrescu, E. Tolo, in: 2023.
LibreCat
| DOI
T. Seidenberg, J.-P. Disselkamp, C. Jürgenhake, A. Wicker, R. Dumitrescu, E. Tolo, in: 2023.
2023 | Conference Paper | LibreCat-ID: 49360
Future production of ships – case study for modular high-speed ferries
J.-P. Disselkamp, T. Seidenberg, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: 2023.
LibreCat
| DOI
J.-P. Disselkamp, T. Seidenberg, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: 2023.
2023 | Conference Paper | LibreCat-ID: 48869
On the Impact of Basic Mutation Operators and Populations within Evolutionary Algorithms for the Dynamic Weighted Traveling Salesperson Problem
J. Bossek, A. Neumann, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 248–256.
LibreCat
| DOI
J. Bossek, A. Neumann, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 248–256.
2023 | Conference Paper | LibreCat-ID: 48872
Runtime Analysis of Quality Diversity Algorithms
J. Bossek, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 1546–1554.
LibreCat
| DOI
J. Bossek, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 1546–1554.
2023 | Conference Paper | LibreCat-ID: 48886
Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space
A. Marrero, E. Segredo, E. Hart, J. Bossek, A. Neumann, in: Proceedings of the Genetic} and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 312–320.
LibreCat
| DOI
A. Marrero, E. Segredo, E. Hart, J. Bossek, A. Neumann, in: Proceedings of the Genetic} and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 312–320.
2023 | Journal Article | LibreCat-ID: 48871
Do Additional Target Points Speed Up Evolutionary Algorithms?
J. Bossek, D. Sudholt, Theoretical Computer Science (2023) 113757.
LibreCat
| DOI
J. Bossek, D. Sudholt, Theoretical Computer Science (2023) 113757.
2023 | Journal Article | LibreCat-ID: 48859
On Single-Objective Sub-Graph-Based Mutation for Solving the Bi-Objective Minimum Spanning Tree Problem
J. Bossek, C. Grimme, Evolutionary Computation (2023) 1–35.
LibreCat
| DOI
J. Bossek, C. Grimme, Evolutionary Computation (2023) 1–35.
2023 | Preprint | LibreCat-ID: 49649
DP-NMT: Scalable Differentially-Private Machine Translation
T. Igamberdiev, D.N.L. Vu, F. Künnecke, Z. Yu, J. Holmer, I. Habernal, (2023).
LibreCat
T. Igamberdiev, D.N.L. Vu, F. Künnecke, Z. Yu, J. Holmer, I. Habernal, (2023).
2023 | Preprint | LibreCat-ID: 49650
LaCour!: Enabling Research on Argumentation in Hearings of the European Court of Human Rights
L. Held, I. Habernal, (2023).
LibreCat
L. Held, I. Habernal, (2023).
2023 | Journal Article | LibreCat-ID: 49655 | 
The data awareness framework as part of data literacies in K-12 education
L. Höper, C. Schulte, Information and Learning Sciences (2023).
LibreCat
| Files available
| DOI
L. Höper, C. Schulte, Information and Learning Sciences (2023).
2023 | Conference Paper | LibreCat-ID: 47448
Adding Why to What? Analyses of an Everyday Explanation
L. Terfloth, M. Schaffer, H.M. Buhl, C. Schulte, in: Springer, Cham, 2023.
LibreCat
| DOI
L. Terfloth, M. Schaffer, H.M. Buhl, C. Schulte, in: Springer, Cham, 2023.
2023 | Journal Article | LibreCat-ID: 48946
Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security
I. Gräßler, E. Bodden, D. Wiechel, J. Pottebaum, Konstruktion 75 (2023) 60–65.
LibreCat
| DOI
I. Gräßler, E. Bodden, D. Wiechel, J. Pottebaum, Konstruktion 75 (2023) 60–65.
2023 | Journal Article | LibreCat-ID: 50458
Server Cloud Scheduling
M. Maack, F. Meyer auf der Heide, S. Pukrop, Algorithmica (2023).
LibreCat
| DOI
M. Maack, F. Meyer auf der Heide, S. Pukrop, Algorithmica (2023).
2023 | Conference Paper | LibreCat-ID: 50460
Scheduling with Many Shared Resources
M.A. Deppert, K. Jansen, M. Maack, S. Pukrop, M. Rau, in: 2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2023.
LibreCat
| DOI
M.A. Deppert, K. Jansen, M. Maack, S. Pukrop, M. Rau, in: 2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2023.
2023 | Book Chapter | LibreCat-ID: 46191
Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline
C. Alt, T. Kenter, S. Faghih-Naini, J. Faj, J.-O. Opdenhövel, C. Plessl, V. Aizinger, J. Hönig, H. Köstler, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
C. Alt, T. Kenter, S. Faghih-Naini, J. Faj, J.-O. Opdenhövel, C. Plessl, V. Aizinger, J. Hönig, H. Köstler, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2023.