M. Blinov, J. R. Faeder, B. Goldstein, and W. S. Hlavacek, BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, pp.20-3289, 2004.
DOI : 10.1093/bioinformatics/bth378

F. Camporesi, Exact and formal reduction of models of signaling pathways written in Kappa, 2017.

F. Camporesi and J. Feret, Formal Reduction for Rule-based Models, Electronic Notes in Theoretical Computer Science, vol.276, pp.29-59, 2011.
DOI : 10.1016/j.entcs.2011.09.014
URL : https://hal.archives-ouvertes.fr/inria-00636850

F. Camporesi, J. Feret, H. Koeppl, and T. Petrov, Combining Model Reductions, Electronic Notes in Theoretical Computer Science, vol.265, pp.73-96, 2010.
DOI : 10.1016/j.entcs.2010.08.006
URL : https://hal.archives-ouvertes.fr/inria-00527536

F. Camporesi, J. Feret, and K. Q. L´yl´y, KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models, Proc. CMSB'17, 2017.
DOI : 10.1007/978-3-662-49674-9_6
URL : https://hal.archives-ouvertes.fr/hal-01613600

V. Danos, J. Feret, W. Fontana, and J. Krivine, Abstract Interpretation of Cellular Signalling Networks, Proc. VMCAI'08, pp.83-97, 2008.
DOI : 10.1007/978-3-540-78163-9_11
URL : https://hal.archives-ouvertes.fr/inria-00528352

V. Danos and C. Laneve, Core Formal Molecular Biology, Proc ESOP'03, pp.302-318, 2003.
DOI : 10.1007/3-540-36575-3_21

V. Danos and C. Laneve, Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, pp.69-110, 2004.
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/hal-00164591

J. R. Faeder, M. L. Blinov, and W. S. Hlavacek, Rule-Based Modeling of Biochemical Systems with BioNetGen, Methods Mol Biol, vol.500, pp.113-67, 2009.
DOI : 10.1007/978-1-59745-525-1_5

J. R. Faeder, W. S. Hlavacek, I. Reischl, M. L. Blinov, H. Metzger et al., Investigation of Early Events in Fc??RI-Mediated Signaling Using a Detailed Mathematical Model, The Journal of Immunology, vol.170, issue.7, pp.3769-3781, 2003.
DOI : 10.4049/jimmunol.170.7.3769

J. Feret, An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models, Electronic Notes in Theoretical Computer Science, vol.316, pp.45-6514, 2015.
DOI : 10.1016/j.entcs.2015.06.010
URL : https://hal.archives-ouvertes.fr/hal-01098556

J. Feret and K. Q. L´yl´y, Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models, Proc. CMSB'16, pp.116-131, 2016.
DOI : 10.1126/science.347.6221.465
URL : https://hal.archives-ouvertes.fr/hal-01379897

J. Feret and K. Q. L´yl´y, Reachability analysis via orthogonal sets of patterns, proc. SASB'16, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01379902