Publikationen

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. (Hrsg.). Springer, S. 676-695, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). ijcai.org, S. 10852-10857, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 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. (Hrsg.). Vienna: TU Wien, Band IV. S. 600-603Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Dataflow models of computation for programming heterogeneous multicoresCastrillon, J., Desnos, K., Goens, A. & Menard, C., 2025, Handbook of Computer Architecture. Chattopadhyay, A. (Hrsg.). Springer Nature, S. 1107-1146, 40 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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, S. 136-143, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, 2025, 2025 International Conference on Mobile and Miniaturized Terahertz Systems, ICMMTS 2025. Institute of Electrical and Electronics Engineers (IEEE)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Disaggregated Pipeline Grouping LIVEGeyer, A., Krause, A., Habich, D. & Lehner, W., 2025, S. 875-881Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Domain Adaption of a Heterogeneous Textual Dataset for Semantic Similarity ClusteringNikulski, E., Gonsior, J., Hartmann, C. & Lehner, W., 2025, 12 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 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. (Hrsg.). Springer Science and Business Media B.V., S. 99-108, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Ein paar Augen mehr: Gesellschaftliche Entscheidungsprozesse am Beispiel von Machine Learning.Sprenger, M., Marx, E. & Spalteholz, W., 2025, S. 297-298Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. (Hrsg.). Springer, S. 253–266, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 2025, Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025. Saint Malo, France, S. 1610-1611, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FASTlabel: Making Supervised Query Optimizer Hinting PracticalThiessat, K., Habich, D. & Lehner, W., 2025, BTW2025 - Datenbanksysteme für Business, Technologie und Web. S. 241-264Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, S. 269-284, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. Band 1. S. 895-902, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data FlowsRehms, S., Köpsell, S., Klös, V. & Tschorsch, F., 2025, S. 202-220, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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). S. 363-368Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 354-377Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Letter from the Editors in ChiefLehner, W., Yang, J., Palpanas, T. & Tatbul, N., 2025, in: Proceedings of the VLDB Endowment. 18, 9, S. ixElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Kurzartikel (Letter) / Leserbrief mit Originaldaten
• 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. (Hrsg.).7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 293-313, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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), S. 499-512, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband