CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Temporal constraints in the logical analysis of regulatory networks
Theoretical Computer Science
Modeling of Genetic Regulatory Network in Stochastic π-Calculus
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
On timed models of gene networks
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Context sensitivity in logical modeling with time delays
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Invariance kernel of Biological Regulatory Networks
International Journal of Data Mining and Bioinformatics
Refining dynamics of gene regulatory networks in a stochastic π-calculus framework
Transactions on computational systems biology XIII
Petri net representation of multi-valued logical regulatory graphs
Natural Computing: an international journal
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Concretizing the process hitting into biological regulatory networks
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Parameter identification and model ranking of thomas networks
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined qualitative description of the dynamics of the system incorporating information not only on ratios of kinetic constants related to synthesis and decay, but also on the time delays occurring in the operations of the system. We demonstrate the potential of our approach by analysing an illustrative gene regulatory network of bacteriophage λ.