Combining Model Reductions. - Ferdinanda Camporesi; Jérôme Feret; Heinz Koeppl; Tatjana Petrov (MFPS, 2010)

Formal Reduction for Rule-based Models. - Ferdinanda Camporesi; Jérôme Feret (MFPS, 2011)

Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions. - Ferdinanda Camporesi; Jérôme Feret; Jonathan Hayman (CMSB, 2013)

KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. - Ferdinanda Camporesi; Jérôme Feret; Kim Quyên Lý (CMSB, 2017)

Formal and exact reduction for differential models of signalling pathways in rule-based languages. (Réduction formelle et exacte de modèles différentiels de voies de signalisation en Kappa). - Ferdinanda Camporesi (2017)

KaSa: A Static Analyzer for Kappa. - Pierre Boutillier; Ferdinanda Camporesi; Jean Coquet; Jérôme Feret; Kim Quyên Lý; Nathalie Théret; Pierre Vignet (CMSB, 2018)