Dr.-Ing. Dennis Müller

Professur für Wissensrepräsentation und -verarbeitung

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 FrameIT reloaded: Serious math games from modular math ontologies (2017) Kohlhase M, Müller D, Rochau D Conference contribution, Original article Classification of alignments between concepts of formal mathematical systems (2017) Kohlhase M, Müller D, Rabe F, Kaliszyk C, Gauthier T Conference contribution, Original article A standard for aligning mathematical concepts (2017) Kaliszyk C, Kohlhase M, Müller D, Rabe F Conference contribution, Original article 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