Ferdinanda Camporesi

According to our database, Ferdinanda Camporesi authored at least 6 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

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

Proceedings of the Computational Methods in Systems Biology, 2018

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

PhD thesis, 2017

KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models.

Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý

Proceedings of the Computational Methods in Systems Biology, 2017

2013

Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions.

Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman

Proceedings of the Computational Methods in Systems Biology, 2013

2011

Formal Reduction for Rule-based Models.

Ferdinanda Camporesi, Jérôme Feret

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

2010

Combining Model Reductions.

Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010