5 citations · 6 across the 2 of their papers we have counts for
3 papers
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…
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
Grégory Batt, Michel Page, Irene Cantone +3
Investigating the relation between the structure and behavior of complex biological networks often involves posing the following two questions: Is a hypothesized structure of a reg…
Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstractions
Grégory Batt, Delphine Ropers, Hidde De Jong +2
The switch-like character of gene regulation has motivated the use of hybrid, discrete-continuous models of genetic regulatory networks. While powerful techniques for the analysis,…