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.

6261 Publications


2026 | Conference Paper | LibreCat-ID: 66379
B. Gortworst, C. Okulmus, M. Ortiz, and A.-Y. Turhan, “Reaching for the Stars in EL Concept Learning,” 2026.
LibreCat
 

2026 | Conference Paper | LibreCat-ID: 66439
S. Hüsing et al., “Epistemic Programming as a Scientific Field: Building a Community of Practice and an Interaction-Based Framework,” 2026, doi: 10.1145/3803401.3812051.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66097
A. V. Kononova et al., “Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact,” in Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, 2026, vol. 16525, pp. 327–344, doi: 10.1007/978-3-032-23607-4_20.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66095
U. Skvorc, N. van Stein, M. Seiler, B. Grimme, T. Bäck, and H. Trautmann, “LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties,” in Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II, 2026, vol. 16525, pp. 183–199, doi: 10.1007/978-3-032-23607-4_12.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 61777
G. Karaiskos, D. Rudolph, J. J. Meyer, J. Eisert, and S. Gharibian, “How hard is it to verify a classical shadow?,” in International Colloquium on Automata, Languages, and Programming (ICALP), 2026, vol. 374, no. 123, pp. 1–23.
LibreCat | arXiv
 

2026 | Conference Paper | LibreCat-ID: 64909
M. Khedkar, M. Schlichtig, and E. Bodden, “Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View,” 2026, doi: 10.1109/SANER67736.2026.00109.
LibreCat | DOI | Download (ext.)
 

2026 | Conference Paper | LibreCat-ID: 66433
F. B. Schiebel and E. Bodden, “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding,” in 40th European Conference on Object-Oriented Programming (ECOOP 2026), 2026, vol. 372, p. 23:1–23:28, doi: 10.4230/LIPIcs.ECOOP.2026.23.
LibreCat | DOI
 

2026 | Conference Paper | LibreCat-ID: 66429
S. Kummita, F. B. Schiebel, E. Bodden, M. Miao, and S. Wei, “Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study,” 2026, doi: 10.1109/saner67736.2026.00114.
LibreCat | DOI
 

2025 | Journal Article | LibreCat-ID: 54450 | OA
D. Mindlin et al., “Beyond One-Shot Explanations: A Systematic Literature Review of Dialogue-Based XAI Approaches,” Artificial Intelligence Review, vol. 58, no. 3, Art. no. 81, 2025, doi: 10.1007/s10462-024-11007-7.
LibreCat | DOI | Download (ext.)
 

2025 | Journal Article | LibreCat-ID: 59512
A. Hovemann, I. M. Bita, A. A. Aldade, O. von Heißen, and R. Dumitrescu, “Prompt Engineering im Systems Engineering,” Zeitschrift für wirtschaftlichen Fabrikbetrieb, vol. 120, no. s1, pp. 101–106, 2025, doi: 10.1515/zwf-2024-0139.
LibreCat | DOI
 

2025 | Journal Article | LibreCat-ID: 59513
R. Bernijazov, R. Dumitrescu, F. Hanke, O. von Heißen, L. Kaiser, and D. Tissen, “AI-Augmented Model-Based Systems Engineering,” Zeitschrift für wirtschaftlichen Fabrikbetrieb, vol. 120, no. s1, pp. 96–100, 2025, doi: 10.1515/zwf-2024-0123.
LibreCat | DOI
 

2025 | Conference Paper | LibreCat-ID: 59514
L. Humpert, K. Zagatta, H. Anacker, and R. Dumitrescu, “Systems Engineering and Validation: A systematic literature review,” 2025, doi: 10.1145/3708778.3708793.
LibreCat | DOI
 

2025 | Mastersthesis | LibreCat-ID: 59624
M. J. B. Showmik, Enhancing Blockchain Efficiency via Median Rule. 2025.
LibreCat
 

2025 | Conference Paper | LibreCat-ID: 58801 | OA
F. Lange, N. Niere, J. von Niessen, D. Suermann, N. Heitmann, and J. Somorovsky, “I(ra)nconsistencies: Novel Insights into Iran’s Censorship,” presented at the Free and Open Communications on the Internet, Virtual, 2025.
LibreCat | Files available | Download (ext.)
 

2025 | Conference Paper | LibreCat-ID: 59835
L. Hustermeier and E. Yigitbas, “A Novel Approach for Controlling Drone Swarms: Integrating LLMs and Augmented Reality,” 2025.
LibreCat
 

2025 | Conference Paper | LibreCat-ID: 59840 | OA
S. Ahmetaj et al., “Common Foundations for SHACL, ShEx, and PG-Schema,” in Proceedings of the ACM on Web Conference 2025, Sidney, Australia, 2025, pp. 8–12, doi: 10.1145/3696410.3714694.
LibreCat | DOI | Download (ext.)
 

2025 | Conference Paper | LibreCat-ID: 59833
D. Wüppelmann and E. Yigitbas, “SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality,” 2025.
LibreCat
 

2025 | Conference Paper | LibreCat-ID: 59879
D. Wüppelmann, S. C. Krings, and E. Yigitbas, “SMART-EAT: Towards Sustainable Nutrition Education and Decision Support using XR,” 2025.
LibreCat
 

2025 | Conference Paper | LibreCat-ID: 59824 | OA
N. Niere, F. Lange, R. Merget, and J. Somorovsky, “Transport Layer Obscurity: Circumventing SNI Censorship on the TLS-Layer,” presented at the 46th IEEE Symposium on Security and Privacy, San Francisco, 2025, doi: 10.1109/SP61157.2025.00151.
LibreCat | Files available | DOI
 

2025 | Book Chapter | LibreCat-ID: 60156
P. Ködding, M. Jahn, R. Dumitrescu, and C. Koldewey, “Challenges for Scenario-Based Foresight and Potential for Digital Technologies: Insights from Practice,” in New Digital Work II - Digital Sovereignty of Companies and Organizations, U. Schmuntzsch, A. Shajek, and E. A. Hartmann, Eds. Cham: Springer Nature Switzerland, 2025, pp. 93–108.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed