Data-driven optimizations for model checking of multi-valued regulatory networks.

Adam Streck Kirsten Thobe Heike Siebert

Published in: Biosyst. (2016)

Keyphrases

multi valued
model checking
regulatory networks
temporal logic
gene expression
microarray
gene regulatory networks
gene expression data
normal form
computational biology
biological systems
biological data
protein protein interactions
microarray data
boolean functions
reverse engineering
velocity field
network model