| 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 | 32 | 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 |
| The Coq library as a theory graph D Müller, F Rabe, C Sacerdoti Coen Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019 | 15 | 2019 |
| Theories as types D Müller, F Rabe, M Kohlhase Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 15 | 2018 |
| 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 | 14 | 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 |
| 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 | 7 | 2022 |
| Injecting formal mathematics into LaTeX D Müller, M Kohlhase International Conference on Intelligent Computer Mathematics, 168-183, 2022 | 6 | 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 | 6 | 2020 |
| 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 | |
| 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 |
Michael KohlhaseInformatik, FAU Erlangen-Nürnberg在 fau.de 的电子邮件经过验证
