13 search results - page 1 / 3 » Temporal Logic Patterns for Querying Qualitative Models of G... |
ECAI
2008
Springer
15 years 27 days ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
APN
2004
Springer
15 years 4 months ago
2004
Springer
TCS
2008
14 years 11 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
ICCS
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This paper introduces a model for simulating regulatory networks that is capable of reproducing spatial and temporal expression patterns in developmental processes. The m...
CIBB
2009
15 years 6 days ago
2009
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...