The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

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

Publications of Author

  1. Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella
    The And-compositionality of CLP Computed Answer Constraints. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:355-366 [Conf]
  2. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Building Complete Abstract Interpretations in a Linear Logic-based Setting. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:241-254 [Conf]
  3. Roberto Giacobazzi, Francesca Scozzari
    Intuitionistic Implication in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:33-44 [Conf]
  4. Giorgio Levi, Francesca Scozzari
    Contributions to a Theory of Existential Termination for Definite Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:631-642 [Conf]
  5. Gianluca Amato, Francesca Scozzari
    A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:52-70 [Conf]
  6. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Complete Abstract Interpretations Made Constructive. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:366-377 [Conf]
  7. Roberto Giacobazzi, Francesca Scozzari
    Intuitionistic Implication in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:175-189 [Conf]
  8. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Building Complete Abstract Interpretations in a Linear Logic-based Setting. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:215-229 [Conf]
  9. Francesca Scozzari
    Abstract Domains for Sharing Analysis by Optimal Semantics. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:397-412 [Conf]
  10. Francesca Scozzari
    Logical Optimality of Groundness Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:83-97 [Conf]
  11. Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
    Modeling Web Applications by the Multiple Levels of Integrity Policy. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:161-175 [Conf]
  12. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Making Abstract Domains Condensing [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  13. Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
    Modeling Web Applications by the Multiple Levels of Integrity Policy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:167-185 [Journal]
  14. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Making abstract interpretations complete. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:2, pp:361-416 [Journal]
  15. Francesca Scozzari
    Logical optimality of groundness analysis. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:277, n:1-2, pp:149-184 [Journal]
  16. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Making abstract domains condensing. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:1, pp:33-60 [Journal]
  17. Roberto Giacobazzi, Francesca Scozzari
    A Logical Model for Relational Abstract Domains. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:5, pp:1067-1109 [Journal]
  18. Gianluca Amato, Francesca Scozzari
    Optimality in Goal-Dependent Analysis of Sharing [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  19. Gianluca Amato, Francesca Scozzari
    On the interaction between sharing and linearity [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  20. Deriving Numerical Abstract Domains via Principal Component Analysis. [Citation Graph (, )][DBLP]


  21. Observational Completeness on Abstract Interpretation. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002