research
∙
03/12/2021
First-Order Sketch Conditions and Constraints – A Category Independent Approach
Generalizing different variants of "graph conditions and constraints" as...
research
∙
01/06/2021
Logics of First-Order Constraints – A Category Independent Approach
Reflecting our experiences in areas, like Algebraic Specifications, Abst...
research
∙
06/25/2020
Multilevel Typed Graph Transformations
Multilevel modeling extends traditional modeling techniques with a poten...
research
∙
01/17/2019