27 citations · 114 across the 18 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2022
Variable-Depth Simulation of Most Permissive Boolean Networks
Théo Roncalli, Loïc Paulevé
In systems biology, Boolean networks (BNs) aim at modeling the qualitative dynamics of quantitative biological systems. Contrary to their (a)synchronous interpretations, the Most P…
eess.SY2013★ 20 cited
Under-approximating Cut Sets for Reachability in Large Scale Automata Networks
Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl
In the scope of discrete finite-state models of interacting components, we present a novel algorithm for identifying sets of local states of components whose activity is necessary…