Dr.-Ing. Dennis Müller

Professur für Wissensrepräsentation und -verarbeitung

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