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

P. Boutillier, T. Ehrhard, and J. Krivine, Incremental Update for Graph Rewriting, Proc. ESOP'17, 2017.
DOI : 10.1073/pnas.0809908106

F. Camporesi, J. Feret, and J. Hayman, Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions, Proc. CMSB'13, number 8130, 2013.
DOI : 10.1007/978-3-642-40708-6_17
URL : https://hal.archives-ouvertes.fr/hal-00846893

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

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-Based Modelling of Cellular Signalling, Proc. CONCUR'07, pp.17-41, 2007.
DOI : 10.1007/978-3-540-74407-8_3
URL : https://hal.archives-ouvertes.fr/hal-00164297

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, 2010.
DOI : 10.1109/LICS.2010.44
URL : https://hal.archives-ouvertes.fr/hal-00520112

V. Danos, J. Feret, W. Fontana, and J. Krivine, Scalable Simulation of Cellular Signaling Networks, Proc. APLAS'07, 2007.
DOI : 10.1007/978-3-540-76637-7_10
URL : https://hal.archives-ouvertes.fr/inria-00528409

V. Danos, R. Harmer, and G. Winskel, Constraining rule-based dynamics with types, Mathematical Structures in Computer Science, vol.2006, issue.02, 2013.
DOI : 10.1007/978-3-540-74407-8_3
URL : https://hal.archives-ouvertes.fr/hal-00694492

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 models, habilitation, in preparation

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.83, issue.2-3, 2009.
DOI : 10.1016/j.biosystems.2005.06.014
URL : https://hal.archives-ouvertes.fr/inria-00528330

J. Feret, H. Koeppl, and T. Petrov, Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models, p.7, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01098561

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

R. Harmer, V. Danos, J. Feret, J. Krivine, and W. Fontana, Intrinsic information carriers in combinatorial dynamical systems, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.11, issue.3, 2010.
DOI : 10.1073/pnas.97.1.32
URL : https://hal.archives-ouvertes.fr/hal-00520128

O. Connor, J. J. , and E. F. Robertson, Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji, MacTutor History of Mathematics archive

M. W. Sneddon, J. R. Faeder, and T. Emonet, Efficient modeling, simulation and coarse-graining of biological complexity with NFsim, Nature Methods, vol.104, issue.2, 2011.
DOI : 10.1021/jp993732q