Prof. Dr. Michael Kohlhase

Professur für Wissensrepräsentation und -verarbeitung

The Potential of Answer Classes in Large-scale Written Computer-Science Exams (2023) Lohr D, Berges M, Kohlhase M, Rabe F Conference contribution, Conference Contribution Learning Support Systems based on Mathematical Knowledge Management (2023) Berges M, Betzendahl J, Chugh A, Kohlhase M, Lohr D, Müller D Conference contribution, Conference Contribution The Y-Model - Formalization of Computer-Science Tasks in the Context of Adaptive Learning Systems (2023) Lohr D, Berges M, Kohlhase M, Müller D, Rapp M Conference contribution, Conference Contribution Towards an Annotation Standard for STEM Documents: Datasets, Benchmarks, and Spotters (2023) Schäfer JF, Kohlhase M Conference contribution Learning with ALeA: Tailored experiences through annotated course material (2023) Kruse T, Berges M, Betzendahl J, Kohlhase M, Lohr D, Müller D Conference contribution, Conference Contribution Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking (2022) Kohlhase A, Kohlhase M Conference contribution MioGatto: A Math Identifier-oriented Grounding Annotation Tool (2022) Asakura T, Miyao Y, Aizawa A, Kohlhase M Conference contribution Dynamic User Interfaces via Incremental Knowledge Management (2022) Kohlhase M, Marcus R, Roux N, Schihada J Conference contribution System Description STEX3-A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents (2022) Kohlhase M, Müller D Conference contribution Injecting Formal Mathematics Into LATEX (2022) Müller D, Kohlhase M Conference contribution