Dr.-Ing. Dennis Müller



close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Leveraging Large Language Models to Generate Course-specific Semantically Annotated Learning Objects (2024) Lohr D, Berges MP, Chugh A, Kohlhase M, Müller D Journal article, Original article Guided Tours in ALeA: Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects (2024) Betzendahl J, Kohlhase M, Müller D Conference contribution Learning Support Systems based on Mathematical Knowledge Management (2023) Berges MP, 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 MP, Kohlhase M, Müller D, Rapp M Conference contribution, Conference Contribution Learning with ALeA: Tailored experiences through annotated course material (2023) Kruse T, Berges MP, Betzendahl J, Kohlhase M, Lohr D, Müller D Conference contribution, 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 Explaining Image Classifications with Near Misses, Near Hits and Prototypes: Supporting Domain Experts in Understanding Decision Boundaries (2022) Herchenbach M, Müller D, Scheele S, Schmid U Conference contribution DISAMBIGUATING SYMBOLIC EXPRESSIONS IN INFORMAL DOCUMENTS (2021) Müller D, Kaliszyk C Conference contribution Representing Structural Language Features in Formal Meta-languages (2020) Müller D, Rabe F, Rothgang C, Kohlhase M Conference contribution, Original article
1 2 3