A Standard for Aligning Mathematical Concepts. - Cezary Kaliszyk; Michael Kohlhase; Dennis Müller 001; Florian Rabe 001 (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

Knowledge Management across Formal Libraries. - Dennis Müller 001 (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. - Denis Rochau; Michael Kohlhase; Dennis Müller 001 (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. - Paul-Olivier Dehaye; Mihnea Iancu; Michael Kohlhase; Alexander Konovalov 001; Samuel Lelièvre; Dennis Müller 001; Markus Pfeiffer; Florian Rabe 001; Nicolas M. Thiéry; Tom Wiesing (CICM, 2016)

Making PVS Accessible to Generic Services by Interpretation in a Universal Format. - Michael Kohlhase; Dennis Müller 001; Sam Owre; Florian Rabe 001 (ITP, 2017)

Knowledge-Based Interoperability for Mathematical Software Systems. - Michael Kohlhase; Luca De Feo; Dennis Müller 001; Markus Pfeiffer; Florian Rabe 001; Nicolas M. Thiéry; Victor Vasilyev; Tom Wiesing (MACIS, 2017)

Mathematical Models as Research Data via Flexiformal Theory Graphs. - Michael Kohlhase; Thomas Koprucki; Dennis Müller 001; Karsten Tabelow (CICM, 2017)

Classification of Alignments Between Concepts of Formal Mathematical Systems. - Dennis Müller 001; Thibault Gauthier; Cezary Kaliszyk; Michael Kohlhase; Florian Rabe 001 (CICM, 2017)

Alignment-based Translations Across Formal Systems Using Interface Theories. - Dennis Müller 001; Colin Rothgang; Yufei Liu; Florian Rabe 001 (PxTP, 2017)

Theories as Types. - Dennis Müller 001; Florian Rabe 001; Michael Kohlhase (IJCAR, 2018)

Automatically Finding Theory Morphisms for Knowledge Management. - Dennis Müller 001; Michael Kohlhase; Florian Rabe 001 (CICM, 2018)

Structuring Theories with Implicit Morphisms. - Florian Rabe 001; Dennis Müller 001 (WADT, 2018)

The Coq Library as a Theory Graph. - Dennis Müller 001; Florian Rabe 001; Claudio Sacerdoti Coen (CICM, 2019)

Relational Data Across Mathematical Libraries. - Andrea Condoluci; Michael Kohlhase; Dennis Müller 001; Florian Rabe 001; Claudio Sacerdoti Coen; Makarius Wenzel (CICM, 2019)

Rapid Prototyping Formal Systems in MMT: 5 Case Studies. - Dennis Müller 001; Florian Rabe 001 (LFMTP@LICS, 2019)

Mathematical Knowledge Management Across Formal Libraries (Mathematisches Wissensmanagement Über Formale Bibliotheksgrenzen Hinaus) - Dennis Müller 001 (2019)

Representing Structural Language Features in Formal Meta-languages. - Dennis Müller 001; Florian Rabe 001; Colin Rothgang; Michael Kohlhase (CICM, 2020)

FrameIT: Detangling Knowledge Management from Game Design in Serious Games. - Michael Kohlhase; Benjamin Bösl; Richard Marcus; Dennis Müller 001; Denis Rochau; Navid Roux; John Schihada; Marc Stamminger (CICM, 2020)

The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. - Katja Bercic; Jacques Carette; William M. Farmer; Michael Kohlhase; Dennis Müller 001; Florian Rabe 001; Yasmine Sharoda (CoRR, 2020)

Disambiguating Symbolic Expressions in Informal Documents. - Dennis Müller 001; Cezary Kaliszyk (ICLR, 2021)

System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper). - Dennis Müller 001; Michael Kohlhase; Jan Frederik Schaefer (CICM Workshops, 2021)

Preface. - Peter Koepke; Dennis Müller 001 (CICM Workshops, 2021)

An Interactive Explanatory AI System for Industrial Quality Control. - Dennis Müller 001; Michael März; Stephan Scheele; Ute Schmid (AAAI, 2022)

Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries. - Marvin Herchenbach; Dennis Müller 001; Stephan Scheele; Ute Schmid (ICPRAI (2), 2022)

System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. - Michael Kohlhase; Dennis Müller 001 (CICM, 2022)

Injecting Formal Mathematics Into LaTeX. - Dennis Müller 001; Michael Kohlhase (CICM, 2022)

Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects. - Jonas Betzendahl; Michael Kohlhase; Dennis Müller 001 (ECAI Workshops (2), 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 001; Max Rapp (GECon, 2023)

Learning with ALeA: Tailored experiences through annotated course material. - Theresa Kruse; Marc Berges; Jonas Betzendahl; Michael Kohlhase; Dominic Lohr; Dennis Müller 001 (GI-Jahrestagung, 2023)

Learning Support Systems Based on Mathematical Knowledge Management. - Marc Berges; Jonas Betzendahl; Abhishek Chugh; Michael Kohlhase; Dominic Lohr; Dennis Müller 001 (CICM, 2023)

Leveraging Large Language Models to Generate Course-Specific Semantically Annotated Learning Objects. - Dominic Lohr; Marc Berges; Abhishek Chugh; Michael Kohlhase; Dennis Müller 001 (J. Comput. Assist. Learn., 2025)