Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer.
Haijun GongQinsi WangPaolo ZulianiJames R. FaederMichael LotzePublished in: BICoB (2011)
Keyphrases
- symbolic model checking
- signaling pathways
- model checking
- systems biology
- partial observability
- formal verification
- protein protein interaction networks
- regulatory networks
- symbolic representation
- binary decision diagrams
- protein protein interactions
- biological processes
- gene ontology
- model checker
- gene regulatory networks
- learning algorithm
- high throughput
- knowledge discovery
- data mining
- molecular biology
- biological systems