Improving BDD-based attractor detection for synchronous Boolean networks

ASP-G: an ASP-based method for finding attractors in genetic regulatory networks

(2014) Mushthofa Mushthofa et al.   BIOINFORMATICS

A Parallel Attractor Finding Algorithm Based on Boolean Satisfiability for Genetic Regulatory Networks

(2014) Wensheng Guo et al.   PLoS One

optPBN: An Optimisation Toolbox for Probabilistic Boolean Networks

(2014) Panuwat Trairatphisan et al.   PLoS One

Aggregation Algorithm Towards Large-Scale Boolean Network Analysis

(2013) Yin Zhao et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

An Efficient Algorithm for Computing Attractors of Synchronous And Asynchronous Boolean Networks

(2013) Desheng Zheng et al.   PLoS One

A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks

(2011) E. Dubrova et al.   IEEE-ACM Transactions on Computational Biology and Bioinformatics

From gene expression to gene regulatory networks in Arabidopsis thaliana

(2009) Chris J Needham et al.   BMC Systems Biology

ON/OFF and Beyond - A Boolean Model of Apoptosis

(2009) Rebekka Schlatter et al.   PLoS Computational Biology

Synchronous versus asynchronous modeling of gene regulatory networks

(2008) A. Garg et al.   BIOINFORMATICS