Model checking to assess T-helper cell plasticity

Wassim Abou-Jaoudé (1, 2) , Pedro T. Monteiro (3) , Aurélien Naldi (4) , Maximilien Grandclaudon (5) , Vassili Soumelis (5) , Claudine Chaouiya (6) , Denis Thieffry (2)

1 ANTIQUE - Analyse Statique par Interprétation Abstraite
2 IBENS - Institut de biologie de l'ENS Paris
3 INESC-ID - Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
4 CIG - Center for Integrative Genomics - Institute of Bioinformatics, Génopode
5 Laboratoire d'Immunologie Clinique
6 IGC - Instituto Gulbenkian de Ciência [Oeiras]

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

Wassim Abou-Jaoudé, Pedro T. Monteiro, Aurélien Naldi, Maximilien Grandclaudon, Vassili Soumelis, et al.. Model checking to assess T-helper cell plasticity. 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⟩. ⟨hal-01099490⟩