Items where Author is "Amato, Gianluca"
Group by: Item Type | No Grouping Jump to: Book Number of items: 4. BookAmato, Gianluca and Scozzari, Francesca (2005) On abstract unification for variable aliasing. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Scozzari, Francesca and Amato, Gianluca (2005) Optimality in Goal-Dependent Analysis of Sharing. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Amato, Gianluca and Coppola, Massimo and Gnesi, Stefania and Scozzari, Francesca and Semini, Laura (2005) Modeling Web Applications by the Multiple Levels of Integrity Policy. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Amato, Gianluca and Scozzari, Francesca (2002) Optimality in goal-dependent Analysis of Sharing. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |