Dennis Müller
Orcid: 0000-0002-4482-4912Affiliations:
- FAU Erlangen-Nürnberg, Germany
- Jacobs University, Bremen, Germany (former)
According to our database1,
Dennis Müller
authored at least 31 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
1
1
4
4
3
2
3
3
5
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on kwarc.info
On csauthors.net:
Bibliography
2024
Leveraging Large Language Models to Generate Course-specific Semantically Annotated Learning Objects.
CoRR, 2024
2023
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
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.
Proceedings of the 2nd IEEE German Education Conference, 2023
Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects.
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
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents.
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.
Proceedings of the Pattern Recognition and Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
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).
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
Proceedings of the 9th International Conference on Learning Representations, 2021
2020
CoRR, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
2019
Mathematical Knowledge Management Across Formal Libraries (Mathematisches Wissensmanagement Über Formale Bibliotheksgrenzen Hinaus)
PhD thesis, 2019
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
2018
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2016
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016
Proceedings of the Joint Proceedings of the FM4M, 2016
Proceedings of the Joint Proceedings of the FM4M, 2016
Proceedings of the Joint Proceedings of the FM4M, 2016