Marcel Schütz

List of publications:

BibTeX-Download


Professur für Wissensrepräsentation und -verarbeitung
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations (2026) Kelber J, Kohlhase M, Schäfer JF, Schütz M Conference contribution Term Extraction for Domain Modeling (2024) Kruse-Kurbach T, Lohr D, Berges M, Kohlhase M, Moghbeli Damaneh H, Schütz M Conference contribution, Conference Contribution Reusing Learning Objects via Theory Morphisms (2024) Kohlhase M, Schütz M Conference contribution