Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Dennis Müller 0001

> Home > Persons

Person information

affiliation: FAU Erlangen-Nürnberg, Germany
affiliation (former): Jacobs University, Bremen, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Muller19c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Muller19c
Dennis Müller:
Mathematical Knowledge Management Across Formal Libraries (Mathematisches Wissensmanagement Über Formale Bibliotheksgrenzen Hinaus). University of Erlangen-Nuremberg, Germany, 2019

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BetzendahlK023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BetzendahlK023
Jonas Betzendahl, Michael Kohlhase, Dennis Müller:
Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects. ECAI Workshops (2) 2023: 397-408
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/gecon2/LohrBKMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecon2/LohrBKMR23
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: 1-6
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/gi/KruseBBKL023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/KruseBBKL023
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: 395-398
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BergesBCKLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BergesBCKLM23
Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller:
Learning Support Systems Based on Mathematical Knowledge Management. CICM 2023: 84-97
2022
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/0001MSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0001MSS22
Dennis Müller, Michael März, Stephan Scheele, Ute Schmid:
An Interactive Explanatory AI System for Industrial Quality Control. AAAI 2022: 12580-12586
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icprai/HerchenbachMSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icprai/HerchenbachMSS22
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: 419-430
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MullerK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MullerK22
Dennis Müller, Michael Kohlhase:
Injecting Formal Mathematics Into LaTeX. CICM 2022: 168-183
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KohlhaseM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KohlhaseM22
Michael Kohlhase, Dennis Müller:
System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. CICM 2022: 184-188
2021
[c20]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/0001K21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/0001K21a
Dennis Müller, Cezary Kaliszyk:
Disambiguating Symbolic Expressions in Informal Documents. ICLR 2021
[c19]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mkm/0001KS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/0001KS21
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
[c18]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mkm/Koepke021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Koepke021
Peter Koepke, Dennis Müller:
Preface. CICM Workshops 2021
2020
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KohlhaseBM0RRSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KohlhaseBM0RRSS20
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: 173-189
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/0001RRK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/0001RRK20
Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase:
Representing Structural Language Features in Formal Meta-languages. CICM 2020: 206-221
2019
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CondoluciK0RCW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CondoluciK0RCW19
Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel:
Relational Data Across Mathematical Libraries. CICM 2019: 61-76
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/0001RC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/0001RC19
Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen:
The Coq Library as a Theory Graph. CICM 2019: 171-186
[c13]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1910-10850
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-10850
Dennis Müller, Florian Rabe:
Rapid Prototyping Formal Systems in MMT: 5 Case Studies. LFMTP@LICS 2019: 40-54
2018
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/MullerRK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/MullerRK18
Dennis Müller, Florian Rabe, Michael Kohlhase:
Theories as Types. IJCAR 2018: 575-590
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MullerKR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MullerKR18
Dennis Müller, Michael Kohlhase, Florian Rabe:
Automatically Finding Theory Morphisms for Knowledge Management. CICM 2018: 209-224
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Rabe018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Rabe018
Florian Rabe, Dennis Müller:
Structuring Theories with Implicit Morphisms. WADT 2018: 154-173
2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/KohlhaseMOR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/KohlhaseMOR17
Michael Kohlhase, Dennis Müller, Sam Owre, Florian Rabe:
Making PVS Accessible to Generic Services by Interpretation in a Universal Format. ITP 2017: 319-335
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/macis/KohlhaseFMPRTVW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/macis/KohlhaseFMPRTVW17
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: 195-210
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MullerGKKR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MullerGKKR17
Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe:
Classification of Alignments Between Concepts of Formal Mathematical Systems. CICM 2017: 83-98
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KohlhaseKMT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KohlhaseKMT17
Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow:
Mathematical Models as Research Data via Flexiformal Theory Graphs. CICM 2017: 224-238
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1712-01489
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-01489
Dennis Müller, Colin Rothgang, Yufei Liu, Florian Rabe:
Alignment-based Translations Across Formal Systems Using Interface Theories. PxTP 2017: 77-93
2016
[c4]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cikm/Muller16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/Muller16
Dennis Müller:
Knowledge Management across Formal Libraries. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 98-101
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cikm/KaliszykKMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/KaliszykKMR16
Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe:
A Standard for Aligning Mathematical Concepts. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 229-244
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cikm/RochauKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/RochauKM16
Denis Rochau, Michael Kohlhase, Dennis Müller:
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 245-259
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/DehayeIKKLMPRTW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/DehayeIKKLMPRTW16
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: 117-131

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e2]
- view
- export record
  dblp key:
  - conf/mkm/2021w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2021w
Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen:
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. CEUR Workshop Proceedings 3377, CEUR-WS.org 2023 [contents]
2020
[e1]
- view
- export record
  dblp key:
  - conf/mkm/2019w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2019w
Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen:
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. CEUR Workshop Proceedings 2634, CEUR-WS.org 2020 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09181
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09181
Dennis Müller, Michael März, Stephan Scheele, Ute Schmid:
An Interactive Explanatory AI System for Industrial Quality Control. CoRR abs/2203.09181 (2022)
2021
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-11716
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-11716
Dennis Müller, Cezary Kaliszyk:
Disambiguating Symbolic Expressions in Informal Documents. CoRR abs/2101.11716 (2021)
2020
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-04955
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-04955
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 abs/2002.04955 (2020)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.