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.
6260 Publications
2026 | Conference Paper | LibreCat-ID: 66379
Reaching for the Stars in EL Concept Learning
B. Gortworst, C. Okulmus, M. Ortiz, A.-Y. Turhan, in: Proceedings of the 39th International Workshop on Description Logics (DL 2026), 2026.
LibreCat
B. Gortworst, C. Okulmus, M. Ortiz, A.-Y. Turhan, in: Proceedings of the 39th International Workshop on Description Logics (DL 2026), 2026.
2026 | Conference Paper | LibreCat-ID: 66097
Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact
A.V. Kononova, N. van Stein, O. Mersmann, T. Bäck, T. Bartz-Beielstein, T. Glasmachers, M. Hellwig, S. Krey, J. Kudela, B. Naujoks, L. Papenmeier, E. Raponi, Q. Renau, J. Rook, L. Schäpermeier, D. Vermetten, D. Zaharie, in: P. García-Sánchez, J.D. lvarez, A. Murphy (Eds.), Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, Springer, 2026, pp. 327–344.
LibreCat
| DOI
A.V. Kononova, N. van Stein, O. Mersmann, T. Bäck, T. Bartz-Beielstein, T. Glasmachers, M. Hellwig, S. Krey, J. Kudela, B. Naujoks, L. Papenmeier, E. Raponi, Q. Renau, J. Rook, L. Schäpermeier, D. Vermetten, D. Zaharie, in: P. García-Sánchez, J.D. lvarez, A. Murphy (Eds.), Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, Springer, 2026, pp. 327–344.
2026 | Conference Paper | LibreCat-ID: 66095
LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties
U. Skvorc, N. van Stein, M. Seiler, B. Grimme, T. Bäck, H. Trautmann, in: P. García-Sánchez, J.D. lvarez, A. Murphy (Eds.), Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, Springer, 2026, pp. 183–199.
LibreCat
| DOI
U. Skvorc, N. van Stein, M. Seiler, B. Grimme, T. Bäck, H. Trautmann, in: P. García-Sánchez, J.D. lvarez, A. Murphy (Eds.), Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, Springer, 2026, pp. 183–199.
2026 | Conference Paper | LibreCat-ID: 61777
How hard is it to verify a classical shadow?
G. Karaiskos, D. Rudolph, J.J. Meyer, J. Eisert, S. Gharibian, in: International Colloquium on Automata, Languages, and Programming (ICALP), 2026, pp. 1–23.
LibreCat
| arXiv
G. Karaiskos, D. Rudolph, J.J. Meyer, J. Eisert, S. Gharibian, in: International Colloquium on Automata, Languages, and Programming (ICALP), 2026, pp. 1–23.
2026 | Conference Paper | LibreCat-ID: 64909
Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View
M. Khedkar, M. Schlichtig, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2026.
LibreCat
| DOI
| Download (ext.)
M. Khedkar, M. Schlichtig, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2026.
2026 | Conference Paper | LibreCat-ID: 66433
Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding
F.B. Schiebel, E. Bodden, in: R. Krebbers, A. Silva (Eds.), 40th European Conference on Object-Oriented Programming (ECOOP 2026), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2026, p. 23:1–23:28.
LibreCat
| DOI
F.B. Schiebel, E. Bodden, in: R. Krebbers, A. Silva (Eds.), 40th European Conference on Object-Oriented Programming (ECOOP 2026), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2026, p. 23:1–23:28.
2026 | Conference Paper | LibreCat-ID: 66429
Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study
S. Kummita, F.B. Schiebel, E. Bodden, M. Miao, S. Wei, in: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026.
LibreCat
| DOI
S. Kummita, F.B. Schiebel, E. Bodden, M. Miao, S. Wei, in: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026.
2025 | Journal Article | LibreCat-ID: 54450 | 
Beyond One-Shot Explanations: A Systematic Literature Review of Dialogue-Based XAI Approaches
D. Mindlin, F. Beer, L.N. Sieger, S. Heindorf, P. Cimiano, E. Esposito, A.-C. Ngonga Ngomo, Artificial Intelligence Review 58 (2025).
LibreCat
| DOI
| Download (ext.)
D. Mindlin, F. Beer, L.N. Sieger, S. Heindorf, P. Cimiano, E. Esposito, A.-C. Ngonga Ngomo, Artificial Intelligence Review 58 (2025).
2025 | Journal Article | LibreCat-ID: 59512
Prompt Engineering im Systems Engineering
A. Hovemann, I.M. Bita, A.A. Aldade, O. von Heißen, R. Dumitrescu, Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120 (2025) 101–106.
LibreCat
| DOI
A. Hovemann, I.M. Bita, A.A. Aldade, O. von Heißen, R. Dumitrescu, Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120 (2025) 101–106.
2025 | Journal Article | LibreCat-ID: 59513
AI-Augmented Model-Based Systems Engineering
R. Bernijazov, R. Dumitrescu, F. Hanke, O. von Heißen, L. Kaiser, D. Tissen, Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120 (2025) 96–100.
LibreCat
| DOI
R. Bernijazov, R. Dumitrescu, F. Hanke, O. von Heißen, L. Kaiser, D. Tissen, Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 120 (2025) 96–100.
2025 | Conference Paper | LibreCat-ID: 59514
Systems Engineering and Validation: A systematic literature review
L. Humpert, K. Zagatta, H. Anacker, R. Dumitrescu, in: Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems, ACM, 2025.
LibreCat
| DOI
L. Humpert, K. Zagatta, H. Anacker, R. Dumitrescu, in: Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems, ACM, 2025.
2025 | Mastersthesis | LibreCat-ID: 59624
Enhancing Blockchain Efficiency via Median Rule
M.J.B. Showmik, Enhancing Blockchain Efficiency via Median Rule, 2025.
LibreCat
M.J.B. Showmik, Enhancing Blockchain Efficiency via Median Rule, 2025.
2025 | Conference Paper | LibreCat-ID: 58801 |
I(ra)nconsistencies: Novel Insights into Iran’s Censorship
F. Lange, N. Niere, J. von Niessen, D. Suermann, N. Heitmann, J. Somorovsky, in: Proceedings on Privacy Enhancing Technologies, 2025.
LibreCat
| Files available
| Download (ext.)
F. Lange, N. Niere, J. von Niessen, D. Suermann, N. Heitmann, J. Somorovsky, in: Proceedings on Privacy Enhancing Technologies, 2025.
2025 | Conference Paper | LibreCat-ID: 59835
A Novel Approach for Controlling Drone Swarms: Integrating LLMs and Augmented Reality
L. Hustermeier, E. Yigitbas, in: Proceedings of the 20th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2025), Springer, 2025.
LibreCat
L. Hustermeier, E. Yigitbas, in: Proceedings of the 20th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2025), Springer, 2025.
2025 | Conference Paper | LibreCat-ID: 59840 |
Common Foundations for SHACL, ShEx, and PG-Schema
S. Ahmetaj, I. Boneva, J. Hidders, K. Hose, M. Jakubowski, J.E. Labra Gayo, W. Martens, F. Mogavero, F. Murlak, C. Okulmus, A. Polleres, O. Savković, M. Šimkus, D. Tomaszuk, in: Proceedings of the ACM on Web Conference 2025, ACM, 2025, pp. 8–12.
LibreCat
| DOI
| Download (ext.)
S. Ahmetaj, I. Boneva, J. Hidders, K. Hose, M. Jakubowski, J.E. Labra Gayo, W. Martens, F. Mogavero, F. Murlak, C. Okulmus, A. Polleres, O. Savković, M. Šimkus, D. Tomaszuk, in: Proceedings of the ACM on Web Conference 2025, ACM, 2025, pp. 8–12.
2025 | Conference Paper | LibreCat-ID: 59833
SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality
D. Wüppelmann, E. Yigitbas, in: Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering (EASE 2025), ACM, 2025.
LibreCat
D. Wüppelmann, E. Yigitbas, in: Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering (EASE 2025), ACM, 2025.
2025 | Conference Paper | LibreCat-ID: 59879
SMART-EAT: Towards Sustainable Nutrition Education and Decision Support using XR
D. Wüppelmann, S.C. Krings, E. Yigitbas, in: Proceedings of the 11th International Conference on Virtual Reality (ICVR 2025), IEEE, 2025.
LibreCat
D. Wüppelmann, S.C. Krings, E. Yigitbas, in: Proceedings of the 11th International Conference on Virtual Reality (ICVR 2025), IEEE, 2025.
2025 | Conference Paper | LibreCat-ID: 59824 |
Transport Layer Obscurity: Circumventing SNI Censorship on the TLS-Layer
N. Niere, F. Lange, R. Merget, J. Somorovsky, in: 2025 IEEE Symposium on Security and Privacy (SP), 2025.
LibreCat
| Files available
| DOI
N. Niere, F. Lange, R. Merget, J. Somorovsky, in: 2025 IEEE Symposium on Security and Privacy (SP), 2025.
2025 | Book Chapter | LibreCat-ID: 60156
Challenges for Scenario-Based Foresight and Potential for Digital Technologies: Insights from Practice
P. Ködding, M. Jahn, R. Dumitrescu, C. Koldewey, in: U. Schmuntzsch, A. Shajek, E.A. Hartmann (Eds.), New Digital Work II - Digital Sovereignty of Companies and Organizations, Springer Nature Switzerland, Cham, 2025, pp. 93–108.
LibreCat
| DOI
P. Ködding, M. Jahn, R. Dumitrescu, C. Koldewey, in: U. Schmuntzsch, A. Shajek, E.A. Hartmann (Eds.), New Digital Work II - Digital Sovereignty of Companies and Organizations, Springer Nature Switzerland, Cham, 2025, pp. 93–108.
2025 | Conference Paper | LibreCat-ID: 60160
Chances of smart Views: Integration of Stakeholder perspectives using videobased Views in MBSE
F. Förster, S. Bausen, R. Bernijazov, C. Koldewey, R. Dumitrescu, N. Bursac, in: K. Hölzle, M. Kreimeyer, D. Roth, T. Maier, O. Riedel (Eds.), Stuttgarter Symposium Für Produktentwicklung SSP 2025, Fraunhofer IAO, Stuttgart, 2025, pp. 102–113.
LibreCat
| DOI
F. Förster, S. Bausen, R. Bernijazov, C. Koldewey, R. Dumitrescu, N. Bursac, in: K. Hölzle, M. Kreimeyer, D. Roth, T. Maier, O. Riedel (Eds.), Stuttgarter Symposium Für Produktentwicklung SSP 2025, Fraunhofer IAO, Stuttgart, 2025, pp. 102–113.