Dennis Müller

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 31

Top Topics

Knowledge Management

Semantically Annotated

Mathematical Concepts

Top Venues

FM4M/MathUI/ThEdu/DP/WIP@CIKM

Publications

Jonas Betzendahl, Michael Kohlhase, Dennis Müller
Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects. ECAI Workshops (2) (2023)
Dominic Lohr, Marc Berges, Michael Kohlhase, Dennis Müller, Max Rapp
The Y-Model - Formalization of Computer Science Tasks in the Context of Adaptive Learning Systems. GECon (2023)
Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller
Learning Support Systems Based on Mathematical Knowledge Management. CICM (2023)
Theresa Kruse, Marc Berges, Jonas Betzendahl, Michael Kohlhase, Dominic Lohr, Dennis Müller
Learning with ALeA: Tailored experiences through annotated course material. GI-Jahrestagung (2023)
Dennis Müller, Michael März, Stephan Scheele, Ute Schmid
An Interactive Explanatory AI System for Industrial Quality Control. AAAI (2022)
Michael Kohlhase, Dennis Müller
System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. CICM (2022)
Dennis Müller, Michael Kohlhase
Injecting Formal Mathematics Into LaTeX. CICM (2022)
Dennis Müller, Michael März, Stephan Scheele, Ute Schmid
An Interactive Explanatory AI System for Industrial Quality Control. CoRR (2022)
Marvin Herchenbach, Dennis Müller, Stephan Scheele, Ute Schmid
Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries. ICPRAI (2) (2022)
Peter Koepke, Dennis Müller
Preface. CICM Workshops (2021)
Dennis Müller, Cezary Kaliszyk
Disambiguating Symbolic Expressions in Informal Documents. ICLR (2021)
Dennis Müller, Michael Kohlhase, Jan Frederik Schaefer
System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper). CICM Workshops (2021)
Dennis Müller, Cezary Kaliszyk
Disambiguating Symbolic Expressions in Informal Documents. CoRR (2021)
Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase
Representing Structural Language Features in Formal Meta-languages. CICM (2020)
Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR (2020)
Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller, Denis Rochau, Navid Roux, John Schihada, Marc Stamminger
FrameIT: Detangling Knowledge Management from Game Design in Serious Games. CICM (2020)
Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
Relational Data Across Mathematical Libraries. CICM (2019)
Dennis Müller, Florian Rabe
Rapid Prototyping Formal Systems in MMT: 5 Case Studies. LFMTP@LICS (2019)
Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen
The Coq Library as a Theory Graph. CICM (2019)
Dennis Müller, Florian Rabe, Michael Kohlhase
Theories as Types. IJCAR (2018)
Florian Rabe, Dennis Müller
Structuring Theories with Implicit Morphisms. WADT (2018)
Dennis Müller, Michael Kohlhase, Florian Rabe
Automatically Finding Theory Morphisms for Knowledge Management. CICM (2018)
Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing
Knowledge-Based Interoperability for Mathematical Software Systems. MACIS (2017)
Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow
Mathematical Models as Research Data via Flexiformal Theory Graphs. CICM (2017)
Michael Kohlhase, Dennis Müller, Sam Owre, Florian Rabe
Making PVS Accessible to Generic Services by Interpretation in a Universal Format. ITP (2017)
Dennis Müller, Colin Rothgang, Yufei Liu, Florian Rabe
Alignment-based Translations Across Formal Systems Using Interface Theories. PxTP (2017)
Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe
Classification of Alignments Between Concepts of Formal Mathematical Systems. CICM (2017)
Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe
A Standard for Aligning Mathematical Concepts. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Dennis Müller
Knowledge Management across Formal Libraries. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM (2016)
Denis Rochau, Michael Kohlhase, Dennis Müller
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)