Dr.-Ing. Dennis Müller

Orcid ID:

0000-0002-4482-4912

List of publications:

BibTeX-Download


Professur für Wissensrepräsentation und -verarbeitung
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

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 4 ›