Bionetgen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, 2004. ,
From reaction models to influence graphs and back: A theorem, Proc. FMSB'08, vol.5054, pp.90-102, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00419921
Reachability analysis via orthogonal sets of patterns, ENTCS, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01379902
Local traces: an over-approximation of the behaviour of the proteins in rule-based models, IEEE/ACM TCBB, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01379897
From word models to executable models of signaling networks using automated assembly, 2017. ,
Matrix control of transforming growth factor-? function, The Journal of Biochemistry, vol.152, issue.4, pp.321-329, 2012. ,
, The ocaml system, 2017.
URL : https://hal.archives-ouvertes.fr/hal-00930213
Logical modelling of regulatory networks with ginsim 2.3, Biosystems, vol.97, issue.2, pp.134-139, 2009. ,
Machines vs. ensembles: effective mapk signaling through heterogeneous sets of protein complexes, PLoS Computational Biology, vol.9, 2013. ,