Networks Inferred from Biochemical Data Reveal Profound Differences in Toll-like Receptor and Inflammatory Signaling between Normal and Transformed Hepatocytes, Molecular & Cellular Proteomics, vol.9, issue.9, pp.1849-1865, 2010. ,
DOI : 10.1074/mcp.M110.000406
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
Knowledge Representation, Reasoning and Declarative Problem Solving, 2003. ,
DOI : 10.1017/CBO9780511543357
An Evaluation of Methods for Inferring Boolean Networks from Time-Series Data, PLoS ONE, vol.22, issue.6, p.66031, 2013. ,
DOI : 10.1371/journal.pone.0066031.t002
NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, pp.241-268, 2002. ,
DOI : 10.1007/3-540-45657-0_29
An LTL Model Checking Approach for Biological Parameter Inference, Formal Methods and Software Engineering, pp.155-170, 2014. ,
DOI : 10.1007/978-3-319-11737-9_11
URL : https://hal.archives-ouvertes.fr/hal-01110746
Answer Set Solving in Practice, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.6, issue.3, 2012. ,
DOI : 10.2200/S00457ED1V01Y201211AIM019
Domainspecific heuristics in answer set programming, Proceedings of the 27th National Conference on Artificial Intelligence (AAAI'13), pp.350-356, 2013. ,
Multi-threaded ASP solving with clasp. Theory and Practice of Logic Programming, pp.525-545, 2012. ,
Exhaustively characterizing feasible logic models of a signaling network using answer set programming, Bioinformatics, issue.18, pp.292320-2326, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00853704
On the Complexity of Verifying Concurrent Transition Systems, Information and Computation, vol.173, issue.2, pp.143-161, 2002. ,
DOI : 10.1006/inco.2001.2920
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
Parameter Identification and Model Ranking of Thomas Networks, Computational Methods in Systems Biology, pp.207-226, 2012. ,
DOI : 10.1007/978-3-642-33636-2_13
Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction, Molecular Systems Biology, vol.41, issue.331, 2009. ,
DOI : 10.1038/msb.2009.87
Boolean modeling in systems biology: an overview of methodology and applications, Physical Biology, vol.9, issue.5, p.2012 ,
DOI : 10.1088/1478-3975/9/5/055001