Model Checking Logical Regulatory Networks. - Pedro T. Monteiro 001; Wassim Abou-Jaoudé; Denis Thieffry; Claudine Chaouiya (WODES, 2014)

Derivation of Qualitative Dynamical Models from Biochemical Networks. - Wassim Abou-Jaoudé; Jérôme Feret; Denis Thieffry (CMSB, 2015)

Formal derivation of qualitative dynamical models from biochemical networks. - Wassim Abou-Jaoudé; Denis Thieffry; Jérôme Feret (Biosyst., 2016)

Metabolic modelling as a powerful tool to identify critical components of Pneumocystis growth medium. - Olga A. Nev; Elena Zamaraeva; Romain De Oliveira; Ilia Ryzhkov; Lucian Duvenage; Wassim Abou-Jaoudé; Djomangan Adama Ouattara; Jennifer Claire Hoving; Ivana Gudelj; Alistair J. P. Brown (PLoS Comput. Biol., 2024)