Dennis Müller

According to our database, Dennis Müller authored at least 30 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Learning Support Systems Based on Mathematical Knowledge Management.

Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

Learning with ALeA: Tailored experiences through annotated course material.

Theresa Kruse, Marc Berges, Jonas Betzendahl, Michael Kohlhase, Dominic Lohr, Dennis Müller

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

The Y-Model - Formalization of Computer Science Tasks in the Context of Adaptive Learning Systems.

Dominic Lohr, Marc Berges, Michael Kohlhase, Dennis Müller, Max Rapp

Proceedings of the 2nd IEEE German Education Conference, 2023

Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects.

Jonas Betzendahl, Michael Kohlhase, Dennis Müller

Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

2022

Injecting Formal Mathematics Into LaTeX.

Dennis Müller, Michael Kohlhase

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents.

Michael Kohlhase, Dennis Müller

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries.

Marvin Herchenbach, Dennis Müller, Stephan Scheele, Ute Schmid

Proceedings of the Pattern Recognition and Artificial Intelligence, 2022

An Interactive Explanatory AI System for Industrial Quality Control.

Dennis Müller, Michael März, Stephan Scheele, Ute Schmid

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Preface.

Peter Koepke, Dennis Müller

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper).

Dennis Müller, Michael Kohlhase, Jan Frederik Schaefer

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

Disambiguating Symbolic Expressions in Informal Documents.

Dennis Müller, Cezary Kaliszyk

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems.

Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda

CoRR, 2020

FrameIT: Detangling Knowledge Management from Game Design in Serious Games.

Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller, Denis Rochau, Navid Roux, John Schihada, Marc Stamminger

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Representing Structural Language Features in Formal Meta-languages.

Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

2019

Mathematical Knowledge Management Across Formal Libraries (Mathematisches Wissensmanagement Über Formale Bibliotheksgrenzen Hinaus)

Dennis Müller

PhD thesis, 2019

Rapid Prototyping Formal Systems in MMT: 5 Case Studies.

Dennis Müller, Florian Rabe

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019

Relational Data Across Mathematical Libraries.

Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

The Coq Library as a Theory Graph.

Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2018

Structuring Theories with Implicit Morphisms.

Florian Rabe, Dennis Müller

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

Automatically Finding Theory Morphisms for Knowledge Management.

Dennis Müller, Michael Kohlhase, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Theories as Types.

Dennis Müller, Florian Rabe, Michael Kohlhase

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Alignment-based Translations Across Formal Systems Using Interface Theories.

Dennis Müller, Colin Rothgang, Yufei Liu, Florian Rabe

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017

Classification of Alignments Between Concepts of Formal Mathematical Systems.

Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Mathematical Models as Research Data via Flexiformal Theory Graphs.

Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Knowledge-Based Interoperability for Mathematical Software Systems.

Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

Making PVS Accessible to Generic Services by Interpretation in a Universal Format.

Michael Kohlhase, Dennis Müller, Sam Owre, Florian Rabe

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

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

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

FrameIT Reloaded: Serious Math Games from Modular Math Ontologies.

Denis Rochau, Michael Kohlhase, Dennis Müller

Proceedings of the Joint Proceedings of the FM4M, 2016

Knowledge Management across Formal Libraries.

Dennis Müller

Proceedings of the Joint Proceedings of the FM4M, 2016

A Standard for Aligning Mathematical Concepts.

Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe

Proceedings of the Joint Proceedings of the FM4M, 2016