Abstract | ||
---|---|---|
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.
|
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-24732-6_12 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
piecewise linear,modeling and simulation,biological data,model checking,high throughput,differential equation | Biological data,Abstraction,Model checking,Modeling and simulation,Computer science,Computer tools,Theoretical computer science,Temporal logic,Genetic algorithm,Hybrid automaton | Conference |
Volume | ISSN | Citations |
2989 | 0302-9743 | 18 |
PageRank | References | Authors |
0.87 | 9 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grégory Batt | 1 | 364 | 25.79 |
Damien Bergamini | 2 | 44 | 2.46 |
Hidde de Jong | 3 | 1328 | 132.83 |
Hubert Garavel | 4 | 1194 | 84.45 |
Radu Mateescu | 5 | 1287 | 77.10 |