The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gianluca Amato: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gianluca Amato, Fausto Spoto
    Abstract Compilation for Sharing Analysis. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:311-325 [Conf]
  2. 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]
  3. Gianluca Amato, James Lipton
    Indexed Categories and Bottom-Up Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:438-454 [Conf]
  4. Gianluca Amato, Giorgio Levi
    Abstract Interpretation Based Semantics of Sequent Calculi. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:38-57 [Conf]
  5. 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]
  6. Gianluca Amato
    Correct Answers for First Order Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  7. 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]
  8. Gianluca Amato, Francesca Scozzari
    Optimality in Goal-Dependent Analysis of Sharing [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  9. Gianluca Amato, Francesca Scozzari
    On the interaction between sharing and linearity [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

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


  11. Observational Completeness on 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