research
∙
01/12/2022
Efficient Modular Graph Transformation Rule Application
Graph transformation formalisms have proven to be suitable tools for the...
share
research
∙
02/05/2021
Graph Transformation for Enzymatic Mechanisms
Motivation: The design of enzymes is as challenging as it is consequenti...
research
∙
05/31/2019
Concurrency in Boolean networks
Boolean networks (BNs) are widely used to model the qualitative dynamics...
research
∙
03/01/2019
Relational Differential Dynamic Logic
In the field of quality assurance of hybrid systems (that combine contin...
research
∙
11/29/2018
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Parametric models abstract part of the specification of dynamical models...
research
∙
03/16/2018