research
∙
04/14/2022
Fundamentals of Compositional Rewriting Theory
A foundational theory of compositional categorical rewriting theory is p...
share
research
∙
12/21/2021
Stochastic Graph Transformation For Social Network Modeling
Adaptive networks model social, physical, technical, or biological syste...
research
∙
06/04/2021
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version)
The Kappa biochemistry and the MØD organic chemistry frameworks are amon...
research
∙
05/13/2021
Tracelet Hopf algebras and decomposition spaces
Tracelets are the intrinsic carriers of causal information in categorica...
research
∙
05/06/2021
Concurrency Theorems for Non-linear Rewriting Theories
Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic mat...
research
∙
02/04/2021
On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods
Building upon the rule-algebraic stochastic mechanics framework, we pres...
research
∙
03/24/2020
Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3
In the semantics of stochastic rewriting systems (SRSs) based on rule al...
research
∙
03/20/2020
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
The Kappa biochemistry and the MØD organo-chemistry frameworks are among...
research
∙
04/29/2019
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems
Taking advantage of a recently discovered associativity property of rule...
research
∙
04/19/2019
Compositionality of Rewriting Rules with Conditions
We extend the notion of compositional associative rewriting as recently ...
research
∙
04/17/2019
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework
Sesqui-pushout (SqPO) rewriting provides a variant of transformations of...
research
∙
04/15/2019
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
We develop a novel method to analyze the dynamics of stochastic rewritin...
research
∙
07/02/2018
Rule Algebras for Adhesive Categories
We show that every adhesive category gives rise to an associative algebr...
research
∙
12/18/2017