Dennis Müller

Cited by

	All	Since 2019
Citations	251	190
h-index	9	8
i10-index	8	6

20152016201720182019202020212022202320241 2 26 30 37 59 37 18 24 15

Public access

View all

14 articles

1 article

available

not available

Based on funding mandates

Co-authors

Michael KohlhaseInformatik, FAU Erlangen-NürnbergVerified email at fau.de
Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
Cezary KaliszykUniversity of InnsbruckVerified email at uibk.ac.at
Markus PfeifferResearch Fellow, University of St AndrewsVerified email at st-andrews.ac.uk
Nicolas M. ThiéryProfessor, GALaC, Laboratoire Interdisciplinaire des Sciences du Numérique, Université Paris-SaclayVerified email at u-psud.fr
Thomas KopruckiWeierstrass Institute for Applied Analysis and StochasticsVerified email at wias-berlin.de
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Karsten TabelowWIAS BerlinVerified email at wias-berlin.de
Mihnea IancuYugabyte Inc.Verified email at yugabyte.com
Samuel LelièvreAssistant Professor of Mathematics, Université Paris-Saclay, OrsayVerified email at math.u-psud.fr
Thibault GauthierCzech Technical University in PragueVerified email at thibaultgauthier.fr
Stephan ScheeleFraunhofer IIS, University of BambergVerified email at uni-bamberg.de
Ute SchmidProfessor of Cognitive Systems, University of BambergVerified email at uni-bamberg.de
Sam OwreSRI InternationalVerified email at sri.com
Jacques CaretteAssociate Professor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
William M. FarmerProfessor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
Luca De FeoIBM Research ZürichVerified email at zurich.ibm.com
Andrea CondoluciPhD at University of BolognaVerified email at studio.unibo.it
Katja BerčičUniversity of LjubljanaVerified email at fmf.uni-lj.si

Dennis Müller

FAU Erlangen-Nürnberg

Verified email at fau.de - Homepage

Computational Logic Artificial Intelligence Mathematical Knowledge Management Mathematical Documents


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Interoperability in the OpenDreamKit project: the math-in-the-middle approach PO Dehaye, M Iancu, M Kohlhase, A Konovalov, S Lelièvre, D Müller, ... Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016	37	2016
Classification of alignments between concepts of formal mathematical systems D Müller, T Gauthier, C Kaliszyk, M Kohlhase, F Rabe International Conference on Intelligent Computer Mathematics, 83-98, 2017	33	2017
Making PVS accessible to generic services by interpretation in a universal format M Kohlhase, D Müller, S Owre, F Rabe Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017	18	2017
Theories as types D Müller, F Rabe, M Kohlhase Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018	15	2018
The Coq library as a theory graph D Müller, F Rabe, C Sacerdoti Coen Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019	14	2019
Mathematical models as research data via flexiformal theory graphs M Kohlhase, T Koprucki, D Müller, K Tabelow Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017	13	2017
A Standard for Aligning Mathematical Concepts. C Kaliszyk, M Kohlhase, D Müller, F Rabe FM4M/MathUI/ThEdu/DP/WIP@ CIKM, 229-244, 2016	13	2016
Rapid prototyping formal systems in MMT: 5 case studies D Müller, F Rabe arXiv preprint arXiv:1910.10850, 2019	12	2019
Mathematical knowledge management across formal libraries D Müller Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2019	9	2019
Relational data across mathematical libraries A Condoluci, M Kohlhase, D Müller, F Rabe, C Sacerdoti Coen, M Wenzel Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019	9	2019
Knowledge-based interoperability for mathematical software systems M Kohlhase, L De Feo, D Müller, M Pfeiffer, F Rabe, NM Thiéry, ... Mathematical Aspects of Computer and Information Sciences: 7th International …, 2017	9	2017
A flexible, interactive theory-graph viewer M Rupprecht, M Kohlhase, D Müller MathUI, 2017	9	2017
Model pathway diagrams for the representation of mathematical models T Koprucki, M Kohlhase, K Tabelow, D Müller, F Rabe Optical and Quantum Electronics 50, 1-9, 2018	8	2018
Alignment-based translations across formal systems using interface theories D Müller, C Rothgang, Y Liu, F Rabe arXiv preprint arXiv:1712.01489, 2017	8	2017
An interactive explanatory AI system for industrial quality control D Müller, M März, S Scheele, U Schmid Proceedings of the AAAI Conference on Artificial Intelligence 36 (11), 12580 …, 2022	7	2022
OMDoc/MMT Tutorial for Mathematicians. url: https://gl. mathhub. info/Tutorials M Kohlhase, D Müller Mathematicians/blob/master/tutorial/mmt-math-tutorial. pdf (visited on 10/07 …, 0	6
Injecting formal mathematics into LaTeX D Müller, M Kohlhase International Conference on Intelligent Computer Mathematics, 168-183, 2022	5	2022
Explaining image classifications with near misses, near hits and prototypes: Supporting domain experts in understanding decision boundaries M Herchenbach, D Müller, S Scheele, U Schmid International Conference on Pattern Recognition and Artificial Intelligence …, 2022	5	2022
The Space of Mathematical Software Systems--A Survey of Paradigmatic Systems K Bercic, J Carette, WM Farmer, M Kohlhase, D Müller, F Rabe, ... arXiv preprint arXiv:2002.04955, 2020	5	2020
Representing structural language features in formal meta-languages D Müller, F Rabe, C Rothgang, M Kohlhase International Conference on Intelligent Computer Mathematics, 206-221, 2020	4	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors