research
∙
04/14/2022
Fundamentals of Compositional Rewriting Theory
A foundational theory of compositional categorical rewriting theory is p...
share
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/06/2021
Concurrency Theorems for Non-linear Rewriting Theories
Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic mat...
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
∙
10/30/2019
Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
The fourth edition of the international workshop on Causation, Responsib...
research
∙
09/18/2019
A Tractable Logic for Molecular Biology
We introduce a logic for knowledge representation and reasoning on prote...
research
∙
04/19/2019
Compositionality of Rewriting Rules with Conditions
We extend the notion of compositional associative rewriting as recently ...
research
∙
01/03/2019
Interactions between Causal Structures in Graph Rewriting Systems
Graph rewrite formalisms are a powerful approach to modeling complex mol...
research
∙
11/02/2017