@articleVan Hirtum_De Causmaecker_Goemaere_Kenter_Riebler_Lass_Plessl_2023, title=A computation of D(9) using FPGA Supercomputing, journal=arXiv:2304.03039, author=Van Hirtum, Lennart and De Causmaecker, Patrick and Goemaere, Jens and Kenter, Tobias and Riebler, Heinrich and Lass, Michael and Plessl, Christian, year=2023 
LibreCat: /record/43439
arXiv: 2304.03039

@inproceedingsRossel_Mladenov_Somorovsky_2023, title=Security Analysis of the 3MF Data Format, DOI=10.1145/3607199.3607216, booktitle=Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses, publisher=ACM, author=Rossel, Jost and Mladenov, Vladislav and Somorovsky, Juraj, year=2023 
LibreCat: /record/48012
DOI: 10.1145/3607199.3607216

@articleAmakor_Sonntag_Peitz_2023, title=A multiobjective continuation method to compute the regularization path of deep neural networks, journal=arXiv, author=Amakor, Augustina Chidinma and Sonntag, Konstantin and Peitz, Sebastian, year=2023 
LibreCat: /record/51159

@articlePhilipp_Schaller_Worthmann_Peitz_Nüske_2023, title=Error analysis of kernel EDMD for prediction and control in the Koopman  framework, journal=arXiv:2312.10460, author=Philipp, Friedrich and Schaller, Manuel and Worthmann, Karl and Peitz, Sebastian and Nüske, Feliks, year=2023 
LibreCat: /record/51158
arXiv: 2312.10460

@inproceedingsHelmert_Hardes_Yigitbas_2023, title=Design and Evaluation of an AR Voice-based Indoor UAV Assistant for Smart Home Scenarios, booktitle=Proceedings of the ACM Symposium on Spatial User Interaction (SUI 2023), publisher=ACM, author=Helmert, Robin and Hardes, Tobias and Yigitbas, Enes, year=2023 
LibreCat: /record/47049

@bookKirchhoff_2023, title=Decision Support Ecosystems: Assisted Low-Code Development of Tailored Decision Support Systems, DOI=10.17619/UNIPB/1-1845, publisher=Universität Paderborn, author=Kirchhoff, Jonas, year=2023 
LibreCat: /record/51352
DOI: 10.17619/UNIPB/1-1845

@articleSonntag_Peitz_2023, title=Fast Convergence of Inertial Multiobjective Gradient-like Systems with Asymptotic Vanishing Damping, journal=arXiv:2307.00975, author=Sonntag, Konstantin and Peitz, Sebastian, year=2023 
LibreCat: /record/32447
arXiv: 2307.00975

@articleBernreuther_Dellnitz_Gebken_Müller_Peitz_Sonntag_Volkwein_2023, title=Multiobjective Optimization of Non-Smooth PDE-Constrained Problems, journal=arXiv:2308.01113, author=Bernreuther, Marco and Dellnitz, Michael and Gebken, Bennet and Müller, Georg and Peitz, Sebastian and Sonntag, Konstantin and Volkwein, Stefan, year=2023 
LibreCat: /record/46578
arXiv: 2308.01113

@inproceedingsKhedkar, title=Static Analysis for Android GDPR Compliance Assurance, DOI=10.1109/ICSE-Companion58688.2023.00054, booktitle=Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), author=Khedkar, Mugdha 
LibreCat: /record/44146
DOI: 10.1109/ICSE-Companion58688.2023.00054
arXiv: 2303.09606

@bookBeckendorf_2023, title=Self-Stabilizing Skip-Graph with Growth-bounded Metric, author=Beckendorf, Björn, year=2023 
LibreCat: /record/52317

@articleDemir_Wiebesiek_Lu_Ngonga Ngomo_Heindorf_2023, title=LitCQD: Multi-Hop Reasoning in Incomplete Knowledge Graphs with Numeric Literals, journal=ECML PKDD, author=Demir, Caglar and Wiebesiek, Michel and Lu, Renzhong and Ngonga Ngomo, Axel-Cyrille and Heindorf, Stefan, year=2023 
LibreCat: /record/46248

