, Analysing formal models of genetic regulatory networks with delays, International journal of bioinformatics research and applications, vol.4, issue.3, pp.240-262, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00415808
, On the robustness of update schedules in Boolean networks, Biosystems, vol.97, issue.1, pp.1-8, 2009.
, Fixed points in conjunctive networks and maximal independent sets in graph contractions, Journal of Computer and System Sciences, vol.88, pp.145-163, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01630474
, 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.
, Synchronous and stochastic patterns of gene activation in the Drosophila embryo, Science, vol.325, issue.5939, pp.471-473, 2009.
, Robustness in regulatory networks: a multi-disciplinary approach, Acta Biotheoretica, vol.56, issue.1-2, pp.27-49, 2008.
, Hybrid modeling of biological networks: mixing temporal and qualitative biological properties, BMC systems biology, vol.4, issue.1, p.79, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00346588
, Controllability of conjunctive Boolean networks with application to gene regulation, IEEE Transactions on Control of Network Systems, vol.5, issue.2, pp.770-781, 2018.
, Attractor landscapes in Boolean networks with firing memory, Natural Computing, 2019.
, Computational complexity of threshold automata networks under different updating schemes, Theoretical Computer Science, vol.559, pp.3-19, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01315323
, Pspace-completeness of majority automata networks, Theoretical Computer Science, vol.609, pp.118-128, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01315324
, Disjunctive networks and update schedules, Advances in Applied Mathematics, vol.48, issue.5, pp.646-662, 2012.
, Comparison between parallel and serial dynamics of Boolean networks, Theoretical Computer Science, vol.396, issue.1-3, pp.247-253, 2008.
, Comportement oscillatoire d'une famille d'automates cellulaires non uniformes
URL : https://hal.archives-ouvertes.fr/tel-00293368
, , 1980.
, Decreasing energy functions as a tool for studying threshold networks, Discrete Applied Mathematics, vol.12, issue.3, pp.261-277, 1985.
, A new model of genetic network: the Gene Protein Boolean network, Artificial Life and Evolutionary Computation, pp.283-291, 2010.
, Robustness analysis of a Boolean model of gene regulatory network with memory, Journal of Computational Biology, vol.18, issue.4, pp.559-577, 2011.
, Dynamical properties of a Boolean model of gene regulatory network with memory, Journal of Computational Biology, vol.18, issue.10, pp.1291-1303, 2011.
, Reciprocal regulation of a glucocorticoid receptor-steroidogenic factor-1 transcription complex on the Dax-1 promoter by glucocorticoids and adrenocorticotropic hormone in the adrenal cortex, Molecular Endocrinology, vol.20, issue.11, pp.2711-2723, 2006.
, An introduction to the theory of numbers, 1979.
, Neural networks and physical systems with emergent collective computational abilities, Proceedings of the national academy of sciences, vol.79, pp.2554-2558, 1982.
, The dynamics of conjunctive and disjunctive Boolean network models, Bulletin of Mathematical Biology, vol.72, issue.6, pp.1425-1447, 2010.
, Homeostasis and differentiation in random genetic control networks, Nature, vol.224, issue.5215, p.177, 1969.
, The large scale structure and dynamics of gene control circuits: an ensemble approach, Journal of Theoretical Biology, vol.44, issue.1, pp.167-190, 1974.
, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of theoretical biology, vol.22, issue.3, pp.437-467, 1969.
, Gene regulation networks: A theory of their global structure and behaviour, Current Topics in Developmental Biology, vol.6, pp.145-182, 1971.
, No polynomial bound for the period of the parallel chip firing game on graphs, Theoretical Computer Science, vol.136, issue.2, pp.527-532, 1994.
, A logical calculus of the ideas immanent in nervous activity, The bulletin of mathematical biophysics, vol.5, issue.4, pp.115-133, 1943.
, An introduction to sequential dynamical systems, 2007.
, Deciphering principles of transcription regulation in eukaryotic genomes, Molecular systems biology, vol.2, issue.1, 2006.
, Asymptotic and robust stability of genetic regulatory networks with time-varying delays, Neurocomputing, vol.71, pp.834-842, 2008.
, Learning delayed influences of biological systems, Frontiers in bioengineering and biotechnology, vol.2, p.81, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01710485
, Discrete iterations: a metric study
, Boolean formalization of genetic control circuits, Journal of theoretical biology, vol.42, issue.3, pp.563-585, 1973.
, Regulatory networks seen as asynchronous automata: a logical description, Journal of theoretical biology, vol.153, issue.1, pp.1-23, 1991.
, 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.
, The spatial association of gene expression evolves from synchrony to asynchrony and stochasticity with age, PloS one, vol.6, issue.9, p.24076, 2011.