Search the dblp DataBase

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]