@inproceedingsFichtler_Grigoryan_Koldewey_Dumitrescu_2023, title=Towards a Data-Driven Product Management – Concepts, Advantages, and Future Research, DOI=10.1109/ictmod59086.2023.10438135, booktitle=2023 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD), publisher=IEEE, author=Fichtler, Timm and Grigoryan, Khoren and Koldewey, Christian and Dumitrescu, Roman, year=2023 
LibreCat: /record/52369
DOI: 10.1109/ictmod59086.2023.10438135

@inproceedingsPrager_Trautmann_2023, title=Investigating the Viability of Existing Exploratory Landscape Analysis Features for Mixed-Integer Problems, DOI=10.1145/3583133.3590757, booktitle=Companion Proceedings of the Conference on Genetic and Evolutionary Computation, GECCO 2023, Companion Volume, Lisbon, Portugal, July 15-19, 2023, publisher=ACM, author=Prager, Raphael Patrick and Trautmann, Heike, editor=Silva, Sara and Paquete, Luís, year=2023, pages=451–454 
LibreCat: /record/52530
DOI: 10.1145/3583133.3590757

@inproceedingsSeiler_Rook_Heins_Preuß_Bossek_Trautmann, title=Using Reinforcement Learning for Per-Instance Algorithm Configuration on the TSP, DOI=10.1109/SSCI52147.2023.10372008, booktitle=2023 IEEE Symposium Series on Computational Intelligence (SSCI), author=Seiler, Moritz Vinzent and Rook, Jeroen and Heins, Jonathan and Preuß, Oliver Ludger and Bossek, Jakob and Trautmann, Heike, pages=361–368 
LibreCat: /record/48898
DOI: 10.1109/SSCI52147.2023.10372008

@inbookNachtigall_Schlichtig_Bodden_2023, place=Bonn, title=Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale, booktitle=Software Engineering 2023, publisher=Gesellschaft für Informatik e.V., author=Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric, year=2023, pages=95–96 
LibreCat: /record/52662

@inbookSchlichtig_Sassalla_Narasimhan_Bodden_2023, place=Bonn, title=Introducing FUM: A Framework for API Usage Constraint and Misuse Classification, booktitle=Software Engineering 2023, publisher=Gesellschaft für Informatik e.V., author=Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric, year=2023, pages=105–106 
LibreCat: /record/52660

@inbookde Camargo e Souza Câmara_Turhan_2023, place=Cham, title=Deciding Subsumption in Defeasible $$\'6dathcal ELI_$$ with Typicality Models, DOI=10.1007/978-3-031-43619-2_36, booktitle=Logics in Artificial Intelligence, publisher=Springer Nature Switzerland, author=de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin, year=2023 
LibreCat: /record/52859
DOI: 10.1007/978-3-031-43619-2_36

@articleGil_Patrizi_Perelli_Turhan_2023, title=Optimal Alignment of Temporal Knowledge Bases, volume=abs/2307.15439, DOI=10.48550/ARXIV.2307.15439, journal=CoRR, author=Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin, year=2023 
LibreCat: /record/52861
DOI: 10.48550/ARXIV.2307.15439

@inproceedingsckvorc_Eftimov_Koro]ec_2023, title=Analyzing the Generalizability of Automated Algorithm Selection: A Case Study for Numerical Optimization, DOI=10.1109/ssci52147.2023.10371868, booktitle=2023 IEEE Symposium Series on Computational Intelligence (SSCI), publisher=IEEE, author=ckvorc, Urban and Eftimov, Tome and Koro]ec, Peter, year=2023 
LibreCat: /record/52863
DOI: 10.1109/ssci52147.2023.10371868

@inproceedingsTurhan_2023, series=CEUR Workshop Proceedings, title=Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk), volume=3515, booktitle=Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, publisher=CEUR-WS.org, author=Turhan, Anni-Yasmin, editor=Kutz, Oliver and Lutz, Carsten and Ozaki, Ana, year=2023, collection=CEUR Workshop Proceedings 
LibreCat: /record/52913