M. Blinov, J. Faeder, B. Goldstein, and W. Hlavacek, A network model of early events in epidermal growth factor receptor signaling that accounts for combinatorial complexity, Biosystems, vol.83, issue.2-3, 2006.
DOI : 10.1016/j.biosystems.2005.06.014

M. L. 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, 2004.
DOI : 10.1093/bioinformatics/bth378

P. Boutillier, J. Feret, J. Krivine, and K. Q. L´yl´y, Kasim development homepage

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/hal-01108790

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, 1979.
DOI : 10.1145/567752.567778

V. Danos, J. Feret, W. Fontana, R. Harmer, J. Hayman et al., Graphs, rewriting and pathway reconstruction for rule-based models, Proc. FSTTCS '12, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00809065

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-Based Modelling, Symmetries, Refinements, Proc. FMSB'08, 2008.
DOI : 10.1007/978-3-540-68413-8_8

URL : https://hal.archives-ouvertes.fr/inria-00528339

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction, 2010 25th Annual IEEE Symposium on Logic in Computer Science, p.2010, 2010.
DOI : 10.1109/LICS.2010.44

URL : https://hal.archives-ouvertes.fr/hal-00520112

V. Danos, J. Feret, W. Fontana, and J. Krivine, Abstract Interpretation of Cellular Signalling Networks, Proc. VMCAI'08, 2008.
DOI : 10.1007/978-3-540-78163-9_11

URL : https://hal.archives-ouvertes.fr/inria-00528352

V. Danos, J. Feret, W. Fontanta, R. Harmer, and J. Krivine, Rule based modeling of biological signaling, Proc. CONCUR'07, 2007.

V. Danos and C. Laneve, Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, 2004.
DOI : 10.1016/j.tcs.2004.03.065

URL : https://hal.archives-ouvertes.fr/hal-00164591

J. Feret, Abstract interpretations of rule-based modelling, HabilitationàHabilitationà Diriger des Recherches

J. Feret, Reachability Analysis of Biological Signalling Pathways by Abstract Interpretation, AIP Conference Proceedings, 2007.
DOI : 10.1063/1.2836158

URL : https://hal.archives-ouvertes.fr/inria-00528358

J. Feret, V. Danos, J. Krivine, R. Harmer, and W. Fontana, Internal coarse-graining of molecular systems, Proceedings of the National Academy of Sciences, vol.106, issue.16, 2009.
DOI : 10.1073/pnas.0809908106

URL : https://hal.archives-ouvertes.fr/inria-00528330

J. Feret and Q. K. L´yl´y, Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models, Proc. CMSB'16, 2016.
DOI : 10.1007/978-3-319-45177-0_8

URL : https://hal.archives-ouvertes.fr/hal-01379897

A. Miné, A Few Graph-Based Relational Numerical Abstract Domains, Proc. SAS'02, 2002.
DOI : 10.1007/3-540-45789-5_11

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, 1955.
DOI : 10.2140/pjm.1955.5.285