Die Sprache «SemaLogic» als semantische Repräsentation. - Markus von der Heyde; Matthias Goebel 002 (GI-Jahrestagung, 2020)

Integrating AI Tools with Campus Infrastructure to Support the Life Cycle of Study Regulations. - Markus von der Heyde; Matthias Goebel 002; Dietmar Zoerner; Ulrike Lucke (EUNIS, 2023)

Automatic and Interactive Validation of Study Regulations in Accreditation Processes of Higher Education Institutions. - Markus von der Heyde; Chukwunwike Otunuya; Matthias Goebel 002; Dietmar Zoerner; Ulrike Lucke (EUNIS, 2023)

Einsatz symbolischer KI in Hochschulen durch formale Modellierung von Studien- und Prüfungsordnungen. - Markus von der Heyde; Matthias Goebel 002; Stefan Lindow; Ulrike Lucke (Inform. Spektrum, 2024)