Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.
Loïc PaulevéMorgan MagninOlivier F. RouxPublished in: Math. Struct. Comput. Sci. (2012)
Keyphrases
- regulatory networks
- abstract interpretation
- static analysis
- dynamic analysis
- gene expression
- microarray
- source code
- gene regulatory networks
- gene expression data
- biological data
- biological systems
- termination analysis
- microarray data
- regular expressions
- computational biology
- systems biology
- protein protein interactions
- knowledge base
- high throughput
- case study
- data analysis
- motif discovery
- biological processes
- data model
- open source
- test suite
- data sets