Sciweavers

91 search results - page 5 / 19
» Symbolic Modeling of Genetic Regulatory Networks
Sort
View
BMCBI
2005
189views more  BMCBI 2005»
13 years 7 months ago
Quantitative inference of dynamic regulatory pathways via microarray data
Background: The cellular signaling pathway (network) is one of the main topics of organismic investigations. The intracellular interactions between genes in a signaling pathway ar...
Wen-Chieh Chang, Chang-Wei Li, Bor-Sen Chen
APN
2005
Springer
14 years 1 months ago
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets
Jean-Paul Comet, Hanna Klaudel, Stéphane Li...
SPIN
2004
Springer
14 years 27 days ago
Model Checking Genetic Regulatory Networks Using GNA and CADP
Grégory Batt, Damien Bergamini, Hidde de Jo...
ENTCS
2008
97views more  ENTCS 2008»
13 years 7 months ago
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven ...