default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancesca Scozzari
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c30]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:
AI for Sustainability: Research at Ud'A Node. Ital-IA 2024: 516-521- [i6]Gianluca Amato, Francesca Scozzari:
Optimal matching for sharing and linearity analysis. CoRR abs/2406.16063 (2024) - 2023
- [j16]Ijaz Ahmad
, Alessia Amelio, Arcangelo Merla, Francesca Scozzari:
A survey on the role of artificial intelligence in managing Long COVID. Frontiers Artif. Intell. 6 (2023) - [j15]Gianluca Amato, Francesca Scozzari:
JGMP: Java bindings and wrappers for the GMP library. SoftwareX 23: 101428 (2023) - [c29]Gianluca Amato, Francesca Scozzari:
The ScalaFix Equation Solver. FM 2023: 142-159 - 2022
- [j14]Gianluca Amato, Maria Chiara Meo, Francesca Scozzari:
The role of linearity in sharing analysis. Math. Struct. Comput. Sci. 32(1): 44-110 (2022) - [c28]Gianluca Amato, Maria Chiara Meo, Francesca Scozzari:
On the Need for a Common API for Abstract Domains of Object-Oriented Programs. FTfJP@ECOOP 2022: 15-17 - 2020
- [j13]Gianluca Amato, Maria Chiara Meo, Francesca Scozzari:
On collecting semantics for program analysis. Theor. Comput. Sci. 823: 1-25 (2020)
2010 – 2019
- 2018
- [j12]Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari:
Descending chains and narrowing on template abstract domains. Acta Informatica 55(6): 521-545 (2018) - [c27]Gianluca Amato, Maria Chiara Meo, Francesca Scozzari:
A Taxonomy of Program Analyses. ICTCS 2018: 213-217 - [e1]Francesca Scozzari:
Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017. Electronic Notes in Theoretical Computer Science 334, Elsevier 2018 [contents] - 2017
- [j11]Gianluca Amato, Marco Rubino, Francesca Scozzari:
Inferring linear invariants with parallelotopes. Sci. Comput. Program. 148: 161-188 (2017) - [c26]Francesca Scozzari:
Preface. NSAD@SAS 2017: 1-2 - 2016
- [j10]Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani:
Efficiently intertwining widening and narrowing. Sci. Comput. Program. 120: 1-24 (2016) - 2015
- [c25]Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari:
Narrowing Operators on Template Abstract Domains. FM 2015: 57-72 - [c24]Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari:
Sum of Abstract Domains. NFM 2015: 35-49 - [c23]Gianluca Amato, Maria Chiara Meo, Francesca Scozzari:
Exploiting Linearity in Sharing Analysis of Object-oriented Programs. ICTCS 2015: 3-18 - [i5]Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani:
Efficiently intertwining widening and narrowing. CoRR abs/1503.00883 (2015) - 2014
- [j9]Gianluca Amato, Francesca Scozzari:
Optimal multibinding unification for sharing and linearity analysis. Theory Pract. Log. Program. 14(3): 379-400 (2014) - [c22]Gianluca Amato, Francesca Scozzari, Enea Zaffanella:
Efficient Constraint/Generator Removal from Double Description of Polyhedra. NSAD 2014: 3-15 - 2013
- [c21]Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari:
Numerical static analysis with Soot. SOAP@PLDI 2013: 25-30 - [c20]Gianluca Amato, Francesca Scozzari:
Localizing Widening and Narrowing. SAS 2013: 25-42 - [i4]Gianluca Amato, Francesca Scozzari:
Optimal multi-binding unification for sharing and linearity analysis. CoRR abs/1306.2291 (2013) - 2012
- [j8]Gianluca Amato, Maurizio Parton, Francesca Scozzari:
Discovering invariants via simple component analysis. J. Symb. Comput. 47(12): 1533-1560 (2012) - [c19]Gianluca Amato, Francesca Scozzari:
Random: R-Based Analyzer for Numerical Domains. LPAR 2012: 375-382 - [c18]Gianluca Amato, Francesca Scozzari:
Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata. MIG 2012: 378-381 - [c17]Gianluca Amato, Francesca Scozzari:
The Abstract Domain of Parallelotopes. NSAD@SAS 2012: 17-28 - 2011
- [j7]Gianluca Amato, Francesca Scozzari:
Observational Completeness on Abstract Interpretation. Fundam. Informaticae 106(2-4): 149-173 (2011) - 2010
- [j6]Gianluca Amato, Francesca Scozzari:
On the interaction between sharing and linearity. Theory Pract. Log. Program. 10(1): 49-112 (2010) - [c16]Gianluca Amato, Maurizio Parton, Francesca Scozzari:
A Tool Which Mines Partial Execution Traces to Improve Static Analysis. RV 2010: 475-479 - [c15]Gianluca Amato, Maurizio Parton, Francesca Scozzari:
Deriving Numerical Abstract Domains via Principal Component Analysis. SAS 2010: 134-150
2000 – 2009
- 2009
- [j5]Gianluca Amato, Francesca Scozzari:
Optimality in goal-dependent analysis of Sharing. Theory Pract. Log. Program. 9(5): 617-689 (2009) - [c14]Gianluca Amato, Francesca Scozzari:
Observational Completeness on Abstract Interpretation. WoLLIC 2009: 99-112 - 2007
- [i3]Gianluca Amato, Francesca Scozzari:
On the interaction between sharing and linearity. CoRR abs/0710.0528 (2007) - 2005
- [j4]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Making abstract domains condensing. ACM Trans. Comput. Log. 6(1): 33-60 (2005) - [c13]Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV 2005: 161-175 - [c12]Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV 2005: 167-185 - [i2]Gianluca Amato, Francesca Scozzari:
Optimality in Goal-Dependent Analysis of Sharing. CoRR abs/cs/0503055 (2005) - 2002
- [j3]Francesca Scozzari:
Logical optimality of groundness analysis. Theor. Comput. Sci. 277(1-2): 149-184 (2002) - [c11]Gianluca Amato, Francesca Scozzari:
Optimality in Goal-Dependent Analysis of Sharing. APPIA-GULP-PRODE 2002: 189-205 - [c10]Gianluca Amato, Francesca Scozzari:
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. LOPSTR 2002: 52-70 - [i1]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Making Abstract Domains Condensing. CoRR cs.PL/0204016 (2002) - 2000
- [j2]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Making abstract interpretations complete. J. ACM 47(2): 361-416 (2000) - [c9]Francesca Scozzari:
Abstract Domains for Sharing Analysis by Optimal Semantics. SAS 2000: 397-412
1990 – 1999
- 1998
- [j1]Roberto Giacobazzi, Francesca Scozzari:
A Logical Model for Relational Abstract Domains. ACM Trans. Program. Lang. Syst. 20(5): 1067-1109 (1998) - [c8]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting. APPIA-GULP-PRODE 1998: 241-254 - [c7]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Complete Abstract Interpretations Made Constructive. MFCS 1998: 366-377 - [c6]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS 1998: 215-229 - 1997
- [c5]Roberto Giacobazzi, Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation. APPIA-GULP-PRODE 1997: 33-44 - [c4]Roberto Giacobazzi, Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation. PLILP 1997: 175-189 - [c3]Francesca Scozzari:
Logical Optimality of Groundness Analysis. SAS 1997: 83-97 - 1996
- [c2]Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella:
The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE 1996: 355-366 - 1995
- [c1]Giorgio Levi, Francesca Scozzari:
Contributions to a Theory of Existential Termination for Definite Logic Programs. GULP-PRODE 1995: 631-642
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-09 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
