Francesca Levi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1998–2015
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | LOPSTR | A Global Occurrence Counting Analysis for Brane Calculi. | Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi |
| 2006 | APLAS | An Analysis for Proving Temporal Properties of Biological Systems. | Roberta Gori, Francesca Levi |
| 2005 | APLAS | A New Occurrence Counting Analysis for BioAmbients. | Roberta Gori, Francesca Levi |
| 2004 | ESOP | A Control Flow Analysis for Safe and Boxed Ambients. | Francesca Levi, Chiara Bodei |
| 2003 | VMCAI | Types for Evolving Communication in Safe Ambients. | Francesca Levi |
| 2001 | SAS | An Abstract Interpretation Framework for Analysing Mobile Ambients. | Francesca Levi, Sergio Maffeis |
| 2000 | POPL | Controlling Interference in Ambients. | Francesca Levi, Davide Sangiorgi |
| 1998 | SAS | A Symbolic Semantics for Abstract Model Checking. | Francesca Levi |