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)
Knowledge-based interoperability for mathematical software systems (2017)
Kohlhase M, de Feo L, Müller D, Pfeiffer M, Rabe F, Wiesing T
Conference contribution
Mathematical models as research data in numerical simulation of opto-electronic devices (2017)
Koprucki T, Kohlhase M, Müller D, Tabelow K
Conference contribution, Conference Contribution
Mathematical models as research data via flexiformal theory graphs (2017)
Kohlhase M, Koprucki T, Müller D, Tabelow K
Conference contribution, Original article
A Flexible, Interactive Theory-Graph Viewer (2017)
Müller D, Kohlhase M, Rupprecht M
Conference contribution, Conference Contribution
Alignment-based Translations Across Formal Systems Using Interface Theories (2017)
Müller D, Rabe F, Rothgang C, Liu Y
Conference contribution
Interoperability in the OpenDreamKit project: The math-in-the-middle approach (2016)
Müller D, Wiesing T, Thiery N, Dehaye P, Iancu M, Kohlhase M, Konovalov A, et al.
Conference contribution, Original article
‹
1
2
3
›