W. Abou-jaoudé, P. T. Monteiro, A. Naldi, M. Grandclaudon, V. Soumelis et al., Model checking to assess T-helper cell plasticity, Frontiers in bioengineering and biotechnology 2, p.86, 2014.

W. Abou-jaoudé, D. A. Ouattara, and M. Kaufman, From structure to dynamics: Frequency tuning in the p53-Mdm2 network: I. Logical approach, Journal of Theoretical Biology, vol.258, issue.4, pp.561-577, 2009.

M. Alam, T. N. Le, and A. Napoli, Latviz: A new practical tool for performing interactive exploration over concept lattices, Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, pp.9-20, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01420751

J. Barthélémy and A. Guénoche, Trees and proximity representations, 1991.

L. Bourneuf and J. Nicolas, Fca in a logical programming setting for visualization-oriented graph compression, Formal Concept Analysis, pp.89-105, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01558302

T. Caza and S. Landas, Functional and Phenotypic Plasticity of CD4(+) T Cell Subsets, p.521957, 2015.

D. Jong and H. , Modeling and simulation of genetic regulatory systems: A literature review, Journal of Computational Biology, vol.9, issue.1, pp.67-103, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00072606

R. De-sousa-abreu, L. O. Penalva, E. M. Marcotte, and C. Vogel, Global signatures of protein and mRNA expression levels, Mol Biosyst, vol.5, issue.12, pp.1512-1526, 2009.

D. Fang and J. Zhu, Dynamic balance between master transcription factors determines the fates and functions of CD4 T cell and innate lymphoid cell subsets, The Journal of experimental medicine, vol.214, issue.7, pp.1861-1876, 2017.

A. Fauré, A. Naldi, C. Chaouiya, and D. Thieffry, Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle, Bioinformatics, vol.22, issue.14, pp.124-131, 2006.

M. Folschette, L. Paulevé, M. Magnin, and O. Roux, Sufficient conditions for reachability in automata networks with priorities, Theoretical Computer Science, vol.608, pp.66-83, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01202671

B. Ganter, G. Stumme, and R. Wille, Formal concept analysis : foundations and applications, 2005.

B. Ganter and R. Wille, Formal concept analysis : mathematical foundations, 1999.

A. G. Gonzalez, A. Naldi, L. Sánchez, D. Thieffry, and C. Chaouiya, GINsim: A software suite for the qualitative modelling, simulation and analysis of regulatory networks, BioSystems, vol.84, issue.2, pp.91-100, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00088152

E. A. Ivanova and A. N. Orekhov, T Helper Lymphocyte Subsets and Plasticity in Autoimmunity and Cancer: An Overview, p.327470, 2015.

S. Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, vol.22, issue.3, pp.437-467, 1969.

N. Levy, A. Naldi, C. Hernandez, G. Stoll, D. Thieffry et al., Prediction of Mutations to Control Pathways Enabling Tumour Cell Invasion with the CoLoMoTo Interactive Notebook (Tutorial), Frontiers in Physiology, vol.9, p.787, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01809081

A. Liberzon, C. Birger, H. Thorvaldsdottir, M. Ghandi, J. P. Mesirov et al., The Molecular Signatures Database (MSigDB) hallmark gene set collection, Cell Syst, vol.1, issue.6, pp.417-425, 2015.

A. Lihonosova and A. Kaminskaya, Using formal concept analysis for finding the closest relatives among a group of organisms, Procedia Computer Science, vol.31, pp.860-868, 2014.

E. Mitsi, R. Kamng'ona, J. Rylance, C. Solórzano, J. Jesus-reiné et al., Human alveolar macrophages predominately express combined classical M1 and M2 surface markers in steady state, Respiratory research, vol.19, issue.1, p.66, 2018.
DOI : 10.1186/s12931-018-0777-0
URL : https://respiratory-research.biomedcentral.com/track/pdf/10.1186/s12931-018-0777-0

T. R. Mosmann and R. L. Coffman, TH1 and TH2 Cells: Different Patterns of Lymphokine Secretion Lead to Different Functional Properties, Annual Review of Immunology, vol.7, issue.1, pp.145-173, 1989.
DOI : 10.1146/annurev.immunol.7.1.145

A. Naldi, J. Carneiro, C. Chaouiya, and D. Thieffry, Diversity and plasticity of Th cell types predicted from regulatory network modelling, PLoS Computational Biology, vol.6, issue.9, 2010.
DOI : 10.1371/journal.pcbi.1000912
URL : https://hal.archives-ouvertes.fr/inserm-00704876

D. A. Ouattara, W. Abou-jaoudé, and M. Kaufman, From structure to dynamics: Frequency tuning in the p53-Mdm2 network. II: Differential and stochastic approaches, Journal of Theoretical Biology, vol.264, issue.4, pp.1177-1189, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00554576

A. Polynikis, S. J. Hogan, and M. Di-bernardo, Comparing different ODE modelling approaches for gene regulatory networks, J. Theor. Biol, vol.261, issue.4, pp.511-530, 2009.
DOI : 10.1016/j.jtbi.2009.07.040
URL : https://hal.archives-ouvertes.fr/hal-00554639

E. Remy, S. Rebouissou, C. Chaouiya, A. Zinovyev, F. Radvanyi et al., A Modeling Approach to Explain Mutually Exclusive and Co-Occurring Genetic Alterations in Bladder Tumorigenesis, Cancer Res, vol.75, issue.19, pp.4042-52, 2015.
DOI : 10.1158/0008-5472.can-15-0602
URL : https://hal.archives-ouvertes.fr/hal-01285974

E. Remy, P. Ruet, L. Mendoza, D. Thieffry, and C. Chaouiya, From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits, Transactions on Computational Systems Biology VII, pp.56-72, 2006.
DOI : 10.1007/11905455_3
URL : http://luis.mendoza-sierra.org/documents/Remy_LNCS_2006.pdf

R. Samaga, A. Von-kamp, and S. Klamt, Computing combinatorial intervention strategies and failure modes in signaling networks, J. Comput. Biol, vol.17, issue.1, pp.39-53, 2010.
DOI : 10.1089/cmb.2009.0121
URL : https://www.liebertpub.com/doi/pdf/10.1089/cmb.2009.0121

J. Sheng, Q. Chen, I. Soncin, S. L. Ng, K. Karjalainen et al., A Discrete Subset of Monocyte-Derived Cells among Typical Conventional Type 2 Dendritic Cells Can Efficiently Cross-Present, Cell Reports, vol.21, issue.5, pp.1203-1214, 2017.
DOI : 10.1016/j.celrep.2017.10.024
URL : https://doi.org/10.1016/j.celrep.2017.10.024

V. T. Thieu, Q. Yu, H. Chang, N. Yeh, E. T. Nguyen et al., Signal transducer and activator of transcription 4 is required for the transcription factor T-bet to promote T helper 1 cell-fate determination, Immunity, vol.29, issue.5, pp.679-90, 2008.

R. Thomas, Regulatory networks seen as asynchronous automata: A logical description, Journal of Theoretical Biology, vol.153, issue.1, pp.1-23, 1991.
DOI : 10.1016/s0022-5193(05)80350-9

R. Thomas, D. Thieffry, and M. Kaufman, Dynamical behaviour of biological regulatory networks-I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bulletin of Mathematical Biology, vol.57, issue.2, pp.247-276, 1995.

D. A. Vignali, L. W. Collison, and C. J. Workman, How regulatory T cells work, Nature reviews. Immunology, vol.8, issue.7, pp.523-555, 2008.

Y. Wang, M. A. Su, and Y. Y. Wan, An essential role of the transcription factor GATA-3 for the function of regulatory T cells, Immunity, vol.35, issue.3, pp.337-348, 2011.

V. Wucher, D. Tagu, and J. Nicolas, Edge selection in a noisy graph by concept analysis: Application to a genomic network, Data Science, Learning by Latent Structures, and Knowledge Discovery, pp.353-364, 2015.
DOI : 10.1007/978-3-662-44983-7_31
URL : https://hal.archives-ouvertes.fr/hal-00924413

G. Yagil, Quantitative aspects of protein induction, Current topics in Cell regulation, pp.183-237, 1975.

S. Yepes, M. M. Torres, and R. E. Andrade, Clustering of Expression Data in Chronic Lymphocytic Leukemia Reveals New Molecular Subdivisions, PloS one, vol.10, issue.9, p.137132, 2015.