Model checking to assess t-helper cell plasticity, Front. Bioeng. Biotechnol, vol.2, p.86, 2015. ,
DOI : 10.1101/012641
NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, pp.359-364, 2002. ,
DOI : 10.1007/3-540-45657-0_29
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1415&context=compsci
Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1982. ,
DOI : 10.1007/978-3-540-69850-0_12
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1451&context=compsci
Mathematical Modelling of Molecular Pathways Enabling Tumour Cell Invasion and Migration, PLOS Computational Biology, vol.7, issue.Pt 3, 2015. ,
DOI : 10.1371/journal.pcbi.1004571.s018
URL : https://doi.org/10.1371/journal.pcbi.1004571
Logical modeling of lymphoid and myeloid cell specification and transdifferentiation, Proceedings of the National Academy of Sciences, vol.270, issue.1, pp.5792-5799, 2017. ,
DOI : 10.1016/j.jtbi.2010.09.017
URL : http://www.pnas.org/content/114/23/5792.full.pdf
The Cell Collective: Toward an open and collaborative approach to systems biology, BMC Systems Biology, vol.6, issue.1, pp.96-106, 2012. ,
DOI : 10.1186/1752-0509-3-1
URL : https://bmcsystbiol.biomedcentral.com/track/pdf/10.1186/1752-0509-6-96?site=bmcsystbiol.biomedcentral.com
PyBoolNet: a python package for the generation, analysis and visualization of boolean networks, Bioinformatics, vol.14, pp.770-772, 2017. ,
DOI : 10.1016/S0022-5193(05)80350-9
bioLQM: a java library for the manipulation and conversion of Logical Qualitative Models of biological networks, 2018. ,
DOI : 10.1101/287011
Logical modelling of regulatory networks with GINsim 2.3, Biosystems, vol.97, issue.2, 2009. ,
DOI : 10.1016/j.biosystems.2009.04.008
Logical modelling and analysis of cellular regulatory networks with GINsim 3.0, Front. Physiol, p.646, 2018. ,
DOI : 10.1101/289298
URL : https://www.biorxiv.org/content/early/2018/03/27/289298.full.pdf
The CoLoMoTo interactive notebook: accessible and reproducible computational analyses for qualitative biological networks, Front. Physiol, p.680, 2018. ,
DOI : 10.1101/290411
URL : https://hal.archives-ouvertes.fr/hal-01794294
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface, CMSB 2017 -15th Conference on, 2017. ,
DOI : 10.1038/nbt0402-370