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.
9724 Publications
2023 | Preprint | LibreCat-ID: 49371
Higher order interactions lead to "reluctant" synchrony breaking
S. von der Gracht, E. Nijholt, B. Rink, ArXiv:2311.17186 (2023).
LibreCat
| arXiv
S. von der Gracht, E. Nijholt, B. Rink, ArXiv:2311.17186 (2023).
2023 | Conference Paper | LibreCat-ID: 49373
Privacy in the Age of Neurotechnology: Investigating Public Attitudes towards Brain Data Collection and Use
E. Kablo, P. Arias Cabarcos, in: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, ACM, 2023.
LibreCat
| DOI
E. Kablo, P. Arias Cabarcos, in: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, ACM, 2023.
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 | Conference Paper | LibreCat-ID: 49438
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
| DOI
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.
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 | Journal Article | LibreCat-ID: 49372
Idélic Approach in Enumerating Heisenberg Extensions
J. Klüners, J. Wang, La Matematica (2023).
LibreCat
| DOI
J. Klüners, J. Wang, La Matematica (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 | Journal Article | LibreCat-ID: 49425
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
| DOI
S. Seitz, U. Häsel-Weide, Y. Wilke, M. Wallner, Teachers and Teaching (2023) 1–16.
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: 46310
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
| DOI
J. Heins, J. Bossek, J. Pohl, M. Seiler, H. Trautmann, P. Kerschke, Theoretical Computer Science 940 (2023) 123–145.