Temporal logic patterns for querying dynamic models of cellular interaction networks.
Pedro T. MonteiroDelphine RopersRadu MateescuAna T. FreitasHidde de JongPublished in: ECCB (2008)
Keyphrases
- temporal logic
- dynamic model
- interaction networks
- model checking
- molecular interactions
- experimental data
- verification method
- linear temporal logic
- gene regulatory networks
- belief revision
- pattern discovery
- pattern mining
- frequent patterns
- protein protein interaction networks
- databases
- data mining techniques
- biological processes
- query language