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
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
Increasing biases can be more efficient than increasing weights
2024-01-01 Metta, C.; Fantozzi, M.; Papini, A.; Amato, G.; Bergamaschi, M.; Galfre, S. G.; Marchetti, A.; Veglio, M.; Parton, M.; Morandin, F.
Indexed Categories and Bottom-Up Semantics of Logic Programs
2001-01-01 Amato, Gianluca; James, Lipton