PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. - Marc Wagner 001; Serge Autexier; Christoph Benzmüller (UITP@FLoC, 2006)

Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. - Normen Müller; Marc Wagner 001 (LWA, 2007)

Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. - Serge Autexier; Armin Fiedler; Thomas Neumann 006; Marc Wagner 001 (Calculemus/MKM, 2007)

Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. - Dominik Dietrich; Ewaryst Schulz; Marc Wagner 001 (AISC/MKM/Calculemus, 2008)

Towards Merging PlatOmega and PGIP. - David Aspinall 001; Serge Autexier; Christoph Lüth; Marc Wagner 001 (UITP@TPHOLs, 2008)

Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. - Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner 001 (Math. Comput. Sci., 2008)