Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

9 résultats
Image document

A theoretical exploration of birhythmicity in the p53-Mdm2 network

Wassim Abou-Jaoude , Madalena Chaves , Jean-Luc Gouzé
[Research Report] RR-7406, INRIA. 2010
Rapport inria-00523270v2

Derivation of Qualitative Dynamical Models from Biochemical Networks

Wassim Abou-Jaoudé , Jérôme Feret , Denis Thieffry
CMSB 2015 : Computational Methods in Systems Biology, Olivier Roux; Jérémie Bourdon, Sep 2015, Nantes, France. pp.195-207, ⟨10.1007/978-3-319-23401-4_17⟩
Communication dans un congrès hal-01199243v1

Mechanisms for coexistence of two limit cycles in a biochemical model

Wassim Abou-Jaoudé , Madalena Chaves , Jean-Luc Gouzé
IFAC World Congress, 2011, Milan, Italy. ⟨10.3182/20110828-6-IT-1002.00749⟩
Communication dans un congrès hal-00848374v1
Image document

Formal Derivation of Qualitative Dynamical Models from Biochemical Networks

Wassim Abou-Jaoudé , Denis Thieffry , Jérôme Feret
BioSystems, 2016, pp.100. ⟨10.1016/j.biosystems.2016.09.001⟩
Article dans une revue hal-01379733v1

Model Checking logical regulatory networks

Pedro T. Monteiro , Wassim Abou-Jaoudé , Denis Thieffry , Claudine Chaouiya
WODES'14, 12th IFAC - IEEE International Workshop on Discrete Event Systems, Jean-Marc Faure, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00135⟩
Communication dans un congrès hal-01099489v1

GEMCO Deliverable D2T1: Analysis and reduction of a model of the gene expression machinery in E.coli

Luis Casaccia , Wassim Abou-Jaoudé , Jean-Luc Gouzé
[Research Report] 2012
Rapport hal-00848402v1
Image document

A theoretical exploration of birhythmicity in the p53-Mdm2 network

Wassim Abou-Jaoudé , Madalena Chaves , Jean-Luc Gouzé
PLoS ONE, 2011, 6 (2), pp.e17075. ⟨10.1371/journal.pone.0017075⟩
Article dans une revue hal-00848373v1
Image document

Links between topology of the transition graph and limit cycles in a two-dimensional piecewise affine biological model

Wassim Abou-Jaoudé , Madalena Chaves , Jean-Luc Gouzé
Journal of Mathematical Biology, 2014, 69 (6-7), pp.1461-1495. ⟨10.1007/s00285-013-0735-x⟩
Article dans une revue hal-00919872v1

Model checking to assess T-helper cell plasticity

Wassim Abou-Jaoudé , Pedro T. Monteiro , Aurélien Naldi , Maximilien Grandclaudon , Vassili Soumelis , et al.
Frontiers in Bioengineering and Biotechnology, 2014, Computational methods for understanding complexity: the use of formal methods in biology, pp.22. ⟨10.3389/fbioe.2014.00086⟩
Article dans une revue hal-01099490v1