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
@inproceedings{Gortworst_Okulmus_Ortiz_Turhan_2026, title={Reaching for the Stars in EL Concept Learning}, booktitle={Proceedings of the 39th International Workshop on Description Logics (DL 2026)}, author={Gortworst, Bente and Okulmus, Cem and Ortiz, Magdalena and Turhan, Anni-Yasmin}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66439
@inproceedings{Hüsing_Musaeus_Caspersen_Schulte_Barendsen_Grgurina_Hauswirth_Lonati_Mani_Monga_et al._2026, title={Epistemic Programming as a Scientific Field: Building a Community of Practice and an Interaction-Based Framework}, DOI={10.1145/3803401.3812051}, booktitle={Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 2}, publisher={ACM}, author={Hüsing, Sven and Musaeus, Line Have and Caspersen, Michael E. and Schulte, Carsten and Barendsen, Erik and Grgurina, Nataša and Hauswirth, Matthias and Lonati, Violetta and Mani, Murali and Monga, Mattia and et al.}, year={2026} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66097
@inproceedings{Kononova_van Stein_Mersmann_Bäck_Bartz-Beielstein_Glasmachers_Hellwig_Krey_Kudela_Naujoks_et al._2026, series={Lecture Notes in Computer Science}, title={Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact}, volume={16525}, DOI={10.1007/978-3-032-23607-4_20}, booktitle={Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II}, publisher={Springer}, author={Kononova, Anna V. and van Stein, Niki and Mersmann, Olaf and Bäck, Thomas and Bartz-Beielstein, Thomas and Glasmachers, Tobias and Hellwig, Michael and Krey, Sebastian and Kudela, Jakub and Naujoks, Boris and et al.}, editor={García-Sánchez, Pablo and lvarez, Josefa Díaz and Murphy, Aidan}, year={2026}, pages={327–344}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66095
@inproceedings{Skvorc_van Stein_Seiler_Grimme_Bäck_Trautmann_2026, series={Lecture Notes in Computer Science}, title={LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties}, volume={16525}, DOI={10.1007/978-3-032-23607-4_12}, booktitle={Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II}, publisher={Springer}, author={Skvorc, Urban and van Stein, Niki and Seiler, Moritz and Grimme, Britta and Bäck, Thomas and Trautmann, Heike}, editor={García-Sánchez, Pablo and lvarez, Josefa Díaz and Murphy, Aidan}, year={2026}, pages={183–199}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 61777
@inproceedings{Karaiskos_Rudolph_Meyer_Eisert_Gharibian_2026, title={How hard is it to verify a classical shadow?}, volume={374}, number={123}, booktitle={International Colloquium on Automata, Languages, and Programming (ICALP)}, author={Karaiskos, Georgios and Rudolph, Dorian and Meyer, Johannes Jakob and Eisert, Jens and Gharibian, Sevag}, year={2026}, pages={1–23} }
LibreCat
| arXiv
2026 | Conference Paper | LibreCat-ID: 64909
@inproceedings{Khedkar_Schlichtig_Bodden_2026, title={Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View}, DOI={10.1109/SANER67736.2026.00109}, booktitle={IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Khedkar, Mugdha and Schlichtig, Michael and Bodden, Eric}, year={2026} }
LibreCat
| DOI
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 66433
@inproceedings{Schiebel_Bodden_2026, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}, volume={372}, DOI={10.4230/LIPIcs.ECOOP.2026.23}, booktitle={40th European Conference on Object-Oriented Programming (ECOOP 2026)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Schiebel, Fabian Benedikt and Bodden, Eric}, editor={Krebbers, Robbert and Silva, Alexandra}, year={2026}, pages={23:1–23:28}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
@inproceedings{Kummita_Schiebel_Bodden_Miao_Wei_2026, title={Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}, DOI={10.1109/saner67736.2026.00114}, booktitle={2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, publisher={IEEE}, author={Kummita, Sriteja and Schiebel, Fabian Benedikt and Bodden, Eric and Miao, Miao and Wei, Shiyi}, year={2026} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 54450 | 
@article{Mindlin_Beer_Sieger_Heindorf_Cimiano_Esposito_Ngonga Ngomo_2025, title={Beyond One-Shot Explanations: A Systematic Literature Review of Dialogue-Based XAI Approaches}, volume={58}, DOI={10.1007/s10462-024-11007-7}, number={381}, journal={Artificial Intelligence Review}, publisher={Springer}, author={Mindlin, Dimitry and Beer, Fabian and Sieger, Leonie Nora and Heindorf, Stefan and Cimiano, Philipp and Esposito, Elena and Ngonga Ngomo, Axel-Cyrille}, year={2025} }
LibreCat
| DOI
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 59512
@article{Hovemann_Bita_Aldade_von Heißen_Dumitrescu_2025, title={Prompt Engineering im Systems Engineering}, volume={120}, DOI={10.1515/zwf-2024-0139}, number={s1}, journal={Zeitschrift für wirtschaftlichen Fabrikbetrieb}, publisher={Walter de Gruyter GmbH}, author={Hovemann, Aschot and Bita, Isaac Mpidi and Aldade, Abed Alrahman and von Heißen, Oliver and Dumitrescu, Roman}, year={2025}, pages={101–106} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59513
@article{Bernijazov_Dumitrescu_Hanke_von Heißen_Kaiser_Tissen_2025, title={AI-Augmented Model-Based Systems Engineering}, volume={120}, DOI={10.1515/zwf-2024-0123}, number={s1}, journal={Zeitschrift für wirtschaftlichen Fabrikbetrieb}, publisher={Walter de Gruyter GmbH}, author={Bernijazov, Ruslan and Dumitrescu, Roman and Hanke, Fabian and von Heißen, Oliver and Kaiser, Lydia and Tissen, Denis}, year={2025}, pages={96–100} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 59514
@inproceedings{Humpert_Zagatta_Anacker_Dumitrescu_2025, title={Systems Engineering and Validation: A systematic literature review}, DOI={10.1145/3708778.3708793}, booktitle={Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems}, publisher={ACM}, author={Humpert, Lynn and Zagatta, Kristin and Anacker, Harald and Dumitrescu, Roman}, year={2025} }
LibreCat
| DOI
2025 | Mastersthesis | LibreCat-ID: 59624
@book{Showmik_2025, title={Enhancing Blockchain Efficiency via Median Rule}, author={Showmik, Md Jannatul Baki}, year={2025} }
LibreCat
2025 | Conference Paper | LibreCat-ID: 58801 |
@inproceedings{Lange_Niere_von Niessen_Suermann_Heitmann_Somorovsky_2025, title={I(ra)nconsistencies: Novel Insights into Iran’s Censorship}, booktitle={Proceedings on Privacy Enhancing Technologies}, author={Lange, Felix and Niere, Niklas and von Niessen, Jonathan and Suermann, Dennis and Heitmann, Nico and Somorovsky, Juraj}, year={2025} }
LibreCat
| Files available
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 59835
@inproceedings{Hustermeier_Yigitbas_2025, title={A Novel Approach for Controlling Drone Swarms: Integrating LLMs and Augmented Reality}, booktitle={Proceedings of the 20th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2025)}, publisher={Springer}, author={Hustermeier, Lennart and Yigitbas, Enes}, year={2025} }
LibreCat
2025 | Conference Paper | LibreCat-ID: 59840 |
@inproceedings{Ahmetaj_Boneva_Hidders_Hose_Jakubowski_Labra Gayo_Martens_Mogavero_Murlak_Okulmus_et al._2025, title={Common Foundations for SHACL, ShEx, and PG-Schema}, DOI={10.1145/3696410.3714694}, booktitle={Proceedings of the ACM on Web Conference 2025}, publisher={ACM}, author={Ahmetaj, Shqiponja and Boneva, Iovka and Hidders, Jan and Hose, Katja and Jakubowski, Maxime and Labra Gayo, Jose Emilio and Martens, Wim and Mogavero, Fabio and Murlak, Filip and Okulmus, Cem and et al.}, year={2025}, pages={8–12} }
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 59833
@inproceedings{Wüppelmann_Yigitbas_2025, title={SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality}, booktitle={Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering (EASE 2025)}, publisher={ACM}, author={Wüppelmann, Dennis and Yigitbas, Enes}, year={2025} }
LibreCat
2025 | Conference Paper | LibreCat-ID: 59879
@inproceedings{Wüppelmann_Krings_Yigitbas_2025, title={SMART-EAT: Towards Sustainable Nutrition Education and Decision Support using XR}, booktitle={Proceedings of the 11th International Conference on Virtual Reality (ICVR 2025)}, publisher={IEEE}, author={Wüppelmann, Dennis and Krings, Sarah Claudia and Yigitbas, Enes}, year={2025} }
LibreCat
2025 | Conference Paper | LibreCat-ID: 59824 |
@inproceedings{Niere_Lange_Merget_Somorovsky_2025, title={Transport Layer Obscurity: Circumventing SNI Censorship on the TLS-Layer}, DOI={10.1109/SP61157.2025.00151}, booktitle={2025 IEEE Symposium on Security and Privacy (SP)}, author={Niere, Niklas and Lange, Felix and Merget, Robert and Somorovsky, Juraj}, year={2025} }
LibreCat
| Files available
| DOI
2025 | Book Chapter | LibreCat-ID: 60156
@inbook{Ködding_Jahn_Dumitrescu_Koldewey_2025, place={Cham}, title={Challenges for Scenario-Based Foresight and Potential for Digital Technologies: Insights from Practice}, DOI={10.1007/978-3-031-69994-8}, booktitle={New Digital Work II - Digital Sovereignty of Companies and Organizations}, publisher={Springer Nature Switzerland}, author={Ködding, Patrick and Jahn, Mathis and Dumitrescu, Roman and Koldewey, Christian}, editor={Schmuntzsch, Ulrike and Shajek, Alexandra and Hartmann, Ernst Andreas}, year={2025}, pages={93–108} }
LibreCat
| DOI