AMATO, Gianluca
AMATO, Gianluca
DIPARTIMENTO DI ECONOMIA
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 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 Compilation for Sharing Analysis
2001-01-01 Amato, Gianluca; Fausto, Spoto
Abstract Interpretation Based Semantics of Sequent Calculi
2000-01-01 Amato, Gianluca; Giorgio, Levi
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.
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
Artificial Intelligence and Renegotiation of Commercial Lease Contracts Affected by Pandemic-Related Contingencies from Covid-19. The Project A.I.A.Co.
2024-01-01 Parton, Maurizio; Angelone, Marco; Metta, Carlo; D’Ovidio, Stefania; Massarelli, Roberta; Moscardelli, Luca; Amato, Gianluca; De Nobili, Cristiano
Artificial Intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from COVID-19. The Project A.I.A.CO.
2023-01-01 Parton, Maurizio; Angelone, Marco; Metta, Carlo; D'Ovidio, Stefania; Massarelli, Roberta; Moscardelli, Luca; Amato, Gianluca
Correct Answers for First Order Logic
2000-01-01 Amato, Gianluca
Correct Answers for First Order Logic
2001-01-01 Amato, Gianluca
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
Experimental Evaluation of Numerical Domains for Inferring Ranges
2018-01-01 Amato, Gianluca; Rubino, Marco
Exploiting Linearity in Sharing Analysis of Object-oriented Programs
2016-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 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 Compilation for Sharing Analysis | 2001 | Amato, Gianluca; Fausto, Spoto | |
| Abstract Interpretation Based Semantics of Sequent Calculi | 2000 | Amato, Gianluca; Giorgio, Levi | |
| 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. | |
| 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 | |
| Artificial Intelligence and Renegotiation of Commercial Lease Contracts Affected by Pandemic-Related Contingencies from Covid-19. The Project A.I.A.Co. | 2024 | Parton, Maurizio; Angelone, Marco; Metta, Carlo; D’Ovidio, Stefania; Massarelli, Roberta; Moscardelli, Luca; Amato, Gianluca; De Nobili, Cristiano | |
| Artificial Intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from COVID-19. The Project A.I.A.CO. | 2023 | Parton, Maurizio; Angelone, Marco; Metta, Carlo; D'Ovidio, Stefania; Massarelli, Roberta; Moscardelli, Luca; Amato, Gianluca | |
| Correct Answers for First Order Logic | 2000 | Amato, Gianluca | |
| Correct Answers for First Order Logic | 2001 | Amato, Gianluca | |
| 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 | |
| Experimental Evaluation of Numerical Domains for Inferring Ranges | 2018 | Amato, Gianluca; Rubino, Marco | |
| Exploiting Linearity in Sharing Analysis of Object-oriented Programs | 2016 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca |