History of Programming Languages ? II, chapitre The Birth of Prolog, pp.331-367 ,
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning, Computational Intelligence, vol.1, issue.2, pp.308-334, 2004. ,
DOI : 10.1017/S1471068402001552
???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
Attraction Basins as Gauges of Robustness against Boundary Conditions in Biological Complex Systems, PLoS ONE, vol.98, issue.8, p.11793, 2010. ,
DOI : 10.1371/journal.pone.0011793.t007
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
DNA Double-Strand Break???Based Nonmonotonic Logic, Dans Computational Biology Bioinformatics and Systems Biology, pp.409-427, 2015. ,
DOI : 10.1016/B978-0-12-802508-6.00022-3
Representation an efficient algorithms for the study of cell signaling pathways, Dans ICAI, pp.504-510, 2014. ,
Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle, Bioinformatics, vol.22, issue.14, pp.124-131, 2006. ,
DOI : 10.1093/bioinformatics/btl210
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
Troein: Random Boolean network models and the yeast transcriptional network, pp.14796-14799, 2003. ,
DOI : 10.1073/pnas.2036429100
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC299805
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi, Zeitschrift f??r Mathematische Logik und Grundlagen der Mathematik, vol.4, issue.5-6, pp.67-96, 1963. ,
DOI : 10.3406/phlou.1938.3890
Semantical Analysis of Intuitionistic Logic I, Studies in Logic and the Foundations of Mathematics, pp.92-130, 1965. ,
DOI : 10.1016/S0049-237X(08)71685-9
The Logic Programming Paradigm : A 25- Year Perspective, chapitre Action languages, answer sets, and planning, pp.357-373, 1999. ,
DOI : 10.1007/978-3-642-60085-2_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8933
Circumscription???A form of non-monotonic reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.27-39, 1980. ,
DOI : 10.1016/0004-3702(80)90011-9
Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence, vol.28, issue.1, pp.89-116, 1986. ,
DOI : 10.1016/0004-3702(86)90032-9
Asynchronous dynamics of Boolean automata doublecycles, Proceedings of UCNC'2015, tome 9252 de LNCS, pp.250-262, 2015. ,
DOI : 10.1007/978-3-319-21819-9_19
URL : https://hal.archives-ouvertes.fr/hal-01193075
On the convergence of Boolean automata networks without negative cycles Dynamics of the genetic regulatory network for Arabidopsis thaliana flower morphogenesis, Proceedings of AUTOMATA'2013, tome 8155 de LNCS, pp.124-138307, 1998. ,
Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis, Bioinformatics, vol.15, issue.7, pp.593-606, 1999. ,
DOI : 10.1093/bioinformatics/15.7.593
Updating Automata Networks, Thèse de doctorat, 2012. ,
URL : https://hal.archives-ouvertes.fr/tel-00726560
A logic for default reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.81-132, 1980. ,
DOI : 10.1016/0004-3702(80)90014-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.250.9224
Thieffry: A description of dynamical graphs associated to elementary regulatory circuits, Bioinformatics, vol.19, pp.172-178, 2003. ,
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
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 : http://doi.org/10.1016/j.aam.2009.11.011
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-00342169
Discrete Iterations : A Metric Study, 1986. ,
DOI : 10.1007/978-3-642-61607-5
A modal logic for hypothesis theory, Fundamenta Informaticae, vol.21, pp.89-101, 1994. ,
Readings in Nonmonotonic Reasoning, chapitre A semantical approach to nonmonotonic logics, pp.227-250, 1987. ,
Modal logic based theory for non-monotonic reasoning, Journal of Applied Non-Classical Logics, vol.29, issue.1, pp.73-92, 1993. ,
DOI : 10.1016/0004-3702(80)90014-4
Dynamical behaviour of biological regulatory networks???II. Immunity control in bacteriophage lambda, Bulletin of Mathematical Biology, vol.191, issue.2, pp.277-297, 1995. ,
DOI : 10.1515/JBCPP.1991.2.3.223
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
Numerical Methods in the Study of Critical Phenomena, chapitre On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations, pp.180-193, 1981. ,