Publikationen

2026

• Multimodal Late Fusion Model for Problem-Solving Strategy Classification in a Machine Learning GameWitt, C., Leonhardt, T., Bergner, N. & Grillenberger, M., 2026, Two Decades of TEL. From Lessons Learnt to Challenges Ahead: 20th European Conference on Technology Enhanced Learning, EC-TEL 2025, Newcastle upon Tyne and Durham, UK, September 15–19, 2025, Proceedings, Part II. Tammets, K., Sosnovsky, S., Ferreira Mello, R., Pishtari, G. & Nazaretsky, T. (Hrsg.). Springer-Verlag, S. 281–286, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Navigation for People with Disabilities and Older People: Current Challenges and OpportunitiesPetrie, H., Weber, G. & Bramwell-Dicks, A., 2026, Human -Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part IV. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (Hrsg.).S. 389–394, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Non-visual Approaches to Present Live Data to Blind and Low-Vision People: A Systematic Literature ReviewEtzold, E. F., Branig, M. & Weber, G., 2026, Human-Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part I. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (Hrsg.).S. 131–155, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On Integrating Provenance Data in IPFSGoertz, K., Daniel, E. & Tschorsch, F., 2026, S. 1-3Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Pinpointing Idle-Power Regressions in LinuxTröpgen, H., Smejkal, T., Ilsche, T., Schöne, R. & Schirmeier, H., 2026, High Performance Computing. ISC High Performance 2025 International Workshops: Energy Efficiency with Sustainable Performance: Techniques, Tools, and Best Practices. Neuwirth, S., Paul, A. K., Weinzierl, T. & Carson, E. C. (Hrsg.).S. 205-218, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Preface of the 39th International Workshop on Description Logics (DL 2026) proceedingsKovtunova, A. & Sertkaya, B., 2026, Proceedings of the 39th International Workshop on Description Logics, DL 2026Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th BirthdayBertrand, N., Dubslaff, C. & Klüppelholz, S., 2026, Springer, Cham, 426 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Proceedings 29th International Conference on Extending Database Technology, EDBT 2026, Tampere, Finland, March 24-27, 2026Lehner, W., Braganholo, V., Stefanidis, K., Zhang, Z., Krause, A. & Pimentel, J. F. N., 2026Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Proceedings of the 23rd International Conference on Principles of Knowledge Representation and ReasoningWassermann, R., Mugnier, M. & Baader, F., 2026, IJCAI OrganizationElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• ProofTeller: Exposing Recency Bias in LLM Reasoning and Its Side Effects on Communication (Extended Abstract)Jobanputra, M., Kovtunova, A., Balthes, B., Pogulskiy, F. G., Wang, Y., Borgwardt, S. & Demberg, V., 2026, Proceedings of the 39th International Workshop on Description Logics, DL 2026. 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reassessing Active Learning Adoption in Contemporary NLP: A Community Survey.Romberg, J., Schröder, C., Gonsior, J., Tomanek, K. & Olsson, F., 2026, Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics. Demberg, V., Inui, K. & Marquez, L. (Hrsg.).Band 1: Long Papers. S. 2621-2647, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reducing Perceived Mental Effort of AIG Cognitive Model Creation Using LLM-Powered SuggestionsStahr, F., Kucharski, S., Braun, I. & Damnik, G., 2026, Proceedings of the 18th International Conference on Computer Supported Education. Tovar, E., Di Mascio, T. & Meinel, C. (Hrsg.). SciTePress - Science and Technology Publications, Band 1. S. 665-672, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Simulating the Monitoring of Robotic Systems Under Tele-TestScholze, A., Kassuba, A., Well, V. & Aßmann, U., 2026, Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part I. Margaria, T. & Steffen, B. (Hrsg.). Springer Nature, S. 342-359, 484 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SPARQL in N3: SPARQL construct as a Rule Language for the Semantic WebArndt, D., Van Woensel, W. & Tomaszuk, D., 2026, Rules and Reasoning: 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22–24, 2025, Proceedings. Hogan, A., Satoh, K., Dag, H., Turhan, A., Roman, D., Roman, D. & Soylu, A. (Hrsg.). Springer Science and Business Media B.V., S. 209-226, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Standpoint Logics with Defeasible BeliefsLeisegang, N., Meyer, T. & Rudolph, S., 2026, Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2026), Lisbon, Portugal, July 17 - 19, 2026Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW InequalityBudde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (Hrsg.). Springer, Cham, S. 83-94, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Stop Gambling! It Just Takes Too LongKlüppelholz, S. & Piribauer, J., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Bertrand, N., Dubslaff, C. & Klüppelholz, S. (Hrsg.). Springer, Cham, S. 139-157, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• SurgeryWagner, M., Younis, R., Krug, K., Ellenberg, M. O., Fan, Y., Winger, H., Pannasch, S. & 12 weitere, 2026, Humans, Robots, and Virtual Worlds in the Tactile Internet. Elsevier, S. 17-33, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of ModelsBaader, F. & De Bortoli, F., 2026, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (Hrsg.). 1 Aufl., Springer, Cham, S. 22-39, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Modal Logic of Abstraction RefinementPiribauer, J. & Zschuppe, V., 2026, Foundations of Software Science and Computation Structures: 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Bertrand, N. & Milius, S. (Hrsg.). Springer, Cham, S. 527-548, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Measuring Privacy in Distributed Process MiningWeisenseel, M. & Tschorsch, F., 2026, S. 13-17, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Towards Visual Decision Support in Interactive RepairAlrabbaa, C., Baader, F., Dachselt, R., Kansakar, P., Méndez, J. & Zanganeh, A., 2026, DL 2026 Description Logics 2026: Proceedings of the 39th International Workshop on Description Logics (DL 2026) co-located with the Federated Logic Conference (FLoC 2026). Kovtunova, A. & Sertkaya, B. (Hrsg.).14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Verification meets CausalityBaier, C., 2026, Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems. S. 1, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Visual-Tactile Sensing for Minimally Invasive PalpationMascot, A., Doshi, S., Koch, R., Younis, R., Ke, W., Wagner, M., Calandra, R. & 1 weitere, 2026, Proceedings of the 2026 Design of Medical Devices Conference, DMD 2026. American Society of Mechanical Engineers (ASME), 5 S., V001T05A005Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• What Are the Odds? Improving Statistical Model Checking of Markov Decision ProcessesMeggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (Hrsg.). Springer, Cham, S. 195-218, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband