Publications

2025

• 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
• Pixel Memories: Do Lifelog Summaries Fail to Enhance Memory but Offer Privacy-Aware Memory Assessments?Elagroudy, P., Rzayev, R., Machulla, T., Le, H. V., Dingler, T., Lischke, L., Clinch, S. & 2 others, 2025, Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems.CHI '25, Yokohama, JapanElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• 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
• Reliable peak detection and feature extraction for wireless electrocardiogramsFarrokhi, S., Dargie, W. & Poellabauer, C., 2025, In: Computers in Biology and Medicine. 185, 109478Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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
• 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. p. 18143-18169, 27 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Small Term Reachability and Related Problems for Terminating Term Rewriting SystemsBaader, F. & Giesl, J., 2025, In: Logical methods in computer science. 21, 4, 31 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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
• 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
• 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 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Toward an All-in-One Platform for Mixed Reality ExhibitionsYu, Z., Töpfer, F., Christ, E. & McGinity, M., 2025, KUI 2025 – Proceedings Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Large-Scale Top-Down Microarchitecture Analysis Using the Score-P FrameworkSander, M., Tröpgen, H., von Elm, C. & Schöne, R., 2025, Euro-Par 2024: Parallel Processing Workshops: Euro-Par 2024 International Workshops, Madrid, Spain, August 26–30, 2024, Proceedings, Part I. Caino-Lores, S., Zeinalipour, D., Doudali, T. D., Singh, D. E., Garzón, G. E. M., Sousa, L., Andrade, D., Cucinotta, T., D'Ambrosio, D., Diehl, P., Dolz, M. F., Jukan, A., Montella, R., Nardelli, M., Garcia-Gasulla, M. & Neuwirth, S. (eds.). Springer Science and Business Media B.V., p. 189-200, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Tactile Internet in Surgery: Multimodal Sensor Data Acquisition for Gesture Recognition and Immersive Tele-MentoringYounis, R., Rodriguez, A., Ellenberg, M. O., Just, G., Eckstein, K. B., Krug, K., Fan, Y. & 16 others, 2025, Proceedings of the 17th Hamlyn Symposium on Medical Robotics 2025. London, England: The Hamlyn Centre, Imperial College London, p. 47-48Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TQHD: Thermometer Encoding Based Quantization for Hyperdimensional ComputingVieira, C., Castrillon, J. & Beck, A. C. S., 2025, IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2025 - Conference Proceedings. IEEE Computer SocietyElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Understanding Debugging as Episodes: A Case Study on Performance Bugs in Configurable Software SystemsWeber, M., Mailach, A., Apel, S., Siegmund, J., Dachselt, R. & Siegmund, N., 2025, In: Proceedings of the ACM on Software Engineering. 2, FSE, p. 1409-1431, 23 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Unitless Unrestricted Markov-Consistent SCM Generation: Better Benchmark Datasets for Causal DiscoveryHerman, R. J., Wahl, J., Ninad, U. & Runge, J., 2025, Proceedings of the Fourth Conference on Causal Learning and Reasoning. p. 1506-1531, 26 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Using compact Retrieval-Augmented Generation for knowledge preservation in SMBsSchönwälder, E., Hahmann, M. & Ott, G., 2025, Human Interaction and Emerging Technologies (IHIET-AI 2025): Artificial Intelligence and Future Applications. Ahram, T., Lopez Arquillos, A., Gandarias, J. & Morales Casas, A. (eds.).11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution