26 citations · 77 across the 9 of their papers we have counts for
10 papers
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé +2
A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into…
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…
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…
Most Permissive Semantics of Boolean Networks
Thomas Chatain, Stefan Haar, Juraj Kol{č}ák +1
As shown in (http://dx.doi.org/10.1101/2020.03.22.998377), the usual update modes of Boolean networks (BNs), including synchronous and (generalized) asynchronous, fail to capture b…
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…
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph
Hugues Mandon, Stefan Haar, Loïc Paulevé
In this paper, we address the formal characterization of targets triggering cellular trans-differentiation in the scope of Boolean networks with asynchronous dynamics. Given two fi…