Publications

2025

• 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, CEUR Workshop Proceedings. Vol. 4083Research 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 Hamlyn Symposium on Medical Robotics 2025. London, England: The Hamlyn Centre, Imperial College LondonElectronic (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
• Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative ExamplesKriegel, 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
• Utilization of Large Language Models for conformity assessment: Chances, Threats, and Mitigations.Litzinger, J., Peters, D., Thiel, F. & Tschorsch, F., 2025, p. 61-68, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Visualization on Smart Wristbands: Results from an In-situ Design Workshop with Four ScenariosIslam, A., Grioui, F., Dachselt, R. & Isenberg, P., 2025, VIS 2025 - Posters of the IEEE Conference on Visualization and Visual Analytics. VIS'25, 2025. 2 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Visualizing Data on Non-Flat, Non-Rectangular Displays (Dagstuhl Seminar 25082)Bezerianos, A., Dachselt, R., Willett, W. J. & Langner, R., 2025, In: Dagstuhl Reports. 15, 2, p. 110-125Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Vorstellung eines Concept Inventory zum maschinellen Lernen (CIML)Marx, E. & Bergner, N., 2025Electronic (full-text) versionResearch output: Contribution to conferences > Abstract
• Why Lift so Heavy? Slimming Large Language Models by Cutting Off the LayersYuan, S., Nie, E., Ma, B. & Färber, M., 2025, International Joint Conference on Neural Networks, IJCNN 2025 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2024

• Horned-OWL: Flying Further and Faster with OntologiesLord, P., Gehrke, B., Larralde, M., Hastings, J., De Bortoli, F., Overton, J., Balhoff, J. & 1 others, 18 Dec 2024, In: Transactions on Graph Data and Knowledge (TGDK). 2, 2, 14 p., 9Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Learning locally dominant force balances in active particle systemsSturm, D., Maddu, S. & Sbalzarini, I. F., 18 Dec 2024, In: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 480 (2024), 2304, 25 p., 20230532Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Loss of bimolecular reactions in reaction–diffusion master equations is consistent with diffusion limited reaction kinetics in the mean field limitSubic, T. & Sbalzarini, I. F., 16 Dec 2024, In: The Journal of chemical physics. 161 (2024), 23, 12 p., 234107Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Perfect Fit? - Towards Containers on MicrokernelsMiemietz, T., Reusch, V., Hille, M., Kurze, M., Lackorzynksi, A., Roitzsch, M. & Härtig, H., 2 Dec 2024, WoC '24: Proceedings of the 10th International Workshop on Container Technologies and Container Clouds. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multi-Stakeholder Policy Enforcement for Distributed SystemsWalther, R. H., Weinhold, C., Amthor, P. & Roitzsch, M., 2 Dec 2024, WoC '24: Proceedings of the 10th International Workshop on Container Technologies and Container Clouds. 1 ed., Hong Kong, Hong Kong: Association for Computing Machinery (ACM), New York, Vol. 10. p. 7-12, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Distributed Petri nets for model-driven verifiable robotic applications in ROSEbert, S., Mey, J., Schöne, R., Götz, S. & Aßmann, U., Dec 2024, In: Innovations in Systems and Software Engineering. 20, 4, p. 531-557, 27 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article