SCOZZARI, Francesca
SCOZZARI, Francesca
DIPARTIMENTO DI ECONOMIA
A fuzzy approach for analysing equitable and sustainable well-being in Italian regions
2019-01-01 Porreca, Annamaria; Cruz Rambaud, Salvador; Scozzari, Francesca; Di Nicola, Marta
A general framework for variable aliasing: Towards optimal operators for sharing properties
2003-01-01 Amato, Gianluca; Scozzari, Francesca
A general framework for variable aliasing: Towards optimal operators for sharing properties
2003-01-01 Amato, Gianluca; Scozzari, Francesca
A logical model for relational abstract domains
1998-01-01 Roberto, Giacobazzi; Scozzari, Francesca
A survey on the role of artificial intelligence in managing Long COVID
2023-01-01 Ahmad, I.; Amelio, A.; Merla, A.; Scozzari, F.
A Taxonomy of Program Analyses
2018-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
A tool which mines partial execution traces to improve static analysis
2010-01-01 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
Abstract domains for sharing analysis by optimal semantics
2000-01-01 Scozzari, Francesca
AI for Sustainability: Research at Ud’A Node
2024-01-01 Amato, G.; Amelio, A.; Caroprese, L.; Chiacchiaretta, P.; Fioravanti, F.; Ippoliti, L.; Meo, M. C.; Monaco, G.; Morbidoni, C.; Moscardelli, L.; Parton, M.; Scozzari, F.
Analysis and verification of navigation strategies by abstract interpretation of cellular automata
2012-01-01 Amato, Gianluca; Scozzari, Francesca
Building Complete Abstract Interpretations in a Linear Logic-based Setting
1998-01-01 Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca
Building complete abstract interpretations in a linear logic-based setting
1998-01-01 Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca
Complete Abstract Interpretations made Constructive
1998-01-01 Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca
Deriving numerical abstract domains via Principal Component Analysis
2010-01-01 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
Descending chains and narrowing on template abstract domains
2018-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca
Discovering invariants via simple component analysis
2012-01-01 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
Efficient Constraint/Generator Removal from Double Description of Polyhedra
2014-01-01 Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea
Efficiently intertwining widening and narrowing
2016-01-01 Amato, Gianluca; Scozzari, Francesca; Seidl, Helmut; Apinis, Kalmer; Vojdani, Vesal
Exploiting Linearity in Sharing Analysis of Object-oriented Programs
2016-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
Inferring linear invariants with parallelotopes
2017-01-01 Amato, Gianluca; Rubino, Marco; Scozzari, Francesca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A fuzzy approach for analysing equitable and sustainable well-being in Italian regions | 2019 | Porreca, Annamaria; Cruz Rambaud, Salvador; Scozzari, Francesca; Di Nicola, Marta | |
| A general framework for variable aliasing: Towards optimal operators for sharing properties | 2003 | Amato, Gianluca; Scozzari, Francesca | |
| A general framework for variable aliasing: Towards optimal operators for sharing properties | 2003 | Amato, Gianluca; Scozzari, Francesca | |
| A logical model for relational abstract domains | 1998 | Roberto, Giacobazzi; Scozzari, Francesca | |
| A survey on the role of artificial intelligence in managing Long COVID | 2023 | Ahmad, I.; Amelio, A.; Merla, A.; Scozzari, F. | |
| A Taxonomy of Program Analyses | 2018 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
| A tool which mines partial execution traces to improve static analysis | 2010 | Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca | |
| Abstract domains for sharing analysis by optimal semantics | 2000 | Scozzari, Francesca | |
| AI for Sustainability: Research at Ud’A Node | 2024 | Amato, G.; Amelio, A.; Caroprese, L.; Chiacchiaretta, P.; Fioravanti, F.; Ippoliti, L.; Meo, M. C.; Monaco, G.; Morbidoni, C.; Moscardelli, L.; Parton, M.; Scozzari, F. | |
| Analysis and verification of navigation strategies by abstract interpretation of cellular automata | 2012 | Amato, Gianluca; Scozzari, Francesca | |
| Building Complete Abstract Interpretations in a Linear Logic-based Setting | 1998 | Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca | |
| Building complete abstract interpretations in a linear logic-based setting | 1998 | Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca | |
| Complete Abstract Interpretations made Constructive | 1998 | Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca | |
| Deriving numerical abstract domains via Principal Component Analysis | 2010 | Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca | |
| Descending chains and narrowing on template abstract domains | 2018 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca | |
| Discovering invariants via simple component analysis | 2012 | Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca | |
| Efficient Constraint/Generator Removal from Double Description of Polyhedra | 2014 | Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea | |
| Efficiently intertwining widening and narrowing | 2016 | Amato, Gianluca; Scozzari, Francesca; Seidl, Helmut; Apinis, Kalmer; Vojdani, Vesal | |
| Exploiting Linearity in Sharing Analysis of Object-oriented Programs | 2016 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
| Inferring linear invariants with parallelotopes | 2017 | Amato, Gianluca; Rubino, Marco; Scozzari, Francesca |