2025
Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations
Managing Naproche Formalizations with sTeX and FLAMS
2024
Reusing Learning Objects via Theory Morphisms
2023
Foundational Libraries in Naproche
Theory Morphisms in Computer-Supported Education
CICM 2023, Doctoral Symposium