research
∙
07/14/2023
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems
We refine a technique by Bruggink et al. that uses weighted type graphs ...
research
∙
03/14/2023
Termination of Graph Transformation Systems using Weighted Subgraph Counting
We introduce a termination method for the algebraic graph transformation...
research
∙
01/30/2023
Fuzzy Presheaves are Quasitoposes
Quasitoposes encompass a wide range of structures, including various cat...
research
∙
01/30/2023
A PBPO+ Graph Rewriting Tutorial
We provide a tutorial introduction to the algebraic graph rewriting form...
research
∙
05/11/2022
Algebraic Presentation of Semifree Monads
Monads and their composition via distributive laws have many application...
research
∙
03/02/2022
Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes
We extend the powerful Pullback-Pushout (PBPO) approach for graph rewrit...
research
∙
06/25/2021
From Linear Term Rewriting to Graph Rewriting with Preservation of Termination
Encodings of term rewriting systems (TRSs) into graph rewriting systems ...
research
∙
10/16/2020
Graph Rewriting and Relabeling with PBPO+ (Extended Version)
We extend the powerful Pullback-Pushout (PBPO) approach for graph rewrit...
research
∙
03/13/2020
Patch Graph Rewriting
The basic principle of graph rewriting is the stepwise replacement of su...
research
∙
01/23/2020
Star Games and Hydras
The recursive path ordering is an established and crucial tool in term r...
research
∙
01/30/2019