Academic
Publications
Model Checking Genetic Regulatory Networks Using GNA and CADP

Model Checking Genetic Regulatory Networks Using GNA and CADP,10.1007/978-3-540-24732-6_12,Grégory Batt,Damien Bergamini,Hidde De Jong,Hubert Garavel,

Model Checking Genetic Regulatory Networks Using GNA and CADP   (Citations: 21)
BibTex | RIS | RefWorks Download
The study of genetic regulatory networks, which underlie the functioning of living organisms, has received a major impetus from the recent development of high-throughput genomic techniques. This experimental progress calls for the development of appropriate computer tools supporting the analysis of genetic regulatory processes. We have developed a modeling and simulation method [5,7], based on piecewise-linear differential equations, that is well-adapted to the qualitative nature of most available biological data. The method has been implemented in the tool Genetic Network Analyzer (GNA) [6], which produces a graph of qualitative states and transitions between qualitative states. The graph provides a discrete abstraction of the dynamics of the system.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: