Arndt, Jonas, Magdalena Vock und Ulrike Lucke. KI-basierte Studienplanung unter Berücksichtigung der Anforderungen einer heterogenen Studierendenschaft. Gesellschaft für Informatik eV, 2023. (PDF)
Gilch, Harald, Klaus Wannemacher, Friedrich Stratmann, Andreas Wittke, Markus von der Heyde, und Pascal Hürten. Potential of AI-Supported Recognition Tools for Higher Mobility and More Permeability in the Higher Education System. Proceedings of EUNIS 2024 Annual Congress in Athens, EPiC Series in Computing, Bd. 105 (2024): 11–22. (PDF)
Goebel, Matthias, und Markus von der Heyde. OpenAPI Interface Definition for the Communication of Study Regulations between SemaLogic and Answer Set Programming (ASP). Zenodo, Mai 2024. (Link)
Hahn, Susana, Torsten Schaub, Cedric Martens u. a. Reasoning About Study Regulations in Answer Set Programming. Theory and Practice of Logic Programming 24, Nr. 4 (2024): 790–804. (PDF)
Lindow, Stefan, Anja Swidsinski und Bettina Buchholz: Künstliche Intelligenz in der Wissenschaft: Kompetenzentwicklung und Sensibilisierung an der Universität Potsdam. Personal- und Organisationsentwicklung in Einrichtungen der Lehre und Forschung 3-4 (2025) i. E.
Michel, Lars und von der Heyde, Markus. “It works on my research”: An argument for prioritized software testing in research software. Proc. EUNIS 2025. (PDF)
Otunuya, Henry, Stefan Lindow und Mariia Merzliakova. Reasoning over Student Study Plans with Answer Set Programming. Prooceedings Hochschule 2035. (PDF)
Heyde, Markus von der, und Matthias Goebel. Erzeugung von Steuerungsvorschriften aus schematisierten Regelwerken. Patent EP 20 19 5834.5, filed 11. September 2020, und issued 2020. https://register.dpma.de/DPMAregister/pat/register?AKZ=E201958345&CURSOR=0. EP3968149A1.
von der Heyde, Markus und Matthias Goebel. SemaLogic formulation of study regulations for the Master of Cognitive Systems at the University of Potsdam. Zenodo, Juli 2024. (Link)
Heyde, Markus von der, und Matthias Goebel. Erzeugung von Steuerungsvorschriften aus schematisierten Regelwerken. Patent EP 20 19 5834.5, filed 11. September 2020, und issued 2020. https://register.dpma.de/DPMAregister/pat/register?AKZ=E201958345&CURSOR=0. EP3968149A1.
von der Heyde, Markus, Matthias Goebel, Stefan Lindow, und Ulrike Lucke. Einsatz symbolischer KI in Hochschulen durch formale Modellierung von Studien- und Prüfungsordnungen. Informatik Spektrum 47, Nr. 3–4 (2024): 87–96. (PDF)
von der Heyde, Markus, Matthias Goebel, Dietmar Zoerner, und Ulrike Lucke. Integrating AI Tools with Campus Infrastructure to Support the Life Cycle of Study Regulations. Proceedings of European University 95 (2023): 332–44. (PDF)
von der Heyde, Markus, Stefan Lindow, Carsten Markowsky, Matthias Goebel und Ulrike Lucke. Hierarchische Regelwerke prüfen Künstliche Intelligenz für die Compliance von Prüfungs- oder Studienordnungen mit Rahmenordnungen. Proceedings Hochschule 2035. (PDF)
von der Heyde, Markus, Henry Chukwunwike Otunuya, Matthias Goebel, Dietmar Zoerner, und Ulrike Lucke. Automatic and Interactive Validation of Study Regulations in Accreditation Processes of Higher Education Institutions. Proceedings of European University 95 (2023): 320–31. (PDF)