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
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
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 Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties, In: Computational Methods in Systems Biology. LNCS, vol.24, issue.16, pp.266-280, 2009. ,
DOI : 10.1093/bioinformatics/btn275
Formal Methods for Modeling Biological Regulatory Networks, In: Modern Formal Methods and App, pp.83-122, 2006. ,
DOI : 10.1007/1-4020-4223-X_5
URL : https://hal.archives-ouvertes.fr/hal-00342170
Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks, In: Computational Methods in Systems Biology, pp.233-247, 2007. ,
DOI : 10.1007/978-3-540-75140-3_16
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks, In: Computational Methods in Systems Biology. LNCS, vol.4210, pp.169-183, 2006. ,
DOI : 10.1007/11885191_12
Analysing formal models of genetic regulatory networks with delays, International Journal of Bioinformatics Research and Applications, vol.4, issue.3, 2008. ,
DOI : 10.1504/IJBRA.2008.019573
URL : https://hal.archives-ouvertes.fr/hal-00415808
Stochasticity in reactions, Proceedings of the 8th International Conference on Computational Methods in Systems Biology, CMSB '10, pp.76-85, 2010. ,
DOI : 10.1145/1839764.1839774
Refining Dynamics of Gene Regulatory Networks in a Stochastic ??-Calculus Framework, In: Transactions on Computational Systems Biology XIII, vol.81, issue.25, pp.171-191, 2011. ,
DOI : 10.1021/j100540a008
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation, Mathematical Structures in Computer Science, vol.131, issue.04, 2012. ,
DOI : 10.1007/s11538-008-9304-7
Knowledge Representation, Reasoning and Declarative Problem Solving, 2003. ,
DOI : 10.1017/CBO9780511543357
The SMBioNet method for discovering models of gene regulatory networks, Genes, Genomes and Genomics, vol.3, issue.1, pp.15-22, 2009. ,
Applications of a formal approach to decipher discrete genetic networks, BMC Bioinformatics, vol.11, issue.1, p.385, 2010. ,
DOI : 10.1186/1471-2105-11-385
Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data, In: IPCAT. LNCS, vol.7223, pp.25-30, 2012. ,
DOI : 10.1007/978-3-642-28792-3_4
Semantics of Biological Regulatory Networks, Electronic Notes in Theoretical Computer Science, vol.180, issue.3, pp.3-14, 2007. ,
DOI : 10.1016/j.entcs.2004.01.038
URL : https://hal.archives-ouvertes.fr/hal-00339588
Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance, BMC Systems Biology, vol.3, issue.1, 2009. ,
DOI : 10.1186/1752-0509-3-1
A methodology for the structural and functional analysis of signaling and regulatory networks, BMC Bioinformatics, vol.7, issue.1, p.56, 2006. ,
DOI : 10.1186/1471-2105-7-56