10 citations · 17 across the 3 of their papers we have counts for
4 papers
Robust Control of Partially Specified Boolean Networks
Luboš Brim, Samuel Pastva, David Šafránek +1
Regulatory networks (RNs) are a well-accepted modelling formalism in computational systems biology. The control of RNs is currently receiving a lot of attention because it provides…
Regulated Multiset Rewriting Systems
Matej Troják, Samuel Pastva, David Šafránek +1
Multiset rewriting systems provide a formalism particularly suitable for the description of biological systems. We present an extension of this formalism with additional controls o…
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Nikola Beneš, Luboš Brim, Samuel Pastva +1
Edge-coloured directed graphs provide an essential structure for modelling and analysis of complex systems arising in many scientific disciplines (e.g. feature-oriented systems, ge…
Parallel One-Step Control of Parametrised Boolean Networks
Lubos Brim, Samuel Pastva, David Safranek +1
Boolean network (BN) is a simple model widely used to study complex dynamic behaviour of biological systems. Nonetheless, it might be difficult to gather enough data to precisely c…