Dennis Müller

36 papers A* 2A 1B 1C 11Journal 5Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Leveraging Large Language Models to Generate Course-Specific Semantically Annotated Learning Objects. J. Comput. Assist. Learn. Dominic Lohr, Marc Berges, Abhishek Chugh, Michael Kohlhase, Dennis Müller
2024	J	`jnl`	Leveraging Large Language Models to Generate Course-specific Semantically Annotated Learning Objects. CoRR Dominic Lohr, Marc Berges, Abhishek Chugh, Michael Kohlhase, Dennis Müller
2023	—	`conf`	Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects. ECAI Workshops (2) Jonas Betzendahl, Michael Kohlhase, Dennis Müller
2023	—	`ed.`	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 - 31, 2021. CICM Workshops Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen
2023	C	`conf`	Learning Support Systems Based on Mathematical Knowledge Management. CICM Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller
2023	—	`conf`	Learning with ALeA: Tailored experiences through annotated course material. GI-Jahrestagung Theresa Kruse, Marc Berges, Jonas Betzendahl, Michael Kohlhase, Dominic Lohr, Dennis Müller
2023	—	`conf`	The Y-Model - Formalization of Computer Science Tasks in the Context of Adaptive Learning Systems. GECon Dominic Lohr, Marc Berges, Michael Kohlhase, Dennis Müller, Max Rapp
2022	A*	`conf`	An Interactive Explanatory AI System for Industrial Quality Control. AAAI Dennis Müller, Michael März, Stephan Scheele, Ute Schmid
2022	J	`jnl`	An Interactive Explanatory AI System for Industrial Quality Control. CoRR Dennis Müller, Michael März, Stephan Scheele, Ute Schmid
2022	—	`conf`	Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries. ICPRAI (2) Marvin Herchenbach, Dennis Müller, Stephan Scheele, Ute Schmid
2022	C	`conf`	Injecting Formal Mathematics Into LaTeX. CICM Dennis Müller, Michael Kohlhase
2022	C	`conf`	System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. CICM Michael Kohlhase, Dennis Müller
2021	A*	`conf`	Disambiguating Symbolic Expressions in Informal Documents. ICLR Dennis Müller, Cezary Kaliszyk
2021	J	`jnl`	Disambiguating Symbolic Expressions in Informal Documents. CoRR Dennis Müller, Cezary Kaliszyk
2021	—	`conf`	Preface. CICM Workshops Peter Koepke, Dennis Müller
2021	—	`conf`	System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper). CICM Workshops Dennis Müller, Michael Kohlhase, Jan Frederik Schaefer
2020	C	`conf`	FrameIT: Detangling Knowledge Management from Game Design in Serious Games. CICM Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller, Denis Rochau, Navid Roux, John Schihada, Marc Stamminger
2020	—	`ed.`	Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019. CICM Workshops Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen
2020	C	`conf`	Representing Structural Language Features in Formal Meta-languages. CICM Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase
2020	J	`jnl`	The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
2019	—	`—`	Mathematical Knowledge Management Across Formal Libraries (Mathematisches Wissensmanagement Über Formale Bibliotheksgrenzen Hinaus) Dennis Müller
2019	—	`conf`	Rapid Prototyping Formal Systems in MMT: 5 Case Studies. LFMTP@LICS Dennis Müller, Florian Rabe
2019	C	`conf`	Relational Data Across Mathematical Libraries. CICM Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
2019	C	`conf`	The Coq Library as a Theory Graph. CICM Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen
2018	C	`conf`	Automatically Finding Theory Morphisms for Knowledge Management. CICM Dennis Müller, Michael Kohlhase, Florian Rabe
2018	—	`conf`	Structuring Theories with Implicit Morphisms. WADT Florian Rabe, Dennis Müller
2018	A	`conf`	Theories as Types. IJCAR Dennis Müller, Florian Rabe, Michael Kohlhase
2017	—	`conf`	Alignment-based Translations Across Formal Systems Using Interface Theories. PxTP Dennis Müller, Colin Rothgang, Yufei Liu, Florian Rabe
2017	C	`conf`	Classification of Alignments Between Concepts of Formal Mathematical Systems. CICM Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe
2017	—	`conf`	Knowledge-Based Interoperability for Mathematical Software Systems. MACIS Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing
2017	B	`conf`	Making PVS Accessible to Generic Services by Interpretation in a Universal Format. ITP Michael Kohlhase, Dennis Müller, Sam Owre, Florian Rabe
2017	C	`conf`	Mathematical Models as Research Data via Flexiformal Theory Graphs. CICM Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow
2016	—	`conf`	A Standard for Aligning Mathematical Concepts. FM4M/MathUI/ThEdu/DP/WIP@CIKM Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe
2016	—	`conf`	FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. FM4M/MathUI/ThEdu/DP/WIP@CIKM Denis Rochau, Michael Kohlhase, Dennis Müller
2016	C	`conf`	Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM 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
2016	—	`conf`	Knowledge Management across Formal Libraries. FM4M/MathUI/ThEdu/DP/WIP@CIKM Dennis Müller