G. Amato, F. Scozzari, E. Zaffanella. Efficient constraint/generator removal from double description of polyhedra. Electronic Notes in Theoretical Computer Science
307, pp. 3-15.
G. Amato, F. Scozzari. Optimal multibinding unification for sharing and linearity analysis.
Theory and Practice of Logic Programming 14 (3), pp. 379-400.
G. Amato, F. Scozzari. Localizing widening and narrowing. In Proceedings of SAS 2013, pp. 25-42. LNCS 7935, 2013. (preprint pdf)
G. Amato, S. Di Nardo Di Maio, F. Scozzari. Numerical static analysis with soot. In
Proceedings of the 2nd ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2013, pp. 25-30. ACM 2013.
G. Amato, F. Scozzari. Analysis and verification of navigation strategies by abstract interpretation of cellular automata. 5th International Conference on Motion in Games (MIG 2012). Rennes, France. LNCS 7660, pp. 378–381, 2012.
G. Amato, M. Coppola, S. Gnesi, F. Scozzari, L. Semini. Modeling Web Applications by the Multiple Levels of Integrity Policy. In Proceedings 1st Int'l Workshop on Automated Specification and Verification of Web Sites. ENTCS 157(2), Elsevier Science, 2006.
Roberto Giacobazzi, F. Scozzari Intuitionistic Implication in Abstract Interpretation In Proceedings of PLILP'97.
Roberto Bagnara, Marco Comini, F. Scozzari Enea Zaffanella The AND-compositionality of CLP computed answer constraints In Proceedings of APPIA-GULP-PRODE'96.
Giorgio Levi, F. Scozzari Contributions to a theory of existential termination for definite logic programs In Proceedings of GULP-PRODE'95.
Copyright Notice. The documents distributed have been provided
by the contributing authors as a means to ensure timely dissemination
of scholarly and technical work on a noncommercial basis, uniquely for
a strictly personnal use. Copyright and all rights therein are
maintained by the authors or by other copyright holders,
notwithstanding that they have offered their works here
electronically. It is understood that all persons copying this
information will adhere to the terms and constraints invoked by each
author's and publishers copyright. These works may not be reposted or
distributed in any form without the explicit permission of the