25 search results - page 1 / 5 » Analysing formal models of genetic regulatory networks with ... |
IJBRA
2008
13 years 5 months ago
2008
: In this paper, we propose a refinement of the modelling of biological regulatory networks based on the discrete approach of Ren
FORMATS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
JCB
2002
13 years 4 months ago
2002
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
TSMC
2010
12 years 11 months ago
2010
Robust stability serves as an important regulation mechanism in system biology and synthetic biology. In this paper, the robust stability analysis problem is investigated for a cla...
TCS
2008
13 years 4 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...