AEON. py is a Python library for the analysis of the long-term behaviour in very large
asynchronous Boolean networks. It provides significant computational improvements over …

In this article, the fault detectability problem is addressed for the asynchronous delayed
Boolean control networks (ADBCNs) with sampled-data control (SDC) scheme, which is …

Abstract Partially specified Boolean networks (PSBNs) represent a promising framework for
the qualitative modelling of biological systems in which the logic of interactions is not …

Asynchronous Boolean networks are a type of discrete dynamical system in which each
variable can take one of two states, and a single variable state is updated in each time step …

We present a framework called the Reasoning Engine, which implements Satisfiability
Modulo Theories (SMT)-based methods within a unified computational environment to …

One of the central issues in logical modelling is whether a certain property of the model
emerges due to its topological structure (ie its influence graph), or due to its dynamical …

The inference of gene regulatory networks (GRNs) from single-cell RNAseq data allows for
mechanistic characterization of the different cell states and their dynamics in complex …

Abstract Systems biology is an intersection of biology, mathematics, and computational
science, marking a shift from traditional experimental approaches by holistically …

Abstract Systems biology is an intersection of biology mathematics, and computational
science, marking a shift from traditional experimental approaches by holistically …

Mean-field approximation methods are successfully used to analyze spreading processes in
network models, with great utilization in epidemiology. There have been attempts to adopt …