 | 2009 |
|---|
| 11 |       | Gianluca Amato,
Francesca Scozzari:
Observational Completeness on Abstract Interpretation.
WoLLIC 2009: 99-112 |
| 10 | | Gianluca Amato,
Francesca Scozzari:
Optimality in goal-dependent analysis of Sharing.
TPLP 9(5): 617-689 (2009) |
| 2007 |
|---|
| 9 | | Gianluca Amato,
Francesca Scozzari:
On the interaction between sharing and linearity
CoRR abs/0710.0528: (2007) |
| 2006 |
|---|
| 8 | | Gianluca Amato,
Massimo Coppola,
Stefania Gnesi,
Francesca Scozzari,
Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy.
Electr. Notes Theor. Comput. Sci. 157(2): 167-185 (2006) |
| 2005 |
|---|
| 7 |  | Gianluca Amato,
Massimo Coppola,
Stefania Gnesi,
Francesca Scozzari,
Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy.
WWV 2005: 161-175 |
| 6 | | Gianluca Amato,
Francesca Scozzari:
Optimality in Goal-Dependent Analysis of Sharing
CoRR abs/cs/0503055: (2005) |
| 2002 |
|---|
| 5 | | Gianluca Amato,
Francesca Scozzari:
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.
LOPSTR 2002: 52-70 |
| 2001 |
|---|
| 4 | | Gianluca Amato,
Fausto Spoto:
Abstract Compilation for Sharing Analysis.
FLOPS 2001: 311-325 |
| 3 | | Gianluca Amato,
James Lipton:
Indexed Categories and Bottom-Up Semantics of Logic Programs.
LPAR 2001: 438-454 |
| 2 | | Gianluca Amato:
Correct Answers for First Order Logic.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 2000 |
|---|
| 1 | | Gianluca Amato,
Giorgio Levi:
Abstract Interpretation Based Semantics of Sequent Calculi.
SAS 2000: 38-57 |
