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: /record/46816
DOI: 10.1109/tse.2023.3301660

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: /record/49439
DOI: 10.1007/s10664-023-10354-3

Securing Your Crypto-API Usage Through Tool Support - A Usability Study
S. Krüger, M. Reif, A.-K. Wickert, S. Nadi, K. Ali, E. Bodden, Y. Acar, M. Mezini, S. Fahl, in: 2023 IEEE Secure Development Conference (SecDev), IEEE, 2023.
LibreCat: /record/49438
DOI: 10.1109/secdev56634.2023.00015

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: /record/49494

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

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

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: /record/49361
DOI:  10.1109/ICE/ITMC58018.2023.10332277

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: /record/49360
DOI:  10.1109/ICE/ITMC58018.2023.10332382

Idélic Approach in Enumerating Heisenberg Extensions
J. Klüners, J. Wang, La Matematica (2023).
LibreCat: /record/49372
DOI: 10.1007/s44007-023-00067-w

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: /record/48869
DOI: 10.1145/3583131.3590384

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: /record/48872
DOI: 10.1145/3583131.3590383

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: /record/48886
DOI: 10.1145/3583131.3590504

Do Additional Target Points Speed Up Evolutionary Algorithms?
J. Bossek, D. Sudholt, Theoretical Computer Science (2023) 113757.
LibreCat: /record/48871
DOI: 10.1016/j.tcs.2023.113757

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: /record/48859
DOI: 10.1162/evco_a_00335

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

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

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

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

Meta-Reinforcement-Learning-Based Current Control of Permanent Magnet Synchronous Motor Drives for a Wide Range of Power Classes
D. Jakobeit, M. Schenke, O. Wallscheid, IEEE Transactions on Power Electronics 38 (2023) 8062–8074.
LibreCat: /record/49760
DOI: 10.1109/tpel.2023.3256424

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