24 citations · 24 across the 1 of their papers we have counts for
5 papers
Graph Transformation for Enzymatic Mechanisms
Jakob L. Andersen, Rolf Fagerberg, Christoph Flamm +5
Motivation: The design of enzymes is as challenging as it is consequential for making chemical synthesis in medical and industrial applications more efficient, cost-effective and e…
Concurrency in Boolean networks
Thomas Chatain, Stefan Haar, Juraj Kolčák +2
Boolean networks (BNs) are widely used to model the qualitative dynamics of biological systems. Besides the logical rules determining the evolution of each component with respect t…
Relational Differential Dynamic Logic
Juraj Kolčák, Ichiro Hasuo, Jérémy Dubut +3
In the field of quality assurance of hybrid systems (that combine continuous physical dynamics and discrete digital control), Platzer's differential dynamic logic (dL) is widely re…
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Stefan Haar, Juraj Kolčák, Loïc Paulevé
Parametric models abstract part of the specification of dynamical models by integral parameters. They are for example used in computational systems biology, notably with parametric…
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks
Juraj Kolčák, David Šafránek, Stefan Haar +1
The modelling of discrete regulatory networks combines a graph specifying the pairwise influences between the variables of the system, and a parametrisation from which can be deriv…