2 citations · 3 across the 2 of their papers we have counts for
2 papers
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…
q-bio.QM2007★ 2 cited
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,…