FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Dr.-Ing. Dennis Müller
Orcid ID:
0000-0002-4482-4912
List of publications:
BibTeX-Download
Professur für Wissensrepräsentation und -verarbeitung
Project Memberships
(3)
Publications
(26)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
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
Representing Structural Language Features in Formal Meta-languages (2020)
Müller D, Rabe F, Rothgang C, Kohlhase M
Conference contribution, Original article
FrameIT: Detangling Knowledge Management from Game Design in Serious Games (2020)
Kohlhase M, Bösl B, Marcus R, Müller D, Rochau D, Roux N, Schihada J, Stamminger M
Conference contribution, Conference Contribution
The Coq Library as a Theory Graph (2019)
Müller D, Rabe F, Sacerdoti Coen C
Conference contribution
‹
1
2
3
›