Publications

2025

• 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
• 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
• 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
• Verilog-A look-up table model of a TIG-RFET compatible with 22 nm FDSOI design rules satisfying Gummel SymmetryMartinez, J. P., Bhattacharjee, N., He, Y., Galderisi, G., Kavand, N., Kumar, A., Mikolajick, T. & 1 others, 2025, 2025 14th International Conference on Modern Circuits and Systems Technologies, MOCAST 2025 - Proceedings. 2025 ed., Institute of Electrical and Electronics Engineers (IEEE)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Welcome from the CASES 2025 Program ChairsCastrillon, J. & Dubach, C., 2025, Proceedings - 2025 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2025. p. IX-XElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript
• 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), p. 1-8Electronic (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
• Estimation of Motion Statistics From Statistics of Received Power in Low-Power IoT Sensing NodesDargie, W., 1 Dec 2024, In: IEEE Sensors Letters. 8, 12, p. 1-4, 4 p., 10735365Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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
• Entropic risk for turn-based stochastic gamesBaier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Dec 2024, In: Information and computation. 301(2024), Part A, 105214Electronic (full-text) versionResearch output: Contribution to journal > Research article
• network-based constraint to evaluate climate sensitivityRicard, L., Falasca, F., Runge, J. & Nenes, A., Dec 2024, In: Nature communications. 15, 1, 6942Electronic (full-text) versionResearch output: Contribution to journal > Research article