Keyphrases
- reachability analysis
- genetic networks
- reverse engineering
- high throughput
- regulatory networks
- systems biology
- biological systems
- markov decision processes
- model checking
- timed automata
- incremental algorithms
- dna microarray
- microarray
- state space
- gene regulatory networks
- biological data
- gene expression
- protein protein interactions
- gene expression data
- software engineering
- feature space
- computational biology
- data sets
- biological networks
- genome wide
- data acquisition
- complex systems
- relational databases