Publications

2025

• Concrete Domains Meet Expressive Cardinality Restrictions in Description LogicsBaader, F., Borgwardt, S., De Bortoli, F. & Koopmann, P., 2025, Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, 2025, Proceedings. Barrett, C. & Waldmann, U. (eds.). Springer, p. 676-695, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Contractions Based on Optimal Repairs (Extended Abstract)Baader, F. & Wassermann, R., 2025, Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025. Kwok, J. (ed.). ijcai.org, p. 10852-10857, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Damage detection and drone inspection of roads with digital twin technologyProkopets, V., Gutsche, C., Götz, S., Aßmann, U., Anantheswar, A., Wollny, I., Kaliske, M. & 5 others, 2025, Advances in Materials and Pavement Performance Prediction IV: Contributions to the 4th International Conference on Advances in Materials and Pavement Performance Prediction (AM3P 2025). Eberhardsteiner, L., Hofko, B. & Blab, R. (eds.). Vienna: TU Wien, Vol. IV. p. 600-603Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Dataflow models of computation for programming heterogeneous multicoresCastrillon, J., Desnos, K., Goens, A. & Menard, C., 2025, Handbook of Computer Architecture. Chattopadhyay, A. (ed.). Springer Nature, p. 1107-1146, 40 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Datenbasierte Assistenzsysteme in der Arbeitswelt: Effiziente Entwicklung zielgruppenspezifischer BI-Dashboards in UnternehmenSchmauder, M., Hahmann, M. & Ott, G., 2025, In: Industry 4.0 Science : Spitzenforschung zu Industrie 4.0 und Smart Factory. 41, 5, p. 136-143, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Demonstration of Millimeter Wave Radar Sensing in Fire and Smoky EnvironmentsBatra, A., Prokscha, A., Schultze, T., Farhoud, R., Wiemeler, M., Gohringer, D., Balzer, J. C. & 1 others, 2025, 2025 International Conference on Mobile and Miniaturized Terahertz Systems, ICMMTS 2025. Institute of Electrical and Electronics Engineers (IEEE)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Designing Effective Feedback in Educational Programming Assistants: Recommendations, Analysis, and Practical GuidelinesBarzanji, C., Müller, T. T. & Loitsch, C., 2025, Mensch und Computer 2025 - Workshopband. Gesellschaft für Informatik e.V., 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Disaggregated Pipeline Grouping LIVEGeyer, A., Krause, A., Habich, D. & Lehner, W., 2025, p. 875-881Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Domain Adaption of a Heterogeneous Textual Dataset for Semantic Similarity ClusteringNikulski, E., Gonsior, J., Hartmann, C. & Lehner, W., 2025, 12 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Efficient Post-training Augmentation for Adaptive Inference in Heterogeneous and Distributed IoT EnvironmentsSponner, M., Servadei, L., Waschneck, B., Wille, R. & Kumar, A., 2025, Embedded Computer Systems: Architectures, Modeling, and Simulation: 24th International Conference, SAMOS 2024, Samos, Greece, June 29 – July 4, 2024, Proceedings, Part II. Carro, L., Regazzoni, F. & Pilato, C. (eds.). Springer Science and Business Media B.V., p. 99-108, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ein paar Augen mehr: Gesellschaftliche Entscheidungsprozesse am Beispiel von Machine Learning.Sprenger, M., Marx, E. & Spalteholz, W., 2025, p. 297-298Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Elicit and Weigh: A Voting-Based Approach to Optimal Weights in Imprecise Linear PoolingBauer, L. & Karge, J., 2025, Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23–26, 2025, Proceedings. Sauerwald, K. & Thimm, M. (eds.). Springer, p. 253–266, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enabling LLM Knowledge Analysis via Extensive MaterializationHu, Y., Nguyen, T., Ghosh, S. & Razniewski, S., 2025, The 63rd Annual Meeting of the Association for Computational Linguistics (ACL). Association for Computational Linguistics (ACL)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Endomersion: An Immersive Remote Guidance and Feedback System for Robot-Assisted Minimally Invasive SurgeryEllenberg, M. O., Krug, K., Fan, Y., Krzywinski, J., Dachselt, R., Younis, R., Wagner, M. & 5 others, 2025, Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025. Saint Malo, France, p. 1610-1611, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploring RISC-V Instruction-Level Optimization Through Macro-Operation Fusion for TensorFlow-based ModelsOthman, A., Röder, N., Kamaleldin, A. & Göhringer, D., 2025, 2025 IEEE 38th International System-on-Chip Conference (SOCC). Zhao, D. & Hofmann, K. (eds.).p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• FASTlabel: Making Supervised Query Optimizer Hinting PracticalThiessat, K., Habich, D. & Lehner, W., 2025, BTW2025 - Datenbanksysteme für Business, Technologie und Web. p. 241-264Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Gärdenfors's Supplementary Postulates for Partial Product ContractionsBaader, F. & Wassermann, R., 2025, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23–26, 2025, Proceedings. Sauerwald, K. & Thimm, M. (eds.). Springer, p. 269-284, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Immersive In Situ Visualizations for Monitoring Architectural-Scale Multiuser MR ExperiencesYu, Z., Zeidler, D., Chandran, K., Engeln, L., Mende, K. & McGinity, M., 2025, 16th International Conference on Information Visualization Theory and Applications. Vol. 1. p. 895-902, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data FlowsRehms, S., Köpsell, S., Klös, V. & Tschorsch, F., 2025, p. 202-220, 19 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Introducing GPTKB to the Semantic WebHu, Y., Nguyen, T. P., Ghosh, S., Müller, M. & Razniewski, S., 2025, ISWC-C 2025 Industry, Doctoral Consortium, Posters and Demos at ISWC 2025 : Joint Proceedings of Industry, Doctoral Consortium, Posters and Demos of the 24th International Semantic Web Conference (ISWC-C 2025). p. 363-368Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Legal Requirements, Trust Issues and Engineering Challenges - A Multi-disciplinary Case for User-Specific ExplainabilityFairhurst, M., Kaesling, K. & Klös, V., 2025, Explainable Artificial Intelligence: Third World Conference xAI 2025. Guidotti, R., Schmid, U. & Longo, L. (eds.).p. 354-377Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Letter from the Editors in ChiefLehner, W., Yang, J., Palpanas, T. & Tatbul, N., 2025, In: Proceedings of the VLDB Endowment. 18, 9, p. ixElectronic (full-text) versionResearch output: Contribution to journal > Letter
• LM-KBC 2025: 4th Challenge on Knowledge Base Construction from Pre-trained Language ModelsKalo, J. C., Razniewski, S., Zhang, B. & Nguyen, T. P., 2025, KBC-LM Workshop and LM-KBC Challenge at ISWC 2025: Joint Proceedings of the 3rd Workshop on Knowledge Base Construction from Pre-Trained Language Models and the 4th Challenge on Language Models for Knowledge Base Construction (KBC-LM+LM-KBC 2025). Razniewski, S., Kalo, J., Islakoğlu, D., Nguyen, T. & Zhang, B. (eds.).7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Multiplicative Rewards in Markovian ModelsBaier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 2025, Proceedings - 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025. Institute of Electrical and Electronics Engineers (IEEE), p. 499-512, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution