On differentiation and homeostatic behaviours of boolean dynamical systems
Transactions on Computational Systems Biology VII
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Positive circuits and maximal number of fixed points in discrete dynamical systems
Discrete Applied Mathematics
On the use of temporal formal logic to model gene regulatory networks
CIBB'09 Proceedings of the 6th international conference on Computational intelligence methods for bioinformatics and biostatistics
Abstract Interpretation of Dynamics of Biological Regulatory Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Local negative circuits and fixed points in non-expansive Boolean networks
Discrete Applied Mathematics
Petri net representation of multi-valued logical regulatory graphs
Natural Computing: an international journal
Combinatorics of Boolean automata circuits dynamics
Discrete Applied Mathematics
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Relations between gene regulatory networks and cell dynamics in Boolean models
Discrete Applied Mathematics
Concretizing the process hitting into biological regulatory networks
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
From kernels in directed graphs to fixed points and negative cycles in Boolean networks
Discrete Applied Mathematics
About non-monotony in Boolean automata networks
Theoretical Computer Science
Hi-index | 0.05 |
R. Thomas conjectured, 20 years ago, that the presence of a positive circuit in the interaction graph of a dynamical system is a necessary condition for the presence of several stable states. Recently, E. Remy et al. stated and proved the conjecture for Boolean dynamical systems. Using a similar approach, we generalize the result to discrete dynamical systems, and by focusing on the asynchronous dynamics that R. Thomas used in the course of his analysis of genetic networks, we obtain a more general variant of R. Thomas' conjecture. In this way, we get a necessary condition for genetic networks to lead to differentiation.