Bibliography

Arellano2011: Antelope: a hybrid-logic model checker for branching-time Boolean GRN analysis. G. Arellano, et al. BMC bioinformatics, 2011.

Baier2008: Principles of Model Checking. C. Baier and J.-P. Katoen. The MIT Press, 2008.

Chaouiya2012: Logical modelling of gene regulatory networks with GINsim. C. Chaouiya, A. Naldi, D. Thieffry. Bacterial Molecular Networks, p.463-479, Springer, 2012.

Clarke2002: Tree-like counterexamples in model checking. E. Clarke, S. Jha, Y. Lu, and H. Veith. 17th annual IEEE symposium on logic in computer science, 2002.

Didier2011: Mapping multivalued onto Boolean dynamics. G. Didier, E. Remy, and C. Chaouiya. Journal of Theoretical Biology, 2011.

Dubrova2011: A SAT-based algorithm for finding attractors in synchronous Boolean networks. E. Dubrova and M. Teslenko. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2011, volume 8, number 5, pages 1393-1399.

Garg2008: Synchronous versus asynchronous modeling of gene regulatory networks. A. Garg, A. Di Cara, I. Xenarios, L. Mendoza and G. De Michli. Bioinformatics, 2008, volume 24, number 17, pages 1917-1925.

Grieco2013: Integrative modelling of the influence of MAPK network on cancer cell fate decision. Grieco L., Calzone L., Bernard-Pierrot I., Radvanyi F., Kahn-Perlès B. and Thieffry D. PLoS computational biology, 2013, volume 9, issue 10.

Gebser2011: Potassco: The Potsdam Answer Set Solving Collection. M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub and M. Schneider. AI Communications, 2011, volume 24, number 2, pages 107-124.

Klarner2014: Computing symbolic steady states of Boolean networks. H. Klarner, H. Siebert and A. Bockmayr. Lecture Notes in Computer Science, 2014, volume 8751, pages 561-570.

Klarner2015(a): Computing maximal and minimal trap spaces of Boolean networks. H. Klarner, A. Bockmayr and H. Siebert. Natural computing, 2015, volume 14, issue 4, pages 535-544.

Klarner2015(b): Approximating attractors of Boolean networks by iterative CTL model checking. H. Klarner and H. Siebert. Frontiers in Bioengineering and Biotechnology, 2015, volume 3, number 130.

Klarner2018: Basins, Commitment Sets and Phenotypes of Boolean networks. H. Klarner, F. Heinitz, S. Nee, H. Sienert. In preparation, 2018.

Müssel2010: BoolNet: An R package for generation, reconstruction and analysis of Boolean networks. C. Müssel, M. Hopfensitz and H. Kestler. Bioinformatics, 2010, volume 26, number 10, pages 1378-1380.

Naldi2007: Decision diagrams for the representation and analysis of logical models of genetic networks. A. Naldi, D. Thieffry and C. Chaouiya. Computational Methods in Systems Biology, 2007, Springer, pages 233-247.

Prekas2012: Quine-McCluskey algorithm. G. Prekas. https://github.com/prekageo/optistate/blob/master/qm.py

Tarjan1972: Depth-first search and linear graph algorithms R. Tarjan. SIAM Journal of Computing, 1972, 1(2):146-160.

Berenguier2013: Dynamical modeling and analysis of large cellular regulatory networks D. Berenguier, C. Chaouiya, P. Monteiro, A. Naldi, E. Remy, D. Thieffry and L. Tichit Chaos: An Interdisciplinary Journal of Nonlinear Science, 2013.

Tournier2009: Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics L. Tournier and M. Chaves. Theoretical Biology, 2009