| The Mizar mathematical library in OMDoc: translation and applications M Iancu, M Kohlhase, F Rabe, J Urban Journal of Automated Reasoning 50 (2), 191-202, 2013 | 58 | 2013 |
| 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 |
| Formalising foundations of mathematics M Iancu, F Rabe Mathematical Structures in Computer Science 21 (4), 883-911, 2011 | 28 | 2011 |
| System description: MathHub. info M Iancu, C Jucovschi, M Kohlhase, T Wiesing International Conference on Intelligent Computer Mathematics, 431-434, 2014 | 27 | 2014 |
| Towards flexiformal mathematics M Iancu IRC-Library, Information Resource Center der Jacobs University Bremen, 2017 | 17 | 2017 |
| The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics D Ginev, M Iancu, C Jucovshi, A Kohlhase, M Kohlhase, A Oripov, ... Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016 | 15 | 2016 |
| Management of change in declarative languages M Iancu, F Rabe International Conference on Intelligent Computer Mathematics, 326-341, 2012 | 14 | 2012 |
| Translating the mizar mathematical library into OMDoc format M Iancu, M Kohlhase, F Rabe KWARC report, Jacobs University Bremen, 2011 | 12 | 2011 |
| Representing, archiving, and searching the space of mathematical knowledge M Iancu, M Kohlhase, C Prodescu Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014 | 10 | 2014 |
| Co-Representing Structure and Meaning of Mathematical Documents M Kohlhase, M Iancu Sprache und Datenverarbeitung, International Journal for Language Data …, 2014 | 7 | 2014 |
| Work-in-progress: An MMT-Based User-Interface M Iancu, F Rabe Workshop on User Interfaces for Theorem Provers, 2012 | 5 | 2012 |
| Searching the Space of Mathematical Knowledge M Kohlhase, M Iancu DML and MIR, 2012 | 4 | 2012 |
| Math literate knowledge management via induced material M Iancu, M Kohlhase Intelligent Computer Mathematics: International Conference, CICM 2015 …, 2015 | 3 | 2015 |
| Mixing surface languages for OMDoc M Iancu, M Kohlhase, F Rabe, H Yuan | 2 | 2016 |
| Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs M Kohlhase, M Iancu Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014 | 2 | 2014 |
| A flexiformal model of knowledge dissemination and aggregation in mathematics M Iancu, M Kohlhase International Conference on Intelligent Computer Mathematics, 137-152, 2015 | 1 | 2015 |
| The SMGloM Project and System. D Ginev, M Iancu, C Jucovshi, A Kohlhase, M Kohlhase, J Schefter, ... CICM (Work in Progress), 25-28, 2015 | 1 | 2015 |
| Importing the OEIS Library Into OMDoc. E Luzhnica, M Iancu, M Kohlhase LWA, 296-303, 2015 | 1 | 2015 |
| A Formalized Set-Theoretical Semantics of Isabelle/HOL F Rabe, M Iancu Under review, see http://kwarc. info/frabe/Research/rabeEA_isabelle_ 10, 0 | 1 | |
| MathUI Preface. A Kohlhase, P Libbrecht, D Aspinall, P Cairns, O Caprotti, A Hoffkamp, ... CICM Workshops, 2021 | | 2021 |
