8 citations · 20 across the 4 of their papers we have counts for
4 papers
Partial Order on the set of Boolean Regulatory Functions
José E. R. Cury, Pedro T. Monteiro, Claudine Chaouiya
Logical models have been successfully used to describe regulatory and signaling networks without requiring quantitative data. However, existing data is insufficient to adequately d…
Quantification of reachable attractors in asynchronous discrete dynamics
Nuno D. Mendes, Pedro T. Monteiro, Jorge Carneiro +2
Motivation: Models of discrete concurrent systems often lead to huge and complex state transition graphs that represent their dynamics. This makes difficult to analyse dynamical pr…
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…
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…