27 citations · 114 across the 18 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
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…
cs.DM2013★ 27 cited
Dynamical Properties of Discrete Reaction Networks
Loïc Paulevé, Gheorghe Craciun, Heinz Koeppl
Reaction networks are commonly used to model the evolution of populations of species subject to transformations following an imposed stoichiometry. This paper focuses on the effici…