Ferdinanda Camporesi

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 2

Top Topics

Statistical Model

Top Venues

PSL Research University, Paris, France (PHD)

Education History

PSL Research University, Paris, France

PHD

Publications

Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Théret, Pierre Vignet
KaSa: A Static Analyzer for Kappa. CMSB (2018)
Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. CMSB (2017)
Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman
Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions. CMSB (2013)
Ferdinanda Camporesi, Jérôme Feret
Formal Reduction for Rule-based Models. MFPS (2011)
Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
Combining Model Reductions. MFPS (2010)