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

2020 – today

see FAQ

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

2022
[c22]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- 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
[c21]
- 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
[c20]
- 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
[c19]
- 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
[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
[c18]
- 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
[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
[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
[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]
[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)

2010 – 2019

see FAQ

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

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

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.