Wassim Abou-Jaoudé

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Biochemical Networks

Subject Specific

Dynamical Model

Top Venues

Publications

Wassim Abou-Jaoudé, Denis Thieffry, Jérôme Feret
Formal derivation of qualitative dynamical models from biochemical networks. Biosyst. 149 (2016)
Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry
Derivation of Qualitative Dynamical Models from Biochemical Networks. CMSB (2015)
Pedro T. Monteiro, Wassim Abou-Jaoudé, Denis Thieffry, Claudine Chaouiya
Model Checking Logical Regulatory Networks. WODES (2014)