Publications

2025

• Model Checking Markov Chains as Distribution TransformersAghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Springer, Cham, p. 293-313, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Navigating Time and Energy Trade-Offs in Reactive Heterogeneous SystemsLin, S., Tanneberger, T., Bi, J., Feng, G., Xu, Y., Robledo, J., Khasanov, R. & 1 others, 2025, In: IEEE Embedded Systems Letters. 17, 2, p. 103-106Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. (eds.).p. 406-450, 45 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic LogicLyon, T., 2025, In: Lecture Notes in Computer Science. p. 113-119, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• 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 others, 2025, In: Journal of optical communications and networking : JOCN. 17, 3, p. 221-232, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Optimal obfuscation of awareness messages: Improving users' unlinkability in Intelligent Transport Systems.Zolotavkin, Y., Baryshev, Y., Mähn, J., Lukichov, V. & Köpsell, S., 2025, In: Computer Networks. 257Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Pack-a-Capsule – Extending a VR Serious Game on Network Communications to Enable Collaborative GameplayBaberowski, D., Leonhardt, T., Röpke, R. & Irmak, S., 2025, Fachtagung Bildungstechnologien (DELFI 2025)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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) . Vol. 4062. p. 21-38, 18 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.).p. 36-55, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 PracticesResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Privacy Analysis and Enhancement for Joint Communication and Sensing Applications.Zolotavkin, Y., Dass, P. & Köpsell, S., 2025, p. 1604-1609Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• PrivTru: A Privacy-by-Design Data Trustee Minimizing Information Leakage.Gehring, L. & Tschorsch, F., 2025, p. 104-118, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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 2025Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order LogicÁlvarez, L. G. & Rudolph, S., 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. Ortiz, M., Wassermann, R. & Schaub, T. (eds.). IJCAI Organization, p. 366textendash375Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, p. 40-60, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer Science and Business Media B.V., p. 44-69, 26 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Separation-Based Distance Measures for Causal GraphsWahl, J. & Runge, J., 2025, 28th International Conference on Artificial Intelligence and Statistics, AISTATS 2025. p. 3412-3420, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sicherheitsmechanismen des Cloud-Computings zur Verwendung in KorrekturverfahrenKrahn, R. & Fetzer, C., 2025, Thermo-energetische Gestaltung von Werkzeugmaschinen: Praxishandbuch. Brecher, C. (ed.). Wiesbaden: Springer Fachmedien Wiesbaden GmbH, p. 213-234, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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 2025Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). Springer, Cham, p. 167–190, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 2025Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree SequentsLyon, T., Shillito, I. & Tiu, A., 2025, In: LIPIcs. 326Research output: Contribution to journal > Conference article
• 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, p. 382-397, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article