Algorithms for inference, analysis and control of Boolean networks, Algebraic Biology, pp.1-15, 2008. ,
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
A survey of basic net models and modular net classes, Lecture Notes in Computer Science, vol.609, pp.304-351, 1992. ,
DOI : 10.1007/3-540-55610-9_177
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006. ,
Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition, Computational Methods in Systems Biology, pp.50-63, 2013. ,
DOI : 10.1007/978-3-642-40708-6_5
On the use of proper generalized decompositions for solving the multidimensional chemical master equation, European Journal of Computational Mechanics/Revue Européenne de Mécanique Numérique, vol.19, pp.1-3, 2010. ,
TGF-?? signalling and its role in cancer progression and metastasis, Cancer and Metastasis Reviews, vol.34, issue.3, pp.3-4, 2012. ,
DOI : 10.1007/s10555-012-9375-7
Concretizing the Process Hitting into Biological Regulatory Networks, Computational Methods in Systems Biology Lecture Notes in Computer Science, vol.12, pp.166-186, 2012. ,
Under-approximation of reachability in multivalued asynchronous networks, 4th International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), pp.33-51, 2013. ,
Building efficient model checkers using hierarchical set decision diagrams and automatic saturation, Fundamenta Informaticae, vol.94, issue.3, pp.413-437, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01121192
A new approach to decoding life: systems biology, Annual Reviews 4139 El Camino Way, pp.343-372, 2001. ,
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
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
Structure and function of the feed-forward loop network motif, pp.11980-11985, 2003. ,
Signaling networks guiding epithelialmesenchymal transitions during embryogenesis and cancer progression, Cancer Sci, vol.98, issue.10, pp.1512-1520, 2007. ,
Synchronism vs Asynchronism in Boolean networks, CoRR, vol.4039, 1104. ,
Non-monotony and Boolean automata networks, CoRR, vol.4552, 1111. ,
Refining Dynamics of Gene Regulatory Networks in a Stochastic ?-Calculus Framework, Transactions on Computational Systems Biology XIII, pp.171-191, 2011. ,
Tuning Temporal Features within the Stochastic ?-Calculus, Software Engineering IEEE Transactions on, vol.37, issue.6, pp.858-871, 2011. ,
Static Analysis of Boolean Networks Based on Interaction Graphs: a Survey, Proceedings of The Second International Workshop on Static Analysis and Systems Biology, pp.93-104, 2011. ,
From the Process Hitting to Petri Nets and Back, 2012. ,
Static Analysis of Biological Regulatory Networks Dynamics using Abstract Interpretation, Mathematical Structures in Computer Science, vol.22, pp.651-685, 2012. ,
Formal methods for modeling biological regulatory networks, Modern Formal Methods and Applications, pp.83-122, 2006. ,
Modern Formal Methods and Applications " , Chapter Formal Methods for Modeling Biological Regulatory Networks, pp.83-122, 2006. ,
A Logical Model Provides Insights into T Cell Receptor Signaling, PLoS Computational Biology, vol.3, issue.8, 2007. ,
Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance, BMC Systems Biology, vol.3, issue.1, 2009. ,
The Logic of EGFR/ErbB Signaling: Theoretical Properties and Analysis of High-Throughput Data, PLoS Computational Biology, vol.5, 2009. ,
PID: The Pathway Interaction Database, Nucleic Acids Res, vol.37, pp.674-683, 2009. ,