Formal Languages for Mathematics. - Jonas Betzendahl (CICM Workshops, 2018)

Translating the IMPS Theory Library to MMT/OMDoc. - Jonas Betzendahl; Michael Kohlhase (CICM, 2018)

Definedness Reasoning in Formal Mathematics and Theorem Proving. - Jonas Betzendahl (CICM Workshops, 2019)

Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics - Extended Abstract. - Jonas Betzendahl (CICM Workshops, 2021)

Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects. - Jonas Betzendahl; Michael Kohlhase; Dennis Müller 001 (ECAI Workshops (2), 2023)

Learning with ALeA: Tailored experiences through annotated course material. - Theresa Kruse; Marc Berges; Jonas Betzendahl; Michael Kohlhase; Dominic Lohr; Dennis Müller 001 (GI-Jahrestagung, 2023)

Learning Support Systems Based on Mathematical Knowledge Management. - Marc Berges; Jonas Betzendahl; Abhishek Chugh; Michael Kohlhase; Dominic Lohr; Dennis Müller 001 (CICM, 2023)