The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francesca Levi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
    Intensional Negation in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:359-374 [Conf]
  2. Roberta Gori, Francesca Levi
    An Analysis for Proving Temporal Properties of Biological Systems. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:234-252 [Conf]
  3. Roberta Gori, Francesca Levi
    A New Occurrence Counting Analysis for BioAmbients. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:381-400 [Conf]
  4. Pierpaolo Degano, Francesca Levi, Chiara Bodei
    Safe Ambients: Control Flow Analysis and Security. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:199-214 [Conf]
  5. Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
    Compilative Constructive Negation in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:52-67 [Conf]
  6. Francesca Levi, Chiara Bodei
    A Control Flow Analysis for Safe and Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:188-203 [Conf]
  7. Francesca Levi
    A Process Language for Statecharts. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:388-403 [Conf]
  8. Francesca Levi, Davide Sangiorgi
    Controlling Interference in Ambients. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:352-364 [Conf]
  9. Francesca Levi
    A Symbolic Semantics for Abstract Model Checking. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:134-151 [Conf]
  10. Francesca Levi, Sergio Maffeis
    An Abstract Interpretation Framework for Analysing Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:395-411 [Conf]
  11. Francesca Levi
    Types for Evolving Communication in Safe Ambients. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:102-115 [Conf]
  12. Francesca Levi
    A typed encoding of boxed into safe ambients. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2006, v:42, n:6-7, pp:429-500 [Journal]
  13. Francesca Levi, Sergio Maffeis
    On abstract interpretation of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:188, n:2, pp:179-240 [Journal]
  14. Francesca Levi
    Compositional Verification of Quantitative Properties of Statecharts. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:6, pp:829-878 [Journal]
  15. Francesca Levi
    A symbolic semantics for abstract model checking. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:39, n:1, pp:93-123 [Journal]
  16. Francesca Levi
    A Compositional µ-Calculus Proof System for Statecharts Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:271-310 [Journal]
  17. Francesca Levi, Davide Sangiorgi
    Mobile safe ambients. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2003, v:25, n:1, pp:1-69 [Journal]

  18. Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. [Citation Graph (, )][DBLP]


  19. Abstract Interpretation for Probabilistic Termination of Biological Systems [Citation Graph (, )][DBLP]


  20. Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002