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
• 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
• 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
• 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
• 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
• 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-68Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Vorstellung eines Concept Inventory zum maschinellen Lernen (CIML)Marx, E. & Bergner, N., 2025Electronic (full-text) versionResearch output: Contribution to conferences > Abstract
• When Diversity in Voting Trumps AbilityKarge, J., 2025, In: EpistemeResearch output: Contribution to journal > Research article

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