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.
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
Displayed Universal Algebra in UniMath: Basic Definitions and Results
2025-01-01 Amato, G.; Calosci, M.; Maggesi, M.; Perini Brogi, C.
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
Enabling research collaboration with AI: the BI4E experience with large language models
2025-01-01 Amato, Gianluca; Costantini, Marcello; Di Vita, Luca; Ferri, Francesca; Melchiorre, Paolo; Meo, Maria Chiara; Scozzari, Francesca; Matteo Vitali, And
Experimental Evaluation of Numerical Domains for Inferring Ranges
2018-01-01 Amato, Gianluca; Rubino, Marco
| 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. | |
| 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 | |
| Displayed Universal Algebra in UniMath: Basic Definitions and Results | 2025 | Amato, G.; Calosci, M.; Maggesi, M.; Perini Brogi, C. | |
| 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 | |
| Enabling research collaboration with AI: the BI4E experience with large language models | 2025 | Amato, Gianluca; Costantini, Marcello; Di Vita, Luca; Ferri, Francesca; Melchiorre, Paolo; Meo, Maria Chiara; Scozzari, Francesca; Matteo Vitali, And | |
| Experimental Evaluation of Numerical Domains for Inferring Ranges | 2018 | Amato, Gianluca; Rubino, Marco |