Formal Derivation of Qualitative Dynamical Models from Biochemical Networks

Wassim Abou-Jaoudé; Denis Thieffry; Jérôme Feret

doi:10.1016/j.biosystems.2016.09.001

Article Dans Une Revue BioSystems Année : 2016

Formal Derivation of Qualitative Dynamical Models from Biochemical Networks

(1, 2) , (2) , (1)

1
2

Wassim Abou-Jaoudé

Fonction : Auteur
PersonId : 949955

Analyse Statique par Interprétation Abstraite

Institut de biologie de l'ENS Paris

Denis Thieffry

Fonction : Auteur
PersonId : 926019

Institut de biologie de l'ENS Paris

Jérôme Feret

Fonction : Auteur
PersonId : 749591
IdHAL : jerome-feret
ORCID : 0000-0002-2601-2785

Analyse Statique par Interprétation Abstraite

CV

Mots clés

Formal methods in systems biology Qualitativedynamical modelling Reaction networks Abstract interpretation

Domaines

Bio-Informatique, Biologie Systémique [q-bio.QM]

Fichier principal

2016_AbouJaoude_Thieffry_Feret_BioSystems (1).pdf (2.41 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

Jérôme Feret : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01379733

Soumis le : lundi 17 octobre 2016-19:37:05

Dernière modification le : vendredi 19 avril 2024-16:18:57

Dates et versions

hal-01379733 , version 1 (17-10-2016)

Identifiants

HAL Id : hal-01379733 , version 1
DOI : 10.1016/j.biosystems.2016.09.001

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSERM ENS-PARIS CNRS INRIA INRIA2 PSL

348 Consultations

113 Téléchargements

Formal Derivation of Qualitative Dynamical Models from Biochemical Networks

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager