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
(29)
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)
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
Rapid prototyping formal systems in MMT: 5 case studies (2019)
Müller D, Rabe F
Conference contribution
The Coq Library as a Theory Graph (2019)
Müller D, Rabe F, Sacerdoti Coen C
Conference contribution
Relational Data Across Mathematical Libraries (2019)
Condoluci A, Kohlhase M, Müller D, Rabe F, Sacerdoti Coen C, Wenzel M
Conference contribution
Structuring Theories with Implicit Morphisms (2019)
Müller D, Rabe F
Conference contribution
Model pathway diagrams for the representation of mathematical models (2018)
Müller D, Kohlhase M, Koprucki T, Tabelow K, Rabe F
Journal article, Original article
Theories as Types (2018)
Müller D, Kohlhase M, Rabe F
Conference contribution, Original article
Automatically finding theory morphisms for knowledge management (2018)
Müller D, Kohlhase M, Rabe F
Conference contribution, Original article
Making PVS accessible to generic services by interpretation in a universal format (2017)
Kohlhase M, Müller D, Owre S, Rabe F
Conference contribution, Original article
Knowledge-Based Interoperability for Mathematical Software Systems (2017)
Kohlhase M, Müller D, Pfeiffer M, Rabe F, Thiery N, Vasilyev V, Wiesing T
Conference contribution, Original article
‹
1
2
3
›