Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 - ENS Paris, Inria de Paris
2 IBENS - Institut de biologie de l'ENS Paris
Keywords : Formal methods in systems biology Qualitativedynamical modelling Reaction networks Abstract interpretation
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 Connect in order to contact the contributor
Submitted on : Monday, October 17, 2016 - 7:37:05 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:03 PM

File

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

Identifiers

Collections

INSERM | ENS-PARIS | CNRS | INRIA | INRIA2 | 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 Datacite

Share

Metrics

Record views

335

Files downloads

92

 

Contact                    Legal Notice                    Personal Data