Ferdinanda Camporesi

• ITMO Cancer project TGFSysBio

• Kappa tools are now available under GPL license at: http://www.kappalanguage.org.

• Ferdinanda Camporesi. Formal and exact reduction for differential models of signalling pathways in rule-based languages. Thèse de doctorat, École Normale Supérieure, January 2017.

• Ferdinanda Camporesi, Jérôme Feret,& Jonathan Hayman. Context-sensitive flow analyses: a hierarchy of model reductions. In Proceedings of the 11th Conference on Computational Methods in Systems Biology (CMSB 2013), in Lecture Notes in BioInformatics, number 8130. © 2013, Springer.

• Ferdinanda Camporesi, Jérôme Feret. Formal reduction of rule-based models. In Mathematical Foundations of Programming Semantics (MFPS XXVII), in Electronnic Notes in Theoretical Computer Science, volume 276, pp 31--61. © 2011, Elsevier Science.

• Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl,& Tatjana Petrov. Combining model reductions. In Mathematical Foundations of Programming Semantics (MFPS XXVI), to appear in Electronnic Notes in Theoretical Computer Science, volume 265, pp 73--96. © 2010, Elsevier Science.

• Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl,& Tatjana Petrov. Automatic reduction of stochastic rules-based models in a nutshell. In International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010), numero 1281(2) in American Institute of Physics conference proceedings. 2010, © American Institute of Physics.