Strong primality tests that are not sufficient, Mathematics of Computation, vol.39, issue.159, pp.255-300, 1982. ,
DOI : 10.1090/S0025-5718-1982-0658231-9
Discrete mathematics models associated to biological systems Application to the genetic regulatory networks, 2001. ,
Mathematical modeling in genetic networks: relationships between the genetic expression and both chromosomic breakage and positive circuits, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.33, issue.5, pp.825-834, 2003. ,
DOI : 10.1109/TSMCB.2003.816928
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
Combinatorics on update digraphs in Boolean networks, Discrete Applied Mathematics, vol.159, issue.6, pp.401-409, 2011. ,
DOI : 10.1016/j.dam.2010.10.010
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
Network biology: understanding the cell's functional organization, Nature Reviews Genetics, vol.5, issue.2, pp.101-113, 2004. ,
DOI : 10.1038/nrg1272
Gardens of Eden and fixed points in sequential dynamical systems, Proceedings of AA DM-CCG, pp.95-110, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-01182974
Semantics of Biological Regulatory Networks, Proceedings of BioConcur 2003, pp.3-14, 2007. ,
DOI : 10.1016/j.entcs.2004.01.038
URL : https://hal.archives-ouvertes.fr/hal-00339588
Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-347, 2004. ,
DOI : 10.1016/j.jtbi.2004.04.003
The origins of combinatorics on words, European Journal of Combinatorics, vol.28, issue.3, pp.996-1022, 2007. ,
DOI : 10.1016/j.ejc.2005.07.019
URL : https://hal.archives-ouvertes.fr/hal-00619483
Combinatorial matrix theory, 1991. ,
MODELING GENE EXPRESSION WITH DIFFERENTIAL EQUATIONS, Biocomputing '99, pp.29-40, 1999. ,
DOI : 10.1142/9789814447300_0004
Formal methods: state of the art and future directions, ACM Computing Surveys, vol.28, issue.4, pp.626-643, 1996. ,
DOI : 10.1145/242223.242257
URL : https://hal.archives-ouvertes.fr/hal-00444076
Frustration and overblocking on graphs, Mathematical and Computer Modelling, vol.26, issue.8-10, pp.307-309, 1997. ,
DOI : 10.1016/S0895-7177(97)00212-4
URL : http://doi.org/10.1016/s0895-7177(97)00212-4
The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing , STOC '71 ,
DOI : 10.1145/800157.805047
On the definitions of attractors, Lecture Notes in Mathematics, vol.43, issue.6, pp.23-31, 1985. ,
DOI : 10.1007/BF02684369
Functional Proteomics: Methods and Protocols, chapter Large multi-protein structures modeling and simulation: the need for mesoscopic models, pp.537-558, 2008. ,
Discrete causal model view of biological networks, Proceedings of the 8th International Conference on Computational Methods in Systems Biology, CMSB '10, pp.4-13, 2010. ,
DOI : 10.1145/1839764.1839767
URL : https://hal.archives-ouvertes.fr/hal-00654465
Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics, 2011. ,
DOI : 10.1007/978-3-642-33636-2_10
URL : https://hal.archives-ouvertes.fr/hal-00750180
Genetic regulation networks: circuits, regulons and attractors, Comptes Rendus Biologies, vol.326, issue.2, pp.171-188, 2003. ,
DOI : 10.1016/S1631-0691(03)00069-6
Robustness in Regulatory Interaction Networks. A Generic Approach with Applications at Different Levels: Physiologic, Metabolic and Genetic, International Journal of Molecular Sciences, vol.10, issue.10, pp.4437-4473, 2009. ,
DOI : 10.3390/ijms10104437
URL : https://hal.archives-ouvertes.fr/hal-00644505
Random Boolean Networks and Attractors of their Intersecting Circuits, 2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications, pp.41-50, 2011. ,
DOI : 10.1109/WAINA.2011.154
URL : https://hal.archives-ouvertes.fr/hal-00666589
???Immunetworks???, intersecting circuits and dynamics, Journal of Theoretical Biology, vol.280, issue.1, pp.19-33, 2011. ,
DOI : 10.1016/j.jtbi.2011.03.023
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.5874
Robustness in Regulatory Networks: A Multi-Disciplinary Approach, Acta Biotheoretica, vol.25, issue.3???4, pp.27-49, 2008. ,
DOI : 10.1007/s10441-008-9029-x
Attraction Basins as Gauges of Robustness against Boundary Conditions in Biological Complex Systems, PLoS ONE, vol.98, issue.8, pp.11793-156, 2010. ,
DOI : 10.1371/journal.pone.0011793.t007
Loss of Linearity and Symmetrisation in Regulatory Networks, 2009 International Conference on Advanced Information Networking and Applications Workshops, pp.908-913, 2009. ,
DOI : 10.1109/WAINA.2009.64
URL : https://hal.archives-ouvertes.fr/hal-01499511
Boundary conditions and phase transitions in neural networks. Theoretical results, Neural Networks, vol.21, issue.7, pp.971-979, 2008. ,
DOI : 10.1016/j.neunet.2008.04.003
On the Number of Attractors of Positive and Negative Boolean Automata Circuits, 2010 IEEE 24th International Conference on Advanced Information Networking and Applications Workshops, pp.782-789, 2010. ,
DOI : 10.1109/WAINA.2010.141
URL : https://hal.archives-ouvertes.fr/hal-00647877
Combinatorics of Boolean automata circuits dynamics, Discrete Applied Mathematics, vol.160, issue.4-5, pp.398-415, 2012. ,
DOI : 10.1016/j.dam.2011.11.005
URL : https://hal.archives-ouvertes.fr/hal-00666297
Dynamical systems: a renewal of mechanism, World Scientific, 1986. ,
DOI : 10.1142/0300
Algorithme pour la simulation dynamique des réseaux de régulation génétique. Master's thesis, pp.101-134, 2004. ,
Robustesse des réseaux d'automates booléens à seuil aux modes d'itération. Application à la modélisation des réseaux de régulation génétique, pp.45-79, 2009. ,
Fully asynchronous behavior of double-quiescent elementary cellular automata, Theoretical Computer Science, vol.362, issue.1-3, pp.1-16, 2006. ,
DOI : 10.1016/j.tcs.2006.05.036
Computational complexity problems in neural associative memories, 1992. ,
Counting stable states and sizes of attraction domains in Hopfield nets is hard, International Joint Conference on Neural Networks, pp.395-399, 1989. ,
DOI : 10.1109/IJCNN.1989.118614
On the computational complexity of analyzing Hopfield nets, Complex Systems, vol.3, pp.577-587, 1989. ,
Specific roles of the different boolean mappings in random networks, Bulletin of Mathematical Biology, vol.24, issue.5, pp.715-730, 1982. ,
DOI : 10.1007/BF02462279
Modular decomposition of protein-protein interaction networks, Genome Biology, vol.5, issue.8, p.57, 2004. ,
DOI : 10.1186/gb-2004-5-8-r57
Computers and intractability: a guide to the theory of NP-completeness, pp.89-154, 1979. ,
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems, 1998. ,
DOI : 10.1007/3-540-49211-9
Comportement oscillatoire d'une famille d'automates cellulaires non-uniformes, pp.38-68, 1980. ,
URL : https://hal.archives-ouvertes.fr/tel-00293368
Fixed Point Behavior of Threshold Functions on a Finite Set, SIAM Journal on Algebraic Discrete Methods, vol.3, issue.4, pp.529-531, 1982. ,
DOI : 10.1137/0603054
Neural and automata networks: dynamical behaviour and applications, 1990. ,
DOI : 10.1007/978-94-009-0529-0
Block-sequential update schedules and Boolean automata circuits, Proceedings of AUTOMATA, DMTCS, pp.41-50, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01185498
Disjunctive networks and update schedules, Advances in Applied Mathematics, vol.48, issue.5, pp.646-662 ,
DOI : 10.1016/j.aam.2011.11.009
Comportement periodique des fonctions a seuil binaires et applications, Discrete Applied Mathematics, vol.3, issue.2, pp.93-105, 1981. ,
DOI : 10.1016/0166-218X(81)90034-2
Comparison between parallel and serial dynamics of Boolean networks, Theoretical Computer Science, vol.396, issue.1-3, pp.247-253, 2008. ,
DOI : 10.1016/j.tcs.2007.09.008
Shift register sequences. Holden-Day, 1967. ,
Positive and Negative Circuits in Dynamical Systems, Journal of Biological Systems, vol.06, issue.01, pp.11-15, 1998. ,
DOI : 10.1142/S0218339098000054
Concrete Mathematics: A Foundation for Computer Science, Computers in Physics, vol.3, issue.5, 1989. ,
DOI : 10.1063/1.4822863
Mathematics of cellular control processes I. Negative feedback to one gene, Journal of Theoretical Biology, vol.20, issue.2, pp.202-208, 1968. ,
DOI : 10.1016/0022-5193(68)90189-6
Mathematics of cellular control processes II. Positive feedback to one gene, Journal of Theoretical Biology, vol.20, issue.2, pp.209-216, 1968. ,
DOI : 10.1016/0022-5193(68)90190-2
On asynchronous cellular automata Advances in Complex Systems, pp.521-538, 2005. ,
Time out of joint: attractors in asynchronous random Boolean networks, Proceedings of ECAL, pp.67-75, 1997. ,
Generalized master equations for non-Poisson dynamics on networks. arXiv:1112, 2011. ,
Neural networks and physical systems with emergent collective computational abilities., Proceedings of the National Academy of Sciences of the USA, pp.2554-2558, 1982. ,
DOI : 10.1073/pnas.79.8.2554
The Dynamics of Conjunctive and Disjunctive Boolean Network Models, Bulletin of Mathematical Biology, vol.11, issue.2, pp.1425-1447, 2010. ,
DOI : 10.1007/s11538-010-9501-z
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
The origins of order: self organization and selection in evolution, pp.25-134, 1993. ,
A new necessary condition on interaction graphs for multistationarity, Journal of Theoretical Biology, vol.248, issue.4, pp.675-685, 2007. ,
DOI : 10.1016/j.jtbi.2007.06.016
Towards a logical analysis of the immune response, Journal of Theoretical Biology, vol.114, issue.4, pp.527-561, 1985. ,
DOI : 10.1016/S0022-5193(85)80042-4
Flooding games on graphs, Discrete Applied Mathematics, vol.164, 2011. ,
DOI : 10.1016/j.dam.2013.09.024
URL : https://hal.archives-ouvertes.fr/hal-00653714
A relational notation for state transition systems, IEEE Transactions on Software Engineering, vol.16, issue.7, pp.755-775, 1990. ,
DOI : 10.1109/32.56101
REVEAL, a general reverse engineering algorithm for inference of genetic network architectures, Proceedings of PSB, pp.18-29, 1998. ,
Combinatorics on words, 1983. ,
DOI : 10.1017/CBO9780511566097
URL : https://hal.archives-ouvertes.fr/hal-00620607
Le calcul des nombres entiers. Le calcul des nombres rationnels. La divisibilité arithmétique. Gauthier-Villars, 1891 ,
On Burnside's problem. Transactions of the, pp.202-215, 1954. ,
Applications of a Theory of Permutations in Circular Procession to the Theory of Numbers, Proceedings of the London Mathematical Society, pp.305-313 ,
DOI : 10.1112/plms/s1-23.1.305
Combinatorial group theory: presentation of groups in terms of generators and relations, 1966. ,
A six-state minimal time solution to the firing squad synchronization problem, Theoretical Computer Science, vol.50, issue.2, pp.183-238, 1987. ,
DOI : 10.1016/0304-3975(87)90124-1
A logical calculus of the ideas immanent in nervous activity, The Bulletin of Mathematical Biophysics, vol.5, issue.4, pp.115-133, 1943. ,
DOI : 10.1007/BF02478259
Dynamics of the Genetic Regulatory Network forArabidopsis thalianaFlower Morphogenesis, Journal of Theoretical Biology, vol.193, issue.2, pp.307-319, 1998. ,
DOI : 10.1006/jtbi.1998.0701
A mathematical framework for describing and analysing gene regulatory networks, Journal of Theoretical Biology, vol.176, issue.2, pp.291-300, 1995. ,
DOI : 10.1006/jtbi.1995.0199
Network Motifs: Simple Building Blocks of Complex Networks, Science, vol.298, issue.5594, pp.824-827, 2002. ,
DOI : 10.1126/science.298.5594.824
Discrete, sequential dynamical systems, Discrete Mathematics, vol.226, issue.1-3, pp.281-295, 2001. ,
DOI : 10.1016/S0012-365X(00)00115-1
About non-monotony in Boolean automata networks, Theoretical Computer Science, vol.504 ,
DOI : 10.1016/j.tcs.2012.05.034
URL : https://hal.archives-ouvertes.fr/hal-00736641
Towards a theory of modelling with Boolean automata networks -I. Theorisation and observations, pp.98-126 ,
FEEDBACK LOOPS, STABILITY AND MULTISTATIONARITY IN DYNAMICAL SYSTEMS, Journal of Biological Systems, vol.03, issue.02, pp.409-413, 1995. ,
DOI : 10.1142/S0218339095000381
A methodological basis for description and analysis of systems with complex switch-like interactions, Journal of Mathematical Biology, vol.36, issue.4, pp.321-348, 1998. ,
DOI : 10.1007/s002850050103
A dynamical property unique to the Lucas sequence. The Fibonacci Quarterly, pp.398-402, 2001. ,
Arithmetic and growth of periodic orbits, Journal of Integer Sequences, 2001. ,
Progresses in the analysis of stochastic 2D cellular automata: A study of asynchronous 2D minority, Theoretical Computer Science, vol.410, issue.47-49, pp.4844-4855, 2009. ,
DOI : 10.1016/j.tcs.2009.06.024
Sequential Dynamical Systems Over Words, Annals of Combinatorics, vol.10, issue.4, pp.481-498, 2006. ,
DOI : 10.1007/s00026-006-0301-y
A description of dynamical graphs associated to elementary regulatory circuits, Bioinformatics, vol.19, issue.Suppl 2, pp.172-178, 2003. ,
DOI : 10.1093/bioinformatics/btg1075
URL : https://hal.archives-ouvertes.fr/hal-01306959
From minimal signed circuits to the dynamics of Boolean regulatory networks, Bioinformatics, vol.24, issue.16, pp.220-226, 2008. ,
DOI : 10.1093/bioinformatics/btn287
URL : https://hal.archives-ouvertes.fr/hal-01306956
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
The new book of prime number records, pp.56-146, 1996. ,
DOI : 10.1007/978-1-4612-0759-7
Positive circuits and maximal number of fixed points in discrete dynamical systems, Discrete Applied Mathematics, vol.157, issue.15, pp.3281-3288, 2009. ,
DOI : 10.1016/j.dam.2009.06.017
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
Local negative circuits and fixed points in non-expansive Boolean networks, Discrete Applied Mathematics, vol.159, issue.11, pp.1085-1093, 2011. ,
DOI : 10.1016/j.dam.2011.01.010
Necessary conditions for multistationarity in discrete dynamical systems, Discrete Applied Mathematics, vol.155, issue.18, pp.2403-2413, 2007. ,
DOI : 10.1016/j.dam.2007.04.019
URL : https://hal.archives-ouvertes.fr/hal-00967300
An Introduction to Combinatorial Analysis, 1962. ,
Discrete iterations: a metric study, pp.99-131, 1986. ,
DOI : 10.1007/978-3-642-61607-5
Les systèmes dynamiques discrets, pp.131-134, 1995. ,
Coalescing Cellular Automata, Cited on Page 31.) [105] F. Ruskey. Information on necklaces, unlabelled necklaces, Lyndon words, de Bruijn sequences, pp.55-78, 2009. ,
DOI : 10.1007/11758532_44
URL : https://hal.archives-ouvertes.fr/ensl-00103510
Combinatorial generation. Book preliminary working draft, 2003. ,
Influence des conditions de bord dans les réseaux d'automates booléens à seuil et application à la biologie, 2008. ,
A combinatorial analogue of the Jacobian problem in automata networks, Advances in Applied Mathematics, vol.34, issue.1, pp.30-46, 2005. ,
DOI : 10.1016/j.aam.2004.06.002
Dynamical and Structural Modularity of Discrete Regulatory Networks, Proceedings of COMPMOD of Electronic Proceedings in Theoretical Computer Science, pp.109-136 ,
DOI : 10.4204/EPTCS.6.8
Temporal constraints in the logical analysis of regulatory networks, Theoretical Computer Science, vol.391, issue.3, pp.258-275, 2006. ,
DOI : 10.1016/j.tcs.2007.11.010
The On-Line Encyclopedia of Integer Sequences ,
DOI : 10.1007/978-3-540-73086-6_12
On single-deletion-correcting codes, Codes and designs, pp.273-291, 2002. ,
Modeling Transcriptional Control in Gene Networks???Methods, Recent Results, and Future Directions, Bulletin of Mathematical Biology, vol.62, issue.2, pp.247-292, 2000. ,
DOI : 10.1006/bulm.1999.0155
Necessary Conditions for Multistationarity and Stable Periodicity, Journal of Biological Systems, vol.06, issue.01, pp.3-9, 1998. ,
DOI : 10.1142/S0218339098000042
Logical identification of all steady states: The concept of feedback loop characteristic states, Bulletin of Mathematical Biology, vol.55, issue.5, pp.973-991, 1993. ,
DOI : 10.1016/S0092-8240(05)80199-5
Mathematical approaches to differentiation and gene regulation, Comptes Rendus Biologies, vol.329, issue.1, pp.13-20, 2006. ,
DOI : 10.1016/j.crvi.2005.10.002
Boolean formalization of genetic control circuits, Cited on Pages 10 et 126.) [118] Numerical methods in the study of critical phenomena, pp.563-585, 1973. ,
DOI : 10.1016/0022-5193(73)90247-6
Logical vs. continuous description of systems comprising feedback loops: the relation between time delays and parameters. Studies in Physical and Theoretical Chemistry, pp.307-321, 1983. ,
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
Biological feedback, 1990. ,
URL : https://hal.archives-ouvertes.fr/hal-00087681
Positive feedback loops and multistationarity, Discrete Applied Mathematics, vol.19, issue.1-3, pp.381-396, 1988. ,
DOI : 10.1016/0166-218X(88)90026-1
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.29, issue.2, pp.247-276, 1995. ,
DOI : 10.1007/BF02460618
Counting fixed points and gardens of Eden of sequential dynamical systems on planar bipartite graphs, Electronic Colloquium on Computational Complexity, 2005. ,
On complexity of counting fixed point configurations in certain classes of graph automata, Electronic Colloquium on Computational Complexity, 2005. ,
Computational complexity of some enumeration problems about uniformly sparse Boolean network automata, Proceedings of the Second European Conference on Complex Systems (ECCS'06), 2006. ,
Modeling and analysis of the collective dynamics of large-scale multi-agent systems, 2006. ,
Theory of the frustration effect in spin glasses: I, I. Communications on Physics, vol.2, pp.115-119, 1977. ,
DOI : 10.1142/9789812799371_0009
Étude et modélisation mathématique de réseaux de régulation génétique et métabolique, pp.91-134, 2005. ,
Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics, Journal of Theoretical Biology, vol.260, issue.2, pp.196-209, 2009. ,
DOI : 10.1016/j.jtbi.2009.06.006
URL : https://hal.archives-ouvertes.fr/hal-00554625
The Dynamics of Feedback Control Circuits in Biochemical Pathways, Progress in Theoretical Biology, vol.5, pp.1-62, 1978. ,
DOI : 10.1016/B978-0-12-543105-7.50008-7
Le nombre plastique, quinze leçons sur l'ordonnance architectonique, E.J. Brill, 1960. ,
Theory of the frustration effect. II. Ising spins on a square lattice, Journal of Physics C: Solid State Physics, vol.10, issue.18, pp.537-542, 1977. ,
DOI : 10.1088/0022-3719/10/18/008
On the iteration of certain quadratic maps over GF(p), Discrete Mathematics, vol.277, issue.1-3, pp.219-240, 2004. ,
DOI : 10.1016/S0012-365X(03)00158-4
Complex systems dynamics: an introduction to automata networks . Perseus Books, 1991. ,