Francesca Levi
University of Pisa(IT)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Gene Regulatory Network Analysis, DNA and Biological Computing, Distributed systems and fault tolerance
Most-Cited Works
- → Controlling interference in ambients(2000)211 cited
- → Mobile safe ambients(2003)109 cited
- → Investigating dynamic causalities in reaction systems(2015)49 cited
- → Safe Ambients: Control Flow Analysis and Security(2000)45 cited
- → Compilative constructive negation in constraint logic programs(2005)23 cited
- → Specialized Predictor for Reaction Systems with Context Properties(2016)20 cited
- → Generalized contexts for reaction systems: definition and study of dynamic causalities(2017)20 cited
- → Probabilistic model checking of biological systems with uncertain kinetic rates(2011)19 cited
- → A New Occurrence Counting Analysis for BioAmbients(2005)17 cited
- → An Analysis for Proving Temporal Properties of Biological Systems(2006)17 cited