5 citations · 6 across the 2 of their papers we have counts for
2 papers
q-bio.MN2013★ 5 cited
SBML Qualitative Models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools
Claudine Chaouiya, Duncan Berenguier, Sarah M Keating +21
Background: Qualitative frameworks, especially those based on the logical discrete formalism, are increasingly used to model regulatory and signalling networks. A major advantage o…
q-bio.QM2008★ 1 cited
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu +2
Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful technology…