J. L. Andersen, A software package for chemically inspired graph transformation, Lecture Notes Computer Sci, vol.9761, pp.73-88, 2016.

J. A. Bachman, P. Sorger, and A. Basso-blandin, A knowledge representation meta-model for rule-based modelling of signalling networks, Proceedings of the 11th International Workshop on Developments in Computational Models (DCM 2015, vol.8, pp.47-59, 2011.

P. Boutillier, Incremental update for graph rewriting, Programming Languages and Systems-26th European Symposium on Programming, vol.2017, pp.201-228, 2017.

P. Boutillier, Kappa Reference Manual, 2017.

, The Kappa platform for rule-based modeling i591

L. A. Chylek, Guidelines for visualizing and annotating rule-based models, Mol. BioSyst, vol.7, pp.2779-2795, 2011.

P. R. Cohen, DARPA's Big Mechanism program, Phys. Biol, vol.12, p.45008, 2015.

P. Cousot and R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proceedings of the 4th Symposium on Principles of Programming Languages, POPL'77, pp.238-252, 1977.

T. Dang, ReactionFlow: an interactive visualization tool for causality analysis in biological pathways, BMC Proc, vol.9, p.6, 2015.

V. Danos, Rule-based modelling of cellular signalling, Proceedings of the Eighteenth International Conference on Concurrency Theory, vol.4703, pp.17-41, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00164297

V. Danos, Scalable simulation of cellular signaling networks, Proceedings of the Fifth Asian Symposium on Programming Systems, vol.4807, pp.139-157, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00528409

V. Danos, Abstract interpretation of cellular signalling networks, Verification, Model Checking, and Abstract Interpretation, vol.4905, pp.83-97, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00528352

V. Danos, Graphs, rewriting and pathway reconstruction for rule-based models, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, vol.18, pp.276-288, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00809065

J. R. Faeder, Rule-based modeling of biochemical systems with bionetgen, Methods in Molecular Biology, vol.500, pp.113-167, 2009.

J. Feret and K. Q. , Reachability analysis via orthogonal sets of patterns, Seventh International Workshop on Static Analysis and Systems Biology (SASB'16), vol.335, pp.27-48, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01379902

M. Fiedler, Dishevelled interacts with the DIX domain polymerization interface of Axin to interfere with its function in down-regulating b-catenin, vol.108, pp.1937-1942, 2011.

A. G. Forbes, Dynamic influence networks for rule-based models, IEEE Trans. Visualization Computer Graph, vol.24, pp.184-194, 2018.

D. T. Gillespie, Stochastic simulation of chemical kinetics, Annu. Rev. Phys. Chem, vol.58, pp.35-55, 2007.

B. M. Gyori, From word models to executable models of signaling networks using automated assembly, Mol. Syst. Biol, vol.13, p.954, 2017.

R. Harmer, Bio-curation for cellular signalling: the KAMI project, Computational Methods in Systems Biology: 15th International Conference, pp.3-19, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01617185

L. A. Harris, BioNetGen 2.2: advances in rule-based modeling, Bioinformatics, vol.32, pp.3366-3368, 2016.

W. O. Kermack and R. Robinson, LI.-an explanation of the property of induced polarity of atoms and an interpretation of the theory of partial valencies on an electronic basis, J. Chem. Soc. Trans, vol.121, pp.427-440, 1922.

K. W. Kohn, Depicting combinatorial complexity with the molecular interaction map notation, Mol. Syst. Biol, vol.2, pp.1-51, 2006.

L. M. Loew and J. C. Schaff, The Virtual Cell: a software environment for computational cell biology, Trends Biotechnol, vol.19, pp.401-406, 2001.

P. Murray, A taxonomy of visualization tasks for the analysis of biological pathway data, BMC Bioinformatics, vol.18, pp.21-22, 2017.

F. Paduano and A. G. Forbes, Extended LineSets: a visualization technique for the interactive inspection of biological pathways, BMC Proc, vol.9, p.4, 2015.

J. A. Sekar, Automated visualization of rule-based models, PLoS Comput. Biol, vol.13, p.1005857, 2017.

A. M. Smith, RuleBender: integrated modeling, simulation and visualization for rule-based intracellular biochemistry, Proc. Natl. Acad. Sci, vol.13, issue.S3, pp.7420-7425, 2007.