Contributions to a Theory of Existential Termination for Definite Logic Programs. - Giorgio Levi; Francesca Scozzari (GULP-PRODE, 1995)

The And-compositionality of CLP Computed Answer Constraints. - Roberto Bagnara; Marco Comini; Francesca Scozzari; Enea Zaffanella (APPIA-GULP-PRODE, 1996)

Intuitionistic Implication in Abstract Interpretation. - Roberto Giacobazzi; Francesca Scozzari (APPIA-GULP-PRODE, 1997)

Building Complete Abstract Interpretations in a Linear Logic-based Setting. - Roberto Giacobazzi; Francesco Ranzato; Francesca Scozzari (APPIA-GULP-PRODE, 1998)

Complete Abstract Interpretations Made Constructive. - Roberto Giacobazzi; Francesco Ranzato; Francesca Scozzari (MFCS, 1998)

A Logical Model for Relational Abstract Domains. - Roberto Giacobazzi; Francesca Scozzari (ACM Trans. Program. Lang. Syst., 1998)

Abstract Domains for Sharing Analysis by Optimal Semantics. - Francesca Scozzari (SAS, 2000)

Making abstract interpretations complete. - Roberto Giacobazzi; Francesco Ranzato; Francesca Scozzari (J. ACM, 2000)

A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. - Gianluca Amato; Francesca Scozzari (LOPSTR, 2002)

Logical optimality of groundness analysis. - Francesca Scozzari (Theor. Comput. Sci., 2002)

Modeling Web Applications by the Multiple Levels of Integrity Policy. - Gianluca Amato; Massimo Coppola; Stefania Gnesi; Francesca Scozzari; Laura Semini (WWV, 2005)

Making abstract domains condensing. - Roberto Giacobazzi; Francesco Ranzato; Francesca Scozzari (ACM Trans. Comput. Log., 2005)

Optimality in goal-dependent analysis of Sharing. - Gianluca Amato; Francesca Scozzari (Theory Pract. Log. Program., 2009)

A Tool Which Mines Partial Execution Traces to Improve Static Analysis. - Gianluca Amato; Maurizio Parton; Francesca Scozzari (RV, 2010)

Deriving Numerical Abstract Domains via Principal Component Analysis. - Gianluca Amato; Maurizio Parton; Francesca Scozzari (SAS, 2010)

On the interaction between sharing and linearity. - Gianluca Amato; Francesca Scozzari (Theory Pract. Log. Program., 2010)

Observational Completeness on Abstract Interpretation. - Gianluca Amato; Francesca Scozzari (Fundam. Informaticae, 2011)

Random: R-Based Analyzer for Numerical Domains. - Gianluca Amato; Francesca Scozzari (LPAR, 2012)

Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata. - Gianluca Amato; Francesca Scozzari (MIG, 2012)

The Abstract Domain of Parallelotopes. - Gianluca Amato; Francesca Scozzari (NSAD@SAS, 2012)

Discovering invariants via simple component analysis. - Gianluca Amato; Maurizio Parton; Francesca Scozzari (J. Symb. Comput., 2012)

Numerical static analysis with Soot. - Gianluca Amato; Simone Di Nardo Di Maio; Francesca Scozzari (SOAP@PLDI, 2013)

Localizing Widening and Narrowing. - Gianluca Amato; Francesca Scozzari (SAS, 2013)

Optimal multi-binding unification for sharing and linearity analysis. - Gianluca Amato; Francesca Scozzari (CoRR, 2013)

Efficient Constraint/Generator Removal from Double Description of Polyhedra. - Gianluca Amato; Francesca Scozzari; Enea Zaffanella (NSAD, 2014)

Optimal multibinding unification for sharing and linearity analysis. - Gianluca Amato; Francesca Scozzari (Theory Pract. Log. Program., 2014)

Narrowing Operators on Template Abstract Domains. - Gianluca Amato; Simone Di Nardo Di Maio; Maria Chiara Meo; Francesca Scozzari (FM, 2015)

Sum of Abstract Domains. - Gianluca Amato; Simone Di Nardo Di Maio; Francesca Scozzari (NFM, 2015)

Exploiting Linearity in Sharing Analysis of Object-oriented Programs. - Gianluca Amato; Maria Chiara Meo; Francesca Scozzari (ICTCS, 2015)

Efficiently intertwining widening and narrowing. - Gianluca Amato; Francesca Scozzari; Helmut Seidl; Kalmer Apinis; Vesal Vojdani (Sci. Comput. Program., 2016)

Preface. - Francesca Scozzari (NSAD@SAS, 2017)

Inferring linear invariants with parallelotopes. - Gianluca Amato; Marco Rubino; Francesca Scozzari (Sci. Comput. Program., 2017)

A Taxonomy of Program Analyses. - Gianluca Amato; Maria Chiara Meo; Francesca Scozzari (ICTCS, 2018)

Descending chains and narrowing on template abstract domains. - Gianluca Amato; Simone Di Nardo Di Maio; Maria Chiara Meo; Francesca Scozzari (Acta Informatica, 2018)

On collecting semantics for program analysis. - Gianluca Amato; Maria Chiara Meo; Francesca Scozzari (Theor. Comput. Sci., 2020)

On the Need for a Common API for Abstract Domains of Object-Oriented Programs. - Gianluca Amato; Maria Chiara Meo; Francesca Scozzari (FTfJP@ECOOP, 2022)

The role of linearity in sharing analysis. - Gianluca Amato; Maria Chiara Meo; Francesca Scozzari (Math. Struct. Comput. Sci., 2022)

The ScalaFix Equation Solver. - Gianluca Amato; Francesca Scozzari (FM, 2023)

A survey on the role of artificial intelligence in managing Long COVID. - Ijaz Ahmad; Alessia Amelio; Arcangelo Merla; Francesca Scozzari (Frontiers Artif. Intell., 2023)

JGMP: Java bindings and wrappers for the GMP library. - Gianluca Amato; Francesca Scozzari (SoftwareX, 2023)

AI for Sustainability: Research at Ud'A Node. - Gianluca Amato; Alessia Amelio; Luciano Caroprese; Piero Chiacchiaretta; Fabio Fioravanti; Luigi Ippoliti; Maria Chiara Meo; Gianpiero Monaco; Christian Morbidoni; Luca Moscardelli; Maurizio Parton; Francesca Scozzari (Ital-IA, 2024)

Interpretability of Machine Learning Models for Breast Cancer Identification: A Review. - Ijaz Ahmad; Alessia Amelio; D. H. Gernsback; Arcangelo Merla; Francesca Scozzari (KES-IDT, 2024)

Optimal Matching for Sharing and Linearity Analysis. - Gianluca Amato; Francesca Scozzari (Theory Pract. Log. Program., 2024)