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

KAT: an Annotation Tool for STEM Documents. - Tom Wiesing; Felix Schmoll (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

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)

Knowledge-Based Interoperability for Mathematical Software Systems. - Michael Kohlhase; Luca De Feo; Dennis Müller 001; Markus Pfeiffer; Florian Rabe 001; Nicolas M. Thiéry; Victor Vasilyev; Tom Wiesing (MACIS, 2017)

Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases. - Tom Wiesing; Michael Kohlhase; Florian Rabe 001 (MACIS, 2017)

A Proposal for an OpenMath JSON Encoding. - Tom Wiesing; Michael Kohlhase (CICM Workshops, 2018)

Integrating Semantic Mathematical Documents and Dynamic Notebooks. - Kai Amann; Michael Kohlhase; Florian Rabe 001; Tom Wiesing (CICM, 2019)

Evolving MathHub for Tetrapodal Math. - Tom Wiesing (CICM Workshops, 2019)

WissKI A Virtual Research Environment Based on Drupal. - Mark Fichtner; Robert Nasarek; Tom Wiesing (CoRDI, 2023)

WissKI Viewer Casual Access for WissKI Data Sets. - Tom Wiesing (CoRDI, 2023)