Francesca Scozzari

60 papers B 11C 3Journal 24Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
CONNECT: find your dream team.
SoftwareX
Gianluca Amato, Luca Di Vita, Paolo Melchiorre, Maria Chiara Meo, Francesca Scozzari, Matteo Vitali
2025 B conf
A Comparative Analysis of Artificial Intelligence Methods for Breast Cancer Interpretation.
IJCNN
Ijaz Ahmad, Alessia Amelio, Farman Ali, Arcangelo Merla, Francesca Scozzari, Nadeem Ahmad
2025 — conf
Enabling research collaboration with AI: the BI4E experience with large language models.
Ital-IA
Gianluca Amato, Marcello Costantini, Luca Di Vita, Francesca Ferri, Paolo Melchiorre, Maria Chiara Meo, Francesca Scozzari, Matteo Vitali
2025 — conf
Explainability in breast cancer detection.
Ital-IA
Ijaz Ahmad, Alessia Amelio, Daniela Cardone, Eliezer Zahid Gill, Francesca Scozzari
2025 — ed.
Proceedings of the 26th Italian Conference on Theoretical Computer Science, Pescara, Italy, September 10-12, 2025.
ICTCS
Luca Moscardelli, Francesca Scozzari
2024 — conf
AI for Sustainability: Research at Ud'A Node.
Ital-IA
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
2024 — conf
Interpretability of Machine Learning Models for Breast Cancer Identification: A Review.
KES-IDT
Ijaz Ahmad, Alessia Amelio, D. H. Gernsback, Arcangelo Merla, Francesca Scozzari
2024 J jnl
Optimal Matching for Sharing and Linearity Analysis.
Theory Pract. Log. Program.
Gianluca Amato, Francesca Scozzari
2024 J jnl
Optimal matching for sharing and linearity analysis.
CoRR
Gianluca Amato, Francesca Scozzari
2023 J jnl
A survey on the role of artificial intelligence in managing Long COVID.
Frontiers Artif. Intell.
Ijaz Ahmad, Alessia Amelio, Arcangelo Merla, Francesca Scozzari
2023 J jnl
JGMP: Java bindings and wrappers for the GMP library.
SoftwareX
Gianluca Amato, Francesca Scozzari
2023 B conf
The ScalaFix Equation Solver.
FM
Gianluca Amato, Francesca Scozzari
2022 — conf
On the Need for a Common API for Abstract Domains of Object-Oriented Programs.
FTfJP@ECOOP
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2022 J jnl
The role of linearity in sharing analysis.
Math. Struct. Comput. Sci.
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2020 J jnl
On collecting semantics for program analysis.
Theor. Comput. Sci.
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2018 — conf
A Taxonomy of Program Analyses.
ICTCS
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2018 J jnl
Descending chains and narrowing on template abstract domains.
Acta Informatica
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
2018 — ed.
Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017
NSAD@SAS
Francesca Scozzari
2017 J jnl
Inferring linear invariants with parallelotopes.
Sci. Comput. Program.
Gianluca Amato, Marco Rubino, Francesca Scozzari
2017 — conf
Preface.
NSAD@SAS
Francesca Scozzari
2016 J jnl
Efficiently intertwining widening and narrowing.
Sci. Comput. Program.
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2015 J jnl
Efficiently intertwining widening and narrowing.
CoRR
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2015 — conf
Exploiting Linearity in Sharing Analysis of Object-oriented Programs.
ICTCS
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2015 B conf
Narrowing Operators on Template Abstract Domains.
FM
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
2015 — conf
Sum of Abstract Domains.
NFM
Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
2014 — conf
Efficient Constraint/Generator Removal from Double Description of Polyhedra.
NSAD
Gianluca Amato, Francesca Scozzari, Enea Zaffanella
2014 J jnl
Optimal multibinding unification for sharing and linearity analysis.
Theory Pract. Log. Program.
Gianluca Amato, Francesca Scozzari
2013 B conf
Localizing Widening and Narrowing.
SAS
Gianluca Amato, Francesca Scozzari
2013 — conf
Numerical static analysis with Soot.
SOAP@PLDI
Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
2013 J jnl
Optimal multi-binding unification for sharing and linearity analysis.
CoRR
Gianluca Amato, Francesca Scozzari
2012 C conf
Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata.
MIG
Gianluca Amato, Francesca Scozzari
2012 J jnl
Discovering invariants via simple component analysis.
J. Symb. Comput.
Gianluca Amato, Maurizio Parton, Francesca Scozzari
2012 B conf
Random: R-Based Analyzer for Numerical Domains.
LPAR
Gianluca Amato, Francesca Scozzari
2012 — conf
The Abstract Domain of Parallelotopes.
NSAD@SAS
Gianluca Amato, Francesca Scozzari
2011 J jnl
Observational Completeness on Abstract Interpretation.
Fundam. Informaticae
Gianluca Amato, Francesca Scozzari
2010 B conf
A Tool Which Mines Partial Execution Traces to Improve Static Analysis.
RV
Gianluca Amato, Maurizio Parton, Francesca Scozzari
2010 B conf
Deriving Numerical Abstract Domains via Principal Component Analysis.
SAS
Gianluca Amato, Maurizio Parton, Francesca Scozzari
2010 J jnl
On the interaction between sharing and linearity.
Theory Pract. Log. Program.
Gianluca Amato, Francesca Scozzari
2009 C conf
Observational Completeness on Abstract Interpretation.
WoLLIC
Gianluca Amato, Francesca Scozzari
2009 J jnl
Optimality in goal-dependent analysis of Sharing.
Theory Pract. Log. Program.
Gianluca Amato, Francesca Scozzari
2007 J jnl
On the interaction between sharing and linearity
CoRR
Gianluca Amato, Francesca Scozzari
2005 J jnl
Making abstract domains condensing.
ACM Trans. Comput. Log.
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
2005 — conf
Modeling Web Applications by the Multiple Levels of Integrity Policy.
WWV
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
2005 — conf
Modeling Web Applications by the Multiple Levels of Integrity Policy.
WWV
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
2005 J jnl
Optimality in Goal-Dependent Analysis of Sharing
CoRR
Gianluca Amato, Francesca Scozzari
2002 C conf
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.
LOPSTR
Gianluca Amato, Francesca Scozzari
2002 J jnl
Logical optimality of groundness analysis.
Theor. Comput. Sci.
Francesca Scozzari
2002 J jnl
Making Abstract Domains Condensing
CoRR
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
2002 — conf
Optimality in Goal-Dependent Analysis of Sharing.
APPIA-GULP-PRODE
Gianluca Amato, Francesca Scozzari
2000 B conf
Abstract Domains for Sharing Analysis by Optimal Semantics.
SAS
Francesca Scozzari
2000 J jnl
Making abstract interpretations complete.
J. ACM
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
1998 J jnl
A Logical Model for Relational Abstract Domains.
ACM Trans. Program. Lang. Syst.
Roberto Giacobazzi, Francesca Scozzari
1998 — conf
Building Complete Abstract Interpretations in a Linear Logic-based Setting.
APPIA-GULP-PRODE
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
1998 B conf
Building Complete Abstract Interpretations in a Linear Logic-based Setting.
SAS
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
1998 B conf
Complete Abstract Interpretations Made Constructive.
MFCS
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
1997 — conf
Intuitionistic Implication in Abstract Interpretation.
APPIA-GULP-PRODE
Roberto Giacobazzi, Francesca Scozzari
1997 — conf
Intuitionistic Implication in Abstract Interpretation.
PLILP
Roberto Giacobazzi, Francesca Scozzari
1997 B conf
Logical Optimality of Groundness Analysis.
SAS
Francesca Scozzari
1996 — conf
The And-compositionality of CLP Computed Answer Constraints.
APPIA-GULP-PRODE
Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella
1995 — conf
Contributions to a Theory of Existential Termination for Definite Logic Programs.
GULP-PRODE
Giorgio Levi, Francesca Scozzari