Publikationen

2025

• Neuartige Display-Umgebungen zur intuitiven DatenvisualisierungDachselt, R., 2025, Grenzen überwinden – voneinander lernen: 21. GI-Fachtagung Informatik und Schule, INFOS 2025, Stoos, Schweiz. Grillenberger, M. & Grillenberger, A. (Hrsg.).S. 17-26Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Non-parametric Conditional Independence Testing for Mixed Continuous-Categorical Variables: A Novel Method and Numerical EvaluationPopescu, O. I., Gerhardus, A., Rabel, M. & Runge, J., 2025, Proceedings of the Fourth Conference on Causal Learning and Reasoning. Huang, B. & Drton, M. (Hrsg.).S. 406-450, 45 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic LogicLyon, T., 2025, Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings. Hojjat, H. & Caltais, G. (Hrsg.). Springer, Cham, S. 113-119, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optical-access networks for smart sustainable cities: from network architecture to fiber deploymentAdib, M. M. H., Matalla, P., Füllner, C., Li, S., Giacoumidis, E., Raack, C., Menne, U. & 10 weitere, 2025, in: Journal of optical communications and networking : JOCN. 17, 3, S. 221-232, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Pack-a-Capsule – Extending a VR Serious Game on Network Communications to Enable Collaborative GameplayBaberowski, D., Leonhardt, T., Röpke, R. & Irmak, S., 2025, 23. Fachtagung Bildungstechnologien (DELFI 2025). S. 363-368Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PAP2PAT: Benchmarking Outline-Guided Long-Text Patent Generation with Patent-Paper PairsKnappich, V., Hätty, A., Razniewski, S. & Friedrich, A., 2025, Findings of the Association for Computational Linguistics (ACL Findings). Association for Computational Linguistics (ACL)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PEDANTIC: A Dataset for the Automatic Examination of Definiteness in Patent ClaimsKnappich, V., Friedrich, A., Hätty, A. & Razniewski, S., 2025, 6th Workshop on Patent Text Mining and Semantic Technologies (PatentSemTech) . Band 4062. S. 21-38, 18 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Personas of Autistic Office Workers: A Foundation for Developing Effective Assistive Technologies.Engel, C., Gollasch, D., Branig, M., Schmalfuß-Schwarz, J. & Weber, G., 2025, Universal Access in Human-Computer Interaction: 19th International Conference, UAHCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I. Antona, M. & Stephanidis, C. (Hrsg.).S. 36-55, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Pinpointing Idle-Power Regressions in LinuxTröpgen, H., Smejkal, T., Ilsche, T., Schöne, R. & Schirmeier, H., 2025, High Performance Computing. ISC High Performance 2025 International Workshops: Energy Efficiency with Sustainable Performance: Techniques, Tools, and Best PracticesPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PrivTru: A Privacy-by-Design Data Trustee Minimizing Information Leakage.Gehring, L. & Tschorsch, F., 2025, S. 104-118, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• ProofTeller: Exposing recency bias in LLM reasoning and its side effects on communicationJobanputra, M., Kovtunova, A., Balthes, B., Pogulskiy, F. G., Wang, Y., Borgwardt, S. & Demberg, V., 2025, International Joint Conference on Natural Language Processing & Asia-Pacific Chapter of the Association for Computational Linguistics: IJCNLP–AACL 2025Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reasoning in OWL 2 EL with Hierarchical Concrete DomainsKriegel, F., 2025, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (Hrsg.). Springer, S. 40-60, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reasoning in OWL 2 EL with Hierarchical Concrete Domains (Extended Abstract)Kriegel, F., 2025, Proceedings of the 38th International Workshop on Description Logics (DL 2025)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Responsibility in Actor-Based SystemsBaier, C., Klüppelholz, S. & Lehmann, J., 2025, Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lee, E. A., Mousavi, M. R. & Talcott, C. (Hrsg.). Springer Science and Business Media B.V., S. 44-69, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Sanity Checking Causal Representation Learning on a Simple Real-World SystemGamella, J. L., Bing, S. & Runge, J., 2025, International Conference on Machine Learning, 13-19 July 2025, Vancouver Convention Center, Vancouver, Canada. S. 18143-18169, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Separation-Based Distance Measures for Causal GraphsWahl, J. & Runge, J., 2025, 28th International Conference on Artificial Intelligence and Statistics, AISTATS 2025. S. 3412-3420, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sicherheitsmechanismen des Cloud-Computings zur Verwendung in KorrekturverfahrenKrahn, R. & Fetzer, C., 2025, Thermo-energetische Gestaltung von Werkzeugmaschinen: Praxishandbuch. Brecher, C. (Hrsg.). Wiesbaden: Springer Fachmedien Wiesbaden GmbH, S. 213-234, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Small Term Reachability and Related Problems for Terminating Term Rewriting SystemsBaader, F. & Giesl, J., 2025, in: Logical methods in computer science. 21, 4, 31 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Sonic Scribbles – Constructing Sketch Classes from Visual Associations of the Mental Model for AudioEngeln, L. & Groh, R., 2025, Proceedings of the 20th International Audio Mostly Conference, AM 2025Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sound Statistical Model Checking for Probabilities and Expected RewardsBudde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (Hrsg.). Springer, Cham, S. 167–190, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Spatial Audio Paths – Spatial Expressiveness of Immersive 3D Audio Trajectory EditingEngeln, L., Georgi, L., Ludwig, R., Chandran, K., Töpfer, F. & McGinity, M., 2025, Proceedings of the 20th International Audio Mostly Conference, AM 2025Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Last Hop Attack: Why Loop Cover Traffic over Fixed Cascades Threatens Anonymity.Weisenseel, M., Döpmann, C. & Tschorsch, F., 2025, in: Proceedings on privacy enhancing technologies : PoPETs. 2025, 2, S. 382-397, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The Shape of ℰℒ Proofs: A Tale of Three CalculiAlrabbaa, C., Borgwardt, S., Herrmann, P. & Krötzsch, M., 2025, Description Logics 2025: Proceedings of the 38th International Workshop on Description Logics - DL 2025 Opole, Poland, September 3-6, 2025.. CEUR-WS.org, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Time for Fun3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down ReasoningVan Woensel, W., Arndt, D. & De Roo, J., 2025, Rule Challenge, Doctoral Consortium, Industry Track, and Networking Session 2025: Companion Proceedings of the 9th International Joint Conference on Rules and Reasoning (RuleML+RR 2025) also co-located with 21th Reasoning Web Summer School (RW 2025) and 17th DecisionCAMP 2025 as part of Declarative AI 2025. 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Toward an All-in-One Platform for Mixed Reality ExhibitionsYu, Z., Töpfer, F., Christ, E. & McGinity, M., 2025, KUI 2025 – Proceedings Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband