24 citations · 25 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
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…
cs.DM2018
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…