27 citations · 114 across the 18 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019★ 1 cited
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming
Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé +1
Boolean networks model finite discrete dynamical systems with complex behaviours. The state of each component is determined by a Boolean function of the state of (a subset of) the…
cs.LO2019★ 24 cited
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…