Skip to Main content Skip to Navigation
Journal articles

Formal Derivation of Qualitative Dynamical Models from Biochemical Networks

Wassim Abou-Jaoudé 1, 2 Denis Thieffry 2 Jérôme Feret 1
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
2 IBENS - Institut de biologie de l'ENS Paris (UMR 8197/1024)
Keywords : Formal methods in systems biology Abstract interpretation Qualitativedynamical modelling Reaction networks
Document type :
Journal articles
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
https://hal.inria.fr/hal-01379733
Contributor : Jérôme Feret <>
Submitted on : Monday, October 17, 2016 - 7:37:05 PM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

File

Vignette du document
2016_AbouJaoude_Thieffry_Feret...
Files produced by the author(s)

Identifiers

Collections

CNRS | ENS-PARIS | INRIA | INSERM | PSL

Citation

Wassim Abou-Jaoudé, Denis Thieffry, Jérôme Feret. Formal Derivation of Qualitative Dynamical Models from Biochemical Networks. BioSystems, Elsevier, 2016, pp.100. ⟨10.1016/j.biosystems.2016.09.001⟩. ⟨hal-01379733⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

839

Files downloads

1224

 

Contact                    Legal Notice                    Personal Data