Formalising foundations of mathematics. - Mihnea Iancu; Florian Rabe 001 (Math. Struct. Comput. Sci., 2011)

Management of Change in Declarative Languages. - Mihnea Iancu; Florian Rabe 001 (AISC/MKM/Calculemus, 2012)

The Scala-REPL + MMT as a lightweight mathematical user interface. - Mihnea Iancu; Felix Mance; Florian Rabe 001 (CICM Workshops, 2013)

The Mizar Mathematical Library in OMDoc: Translation and Applications. - Mihnea Iancu; Michael Kohlhase; Florian Rabe 001; Josef Urban (J. Autom. Reason., 2013)

Representing, Archiving, and Searching the Space of Mathematical Knowledge. - Mihnea Iancu; Michael Kohlhase; Corneliu-Claudiu Prodescu (ICMS, 2014)

Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. - Michael Kohlhase; Mihnea Iancu (ICMS, 2014)

System Description: MathHub.info. - Mihnea Iancu; Constantin Jucovschi; Michael Kohlhase; Tom Wiesing (CICM, 2014)

Importing the OEIS Library Into OMDoc. - Enxhell Luzhnica; Mihnea Iancu; Michael Kohlhase (LWA, 2015)

The SMGloM Project and System. - Deyan Ginev; Mihnea Iancu; Constantin Jucovshi; Andrea Kohlhase; Michael Kohlhase; Jürgen Schefter; Wolfram Sperber (CICM (Work in Progress), 2015)

A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics. - Mihnea Iancu; Michael Kohlhase (CICM, 2015)

Math Literate Knowledge Management via Induced Material. - Mihnea Iancu; Michael Kohlhase (CICM, 2015)

The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. - Deyan Ginev; Mihnea Iancu; Constantin Jucovshi; Andrea Kohlhase; Michael Kohlhase; Akbar Oripov; Jürgen Schefter; Wolfram Sperber; Olaf Teschke; Tom Wiesing (ICMS, 2016)

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. - Paul-Olivier Dehaye; Mihnea Iancu; Michael Kohlhase; Alexander Konovalov 001; Samuel Lelièvre; Dennis Müller 001; Markus Pfeiffer; Florian Rabe 001; Nicolas M. Thiéry; Tom Wiesing (CICM, 2016)

Towards Flexiformal Mathematics - Mihnea Iancu (2017)