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.

5712 Publications


2023 | Conference Paper | LibreCat-ID: 48012
Security Analysis of the 3MF Data Format
J. Rossel, V. Mladenov, J. Somorovsky, in: Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses, ACM, 2023.
LibreCat | Files available | DOI | Download (ext.)
 

2023 | Preprint | LibreCat-ID: 51159 | OA LibreCat | Download (ext.)
 

2023 | Preprint | LibreCat-ID: 51158 | OA
Error analysis of kernel EDMD for prediction and control in the Koopman framework
F. Philipp, M. Schaller, K. Worthmann, S. Peitz, F. Nüske, ArXiv:2312.10460 (2023).
LibreCat | Download (ext.) | arXiv
 

2023 | Conference Paper | LibreCat-ID: 47049
Design and Evaluation of an AR Voice-based Indoor UAV Assistant for Smart Home Scenarios
R. Helmert, T. Hardes, E. Yigitbas, in: Proceedings of the ACM Symposium on Spatial User Interaction (SUI 2023), ACM, 2023.
LibreCat
 

2023 | Dissertation | LibreCat-ID: 51352 | OA
Decision Support Ecosystems: Assisted Low-Code Development of Tailored Decision Support Systems
J. Kirchhoff, Decision Support Ecosystems: Assisted Low-Code Development of Tailored Decision Support Systems, Universität Paderborn, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Preprint | LibreCat-ID: 32447 | OA LibreCat | Download (ext.) | arXiv
 

2023 | Preprint | LibreCat-ID: 46578 | OA
Multiobjective Optimization of Non-Smooth PDE-Constrained Problems
M. Bernreuther, M. Dellnitz, B. Gebken, G. Müller, S. Peitz, K. Sonntag, S. Volkwein, ArXiv:2308.01113 (2023).
LibreCat | Download (ext.) | arXiv
 

2023 | Conference Paper | LibreCat-ID: 44146
Static Analysis for Android GDPR Compliance Assurance
M. Khedkar, in: Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), n.d.
LibreCat | Files available | DOI | arXiv
 

2023 | Mastersthesis | LibreCat-ID: 52317
Self-Stabilizing Skip-Graph with Growth-bounded Metric
B. Beckendorf, Self-Stabilizing Skip-Graph with Growth-Bounded Metric, 2023.
LibreCat
 

2023 | Journal Article | LibreCat-ID: 46248 | OA
LitCQD: Multi-Hop Reasoning in Incomplete Knowledge Graphs with Numeric Literals
C. Demir, M. Wiebesiek, R. Lu, A.-C. Ngonga Ngomo, S. Heindorf, ECML PKDD (2023).
LibreCat | Files available
 

2023 | Conference Paper | LibreCat-ID: 52369
Towards a Data-Driven Product Management – Concepts, Advantages, and Future Research
T. Fichtler, K. Grigoryan, C. Koldewey, R. Dumitrescu, in: 2023 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD), IEEE, 2023.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 52530
Investigating the Viability of Existing Exploratory Landscape Analysis Features for Mixed-Integer Problems
R.P. Prager, H. Trautmann, in: S. Silva, L. Paquete (Eds.), Companion Proceedings of the Conference on Genetic and Evolutionary Computation, GECCO 2023, Companion Volume, Lisbon, Portugal, July 15-19, 2023, ACM, 2023, pp. 451–454.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 48898
Using Reinforcement Learning for Per-Instance Algorithm Configuration on the TSP
M.V. Seiler, J. Rook, J. Heins, O.L. Preuß, J. Bossek, H. Trautmann, in: 2023 IEEE Symposium Series on Computational Intelligence (SSCI), n.d., pp. 361–368.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52662
Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale
M. Nachtigall, M. Schlichtig, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 95–96.
LibreCat | Download (ext.)
 

2023 | Book Chapter | LibreCat-ID: 52660
Introducing FUM: A Framework for API Usage Constraint and Misuse Classification
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 105–106.
LibreCat | Download (ext.)
 

2023 | Book Chapter | LibreCat-ID: 52859
Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 52861
Optimal Alignment of Temporal Knowledge Bases
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 52863
Analyzing the Generalizability of Automated Algorithm Selection: A Case Study for Numerical Optimization
U. Ŝkvorc, T. Eftimov, P. Koro]ec, in: 2023 IEEE Symposium Series on Computational Intelligence (SSCI), IEEE, 2023.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 52913
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), 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, CEUR-WS.org, 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 46500
Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth
J. Pottebaum, J. Rossel, J. Somorovsky, Y. Acar, R. Fahr, P. Arias Cabarcos, E. Bodden, I. Gräßler, in: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), IEEE, 2023, pp. 379–385.
LibreCat | DOI | Download (ext.)
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed