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, vol.2, 2015.
DOI : 10.1101/012641

J. Aracena, Maximum Number of Fixed Points in Regulatory Boolean Networks, Bulletin of Mathematical Biology, vol.19, issue.5, pp.1398-1409, 2008.
DOI : 10.1002/bbpc.19940980916

J. Aracena, J. Demongeot, and E. Goles, Positive and Negative Circuits in Discrete Neural Networks, IEEE Transactions on Neural Networks, vol.15, issue.1, pp.77-83, 2004.
DOI : 10.1109/TNN.2003.821555

J. Aracena, E. Goles, A. Moreira, and L. Salinas, On the robustness of update schedules in Boolean networks, Biosystems, vol.97, issue.1, pp.1-8, 2009.
DOI : 10.1016/j.biosystems.2009.03.006

J. Aracena, A. Richard, and L. Salinas, Number of Fixed Points and Disjoint Cycles in Monotone Boolean Networks, SIAM Journal on Discrete Mathematics, vol.31, issue.3, pp.1702-1725, 2017.
DOI : 10.1137/16M1060868
URL : https://hal.archives-ouvertes.fr/hal-01630477

D. P. Cohen, L. Martignetti, S. Robine, E. Barillot, A. Zinovyev et al., Mathematical Modelling of Molecular Pathways Enabling Tumour Cell Invasion and Migration, PLOS Computational Biology, vol.7, issue.Pt 3, pp.11-1004571, 2015.
DOI : 10.1371/journal.pcbi.1004571.s018

S. Collombet, C. Van-oevelen, J. L. Sardina-ortega, W. Abou-jaoudé, B. D. Stefano et al., Logical modeling of lymphoid and myeloid cell specification and transdifferentiation, Proceedings of the National Academy of Sciences, vol.270, issue.1, pp.1145792-5799, 2017.
DOI : 10.1016/j.jtbi.2010.09.017

F. Corblin, E. Fanchon, L. Trilling, C. Chaouiya, and D. Thieffry, Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data, pp.25-30, 2012.
DOI : 10.1007/978-3-642-28792-3_4

I. Crespo, T. M. Perumal, W. Jurkowski, and A. , Detecting cellular reprogramming determinants by differential stability analysis of gene regulatory networks, BMC Systems Biology, vol.7, issue.1, p.140, 2013.
DOI : 10.1137/0204007

P. Erdös, On a lemma of Littlewood and Offord, Bulletin of the American Mathematical Society, vol.51, issue.12, pp.898-902, 1945.
DOI : 10.1090/S0002-9904-1945-08454-7

L. F. Fitime, O. Roux, C. Guziolowski, and L. Paulevé, Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming, Algorithms for Molecular Biology, vol.6, issue.1, p.19, 2017.
DOI : 10.1186/1752-0509-6-116
URL : https://hal.archives-ouvertes.fr/hal-01566380

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.
DOI : 10.1016/j.tcs.2015.08.040
URL : https://hal.archives-ouvertes.fr/hal-01202671

M. Gadouleau, A. Richard, and E. Fanchon, Reduction and Fixed Points of Boolean Networks and Linear Network Coding Solvability, IEEE Transactions on Information Theory, vol.62, issue.5, pp.2504-2519, 2016.
DOI : 10.1109/TIT.2016.2544344
URL : https://hal.archives-ouvertes.fr/hal-01318072

M. Gadouleau, A. Richard, and S. Riis, Fixed Points of Boolean Networks, Guessing Graphs, and Coding Theory, SIAM Journal on Discrete Mathematics, vol.29, issue.4, pp.2312-2335, 2015.
DOI : 10.1137/140988358
URL : https://hal.archives-ouvertes.fr/hal-01298045

L. Glass and S. Kauffman, The logical analysis of continuous, non-linear biochemical control networks, Journal of Theoretical Biology, vol.39, issue.1, pp.103-129, 1973.
DOI : 10.1016/0022-5193(73)90208-7

E. Goles and L. Gómez, Combinatorial game associated to the one dimensional Schelling???s model of social segregation, Natural Computing, vol.103, 2017.
DOI : 10.1073/pnas.0609371103

R. Graham and N. Sloane, Lower bounds for constant weight codes, IEEE Transactions on Information Theory, vol.26, issue.1, pp.37-43, 1980.
DOI : 10.1109/TIT.1980.1056141

F. Harary, On the notion of balance of a signed graph., The Michigan Mathematical Journal, vol.2, issue.2, pp.143-146, 1953.
DOI : 10.1307/mmj/1028989917

F. Jacob and J. Monod, On the Regulation of Gene Activity, Cold Spring Harbor Symposia on Quantitative Biology, vol.26, issue.0, pp.193-211, 1961.
DOI : 10.1101/SQB.1961.026.01.024

S. A. Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, vol.22, issue.3, pp.437-467, 1969.
DOI : 10.1016/0022-5193(69)90015-0

B. Knaster and A. Tarski, Un théoreme sur les fonctions d'ensembles, Ann. Soc. Polon. Math, vol.6, issue.133, p.2013134, 1928.

H. Mandon, S. Haar, and L. Paulevé, Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph, Hybrid Systems Biology: 5th International Workshop, HSB 2016 Proceedings, pp.113-127, 2016.
DOI : 10.1016/j.aam.2007.11.003
URL : https://hal.archives-ouvertes.fr/hal-01354079

M. Noual and S. Sené, Synchronism versus asynchronism in monotonic Boolean automata networks, Natural Computing, vol.10, 2017.
DOI : 10.1088/0022-3719/10/18/008
URL : https://hal.archives-ouvertes.fr/hal-01479438

M. Ostrowski, L. Paulevé, T. Schaub, A. Siegel, and C. Guziolowski, Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming, Biosystems, vol.149, pp.139-153, 2016.
DOI : 10.1016/j.biosystems.2016.07.009
URL : https://hal.archives-ouvertes.fr/hal-01354075

L. Paulevé, Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface, CMSB 2017 -15th conference on Computational Methods for Systems Biology, pp.309-316, 2017.
DOI : 10.1038/nbt0402-370

L. Paulevé, Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2017.
DOI : 10.1109/TCBB.2017.2749225

L. Paulevé, G. Andrieux, and H. Koeppl, Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks, Computer Aided Verification, pp.69-84, 2013.
DOI : 10.1007/978-3-642-39799-8_4

L. Paulevé, M. Folschette, M. Magnin, and O. Roux, Analyses statiques de la dynamique des r??seaux d???automates ind??terministes, Techniques et sciences informatiques, vol.34, issue.4, pp.463-484, 2015.
DOI : 10.3166/tsi.34.463-484

L. Paulevé, M. Magnin, and O. Roux, Static analysis of Biological Regulatory Networks dynamics using abstract interpretation, Mathematical Structures in Computer Science, vol.131, issue.04, pp.651-685, 2012.
DOI : 10.1007/s11538-008-9304-7

B. Reed, N. Robertson, P. Seymour, and R. Thomas, Packing directed circuits, Combinatorica, vol.2, issue.4, pp.535-554, 1996.
DOI : 10.1007/BF01271272

G. Regalo and A. Leutz, Hacking cell differentiation: transcriptional rerouting in reprogramming, lineage infidelity and metaplasia, EMBO Molecular Medicine, vol.455, issue.8, pp.1154-1164, 2013.
DOI : 10.1038/nature07314

E. Remy, P. Ruet, and D. Thieffry, Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework, Advances in Applied Mathematics, vol.41, issue.3, pp.335-350, 2008.
DOI : 10.1016/j.aam.2007.11.003
URL : https://hal.archives-ouvertes.fr/hal-00692086

A. Richard, Negative circuits and sustained oscillations in asynchronous automata networks, Advances in Applied Mathematics, vol.44, issue.4, pp.378-392, 2010.
DOI : 10.1016/j.aam.2009.11.011
URL : https://doi.org/10.1016/j.aam.2009.11.011

F. Robert, Iterations sur des ensembles finis et automates cellulaires contractants, Linear Algebra and its Applications, vol.29, pp.393-412, 1980.
DOI : 10.1016/0024-3795(80)90251-7
URL : https://doi.org/10.1016/0024-3795(80)90251-7

F. Robert, Discrete iterations: a metric study, of Series in Computational Mathematics, 1986.
DOI : 10.1007/978-3-642-61607-5

P. D. Seymour, Packing directed circuits fractionally, Combinatorica, vol.2, issue.2, pp.281-288, 1995.
DOI : 10.1007/BF01200760

E. Sperner, Ein Satz ???ber Untermengen einer endlichen Menge, Mathematische Zeitschrift, vol.27, issue.1, pp.544-548, 1928.
DOI : 10.1007/BF01171114

V. Stoltenberg-hansen, I. Lindström, and E. R. Griffor, Mathematical Theory of Domains. Cambridge Tracts in Theoretical Computer Science, 1994.

K. Takahashi, K. Tanabe, M. Ohnuki, M. Narita, T. Ichisaka et al., Induction of Pluripotent Stem Cells from Adult Human Fibroblasts by Defined Factors, Cell, vol.131, issue.5, pp.861-872, 2007.
DOI : 10.1016/j.cell.2007.11.019

K. Takahashi and S. Yamanaka, A decade of transcription factor-mediated reprogramming to pluripotency, Nature Reviews Molecular Cell Biology, vol.767, issue.3, pp.183-193, 2016.
DOI : 10.1016/j.stem.2013.06.019

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955.
DOI : 10.2140/pjm.1955.5.285

R. Thomas, Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-585, 1973.
DOI : 10.1016/0022-5193(73)90247-6

R. Varshamov, Some features of linear codes that correct asymmetric errors, In Soviet Physics Doklady, vol.9, p.538, 1965.

J. Vera and E. Goles, Automata Networks for Memory Loss Effects in the Formation of Linguistic Conventions, Cognitive Computation, vol.8, issue.4, pp.462-466, 2016.
DOI : 10.1016/j.plrev.2011.10.014

J. G. Zañudo and R. Albert, Cell fate reprogramming by control of intracellular network dynamics, PLOS Computational Biology, vol.11, issue.04, pp.1-24