Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey.

Loïc Paulevé Adrien Richard

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

static analysis
boolean networks
dynamic analysis
source code
logic programs
biological systems
gene regulatory networks
regular expressions
graph mining
artificial intelligence
open source
bayesian inference
test suite