10 citations · 16 across the 3 of their papers we have counts for
Showing cs.CEShow all
2 papers · 1 filter
cs.CE2013★ 6 cited
Producing a Set of Models for the Iron Homeostasis Network
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis +1
This paper presents a method for modeling biological systems which combines formal techniques on intervals, numerical simulations and satisfaction of Signal Temporal Logic (STL) fo…
cs.CE2012★ 10 cited
A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis +1
This paper presents a novel framework for the modeling of biological networks. It makes use of recent tools analyzing the robust satisfaction of properties of (hybrid) dynamical sy…