research
∙
04/25/2023
Dynamic Tracing: a graphical language for rewriting protocols
The category Set_* of sets and partial functions is well-known to be tra...
share
research
∙
06/07/2022
Compositional Exploration of Combinatorial Scientific Models
We implement a novel representation of model search spaces as diagrams o...
research
∙
11/02/2021
Double pushout rewriting of C-sets
We generalize a pushout complement algorithm from graph rewriting to fin...
research
∙
03/25/2019
