A. Torres et al., “Runtime Verification of Crypto APIs: An Empirical Study,”10.1109/tse.2023.3301660__IEEE Transactions on Software Engineering, vol. 49, no. 10, pp. 4510–4525, 2023, doi:10.1109/tse.2023.3301660 .
LibreCat: /record/46816
DOI: 10.1109/tse.2023.3301660

G. Piskachev, M. Becker, and E. Bodden, “Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study,”10.1007/s10664-023-10354-3__Empirical Software Engineering, vol. 28, no. 5, Art. no. 118, 2023, doi:10.1007/s10664-023-10354-3 .
LibreCat: /record/49439
DOI: 10.1007/s10664-023-10354-3

S. Krüger et al., “Securing Your Crypto-API Usage Through Tool Support - A Usability Study,”10.1109/secdev56634.2023.00015__2023, doi:10.1109/secdev56634.2023.00015 .
LibreCat: /record/49438
DOI: 10.1109/secdev56634.2023.00015

A. Nickel, Entwicklung und Analyse von Formeln zur Abschätzung der Renderingzeit eines Frames. 2023.
LibreCat: /record/49494

V. Telaprolu, Reconstruction of 3D Surfels from Neural Radiance Fields. 2023.
LibreCat: /record/49493

J. Friemel, Shape Reconfiguration by Hybrid Programmable Matter. 2023.
LibreCat: /record/49492

T. Seidenberg, J.-P. Disselkamp, C. Jürgenhake, A. Wicker, R. Dumitrescu, and E. Tolo, “TCO analysis of a modular and integral product architecture in shipbuilding,” 10.1109/ICE/ITMC58018.2023.10332277__presented at the IEEE Ice Conference 2023, Edingburgh, 2023, doi: 10.1109/ICE/ITMC58018.2023.10332277 .
LibreCat: /record/49361
DOI:  10.1109/ICE/ITMC58018.2023.10332277

J.-P. Disselkamp, T. Seidenberg, C. Jürgenhake, H. Anacker, and R. Dumitrescu, “Future production of ships – case study for modular high-speed ferries,” 10.1109/ICE/ITMC58018.2023.10332382__presented at the IEEE Ice Conference 2023, Edingburgh, 2023, doi: 10.1109/ICE/ITMC58018.2023.10332382 .
LibreCat: /record/49360
DOI:  10.1109/ICE/ITMC58018.2023.10332382

J. Klüners and J. Wang, “Idélic Approach in Enumerating Heisenberg Extensions,”10.1007/s44007-023-00067-w__La Matematica, 2023, doi:10.1007/s44007-023-00067-w .
LibreCat: /record/49372
DOI: 10.1007/s44007-023-00067-w

J. Bossek, A. Neumann, and F. Neumann, “On the Impact of Basic Mutation Operators and Populations within Evolutionary Algorithms for the Dynamic Weighted Traveling Salesperson Problem,”10.1145/3583131.3590384__in Proceedings of the Genetic and Evolutionary Computation Conference, 2023, pp. 248–256, doi:10.1145/3583131.3590384 .
LibreCat: /record/48869
DOI: 10.1145/3583131.3590384

J. Bossek and D. Sudholt, “Runtime Analysis of Quality Diversity Algorithms,”10.1145/3583131.3590383__in Proceedings of the Genetic and Evolutionary Computation Conference, 2023, pp. 1546–1554, doi:10.1145/3583131.3590383 .
LibreCat: /record/48872
DOI: 10.1145/3583131.3590383

A. Marrero, E. Segredo, E. Hart, J. Bossek, and A. Neumann, “Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space,”10.1145/3583131.3590504__in Proceedings of the Genetic and Evolutionary Computation Conference, 2023, pp. 312–320, doi:10.1145/3583131.3590504 .
LibreCat: /record/48886
DOI: 10.1145/3583131.3590504

J. Bossek and D. Sudholt, “Do Additional Target Points Speed Up Evolutionary Algorithms?,”10.1016/j.tcs.2023.113757__Theoretical Computer Science, p. 113757, 2023, doi:10.1016/j.tcs.2023.113757 .
LibreCat: /record/48871
DOI: 10.1016/j.tcs.2023.113757

J. Bossek and C. Grimme, “On Single-Objective Sub-Graph-Based Mutation for Solving the Bi-Objective Minimum Spanning Tree Problem,”10.1162/evco_a_00335__Evolutionary Computation, pp. 1–35, 2023, doi:10.1162/evco_a_00335 .
LibreCat: /record/48859
DOI: 10.1162/evco_a_00335

S. Seitz, U. Häsel-Weide, Y. Wilke, and M. Wallner, “Expertise and professionalism for inclusive (mathematics) teaching and learning: reflections on findings from interdisciplinary professionalisation research,”https://doi.org/10.1080/13540602.2023.2284876 __Teachers and Teaching, pp. 1–16, 2023, doi:https://doi.org/10.1080/13540602.2023.2284876  .
LibreCat: /record/49425
DOI: https://doi.org/10.1080/13540602.2023.2284876 

T. Igamberdiev, D. N. L. Vu, F. Künnecke, Z. Yu, J. Holmer, and I. Habernal, “DP-NMT: Scalable Differentially-Private Machine Translation.” 2023.
LibreCat: /record/49649

L. Held and I. Habernal, “LaCour!: Enabling Research on Argumentation in Hearings of the European Court of Human Rights.” 2023.
LibreCat: /record/49650

J. Heins, J. Bossek, J. Pohl, M. Seiler, H. Trautmann, and P. Kerschke, “A study on the effects of normalized TSP features for automated algorithm selection,”https://doi.org/10.1016/j.tcs.2022.10.019__Theoretical Computer Science, vol. 940, pp. 123–145, 2023, doi:https://doi.org/10.1016/j.tcs.2022.10.019 .
LibreCat: /record/46310
DOI: https://doi.org/10.1016/j.tcs.2022.10.019

D. Jakobeit, M. Schenke, and O. Wallscheid, “Meta-Reinforcement-Learning-Based Current Control of Permanent Magnet Synchronous Motor Drives for a Wide Range of Power Classes,”10.1109/tpel.2023.3256424__IEEE Transactions on Power Electronics, vol. 38, no. 7, pp. 8062–8074, 2023, doi:10.1109/tpel.2023.3256424 .
LibreCat: /record/49760
DOI: 10.1109/tpel.2023.3256424

L. Höper and C. Schulte, “The data awareness framework as part of data literacies in K-12 education,”10.1108/ils-06-2023-0075__Information and Learning Sciences, 2023, doi:10.1108/ils-06-2023-0075 .
LibreCat: /record/49655
DOI: 10.1108/ils-06-2023-0075