Properties of the Lattice of Observables in Logic Programming. - Gianluca Amato; Giorgio Levi (APPIA-GULP-PRODE, 1997)

Abstract Interpretation Based Semantics of Sequent Calculi. - Gianluca Amato; Giorgio Levi (SAS, 2000)

Abstract Compilation for Sharing Analysis. - Gianluca Amato; Fausto Spoto (FLOPS, 2001)

Indexed Categories and Bottom-Up Semantics of Logic Programs. - Gianluca Amato; James Lipton (LPAR, 2001)

Correct Answers for First Order Logic. - Gianluca Amato (APPIA-GULP-PRODE, 2001)

Sequent calculi and indexed categories as a foundation for logic programming. - Gianluca Amato (2001)

A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. - Gianluca Amato; Francesca Scozzari (LOPSTR, 2002)

Modeling Web Applications by the Multiple Levels of Integrity Policy. - Gianluca Amato; Massimo Coppola; Stefania Gnesi; Francesca Scozzari; Laura Semini (WWV, 2005)

On the algebraic structure of declarative programming languages. - Gianluca Amato; James Lipton; Robert W. McGrail (Theor. Comput. Sci., 2009)

Optimality in goal-dependent analysis of Sharing. - Gianluca Amato; Francesca Scozzari (Theory Pract. Log. Program., 2009)

A Tool Which Mines Partial Execution Traces to Improve Static Analysis. - Gianluca Amato; Maurizio Parton; Francesca Scozzari (RV, 2010)

Deriving Numerical Abstract Domains via Principal Component Analysis. - Gianluca Amato; Maurizio Parton; Francesca Scozzari (SAS, 2010)

On the interaction between sharing and linearity. - Gianluca Amato; Francesca Scozzari (Theory Pract. Log. Program., 2010)

Observational Completeness on Abstract Interpretation. - Gianluca Amato; Francesca Scozzari (Fundam. Informaticae, 2011)

Random: R-Based Analyzer for Numerical Domains. - Gianluca Amato; Francesca Scozzari (LPAR, 2012)

Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata. - Gianluca Amato; Francesca Scozzari (MIG, 2012)

The Abstract Domain of Parallelotopes. - Gianluca Amato; Francesca Scozzari (NSAD@SAS, 2012)

Discovering invariants via simple component analysis. - Gianluca Amato; Maurizio Parton; Francesca Scozzari (J. Symb. Comput., 2012)

Numerical static analysis with Soot. - Gianluca Amato; Simone Di Nardo Di Maio; Francesca Scozzari (SOAP@PLDI, 2013)

Localizing Widening and Narrowing. - Gianluca Amato; Francesca Scozzari (SAS, 2013)

Optimal multi-binding unification for sharing and linearity analysis. - Gianluca Amato; Francesca Scozzari (CoRR, 2013)

Efficient Constraint/Generator Removal from Double Description of Polyhedra. - Gianluca Amato; Francesca Scozzari; Enea Zaffanella (NSAD, 2014)

Optimal multibinding unification for sharing and linearity analysis. - Gianluca Amato; Francesca Scozzari (Theory Pract. Log. Program., 2014)

Narrowing Operators on Template Abstract Domains. - Gianluca Amato; Simone Di Nardo Di Maio; Maria Chiara Meo; Francesca Scozzari (FM, 2015)

Sum of Abstract Domains. - Gianluca Amato; Simone Di Nardo Di Maio; Francesca Scozzari (NFM, 2015)

Exploiting Linearity in Sharing Analysis of Object-oriented Programs. - Gianluca Amato; Maria Chiara Meo; Francesca Scozzari (ICTCS, 2015)

Efficiently intertwining widening and narrowing. - Gianluca Amato; Francesca Scozzari; Helmut Seidl; Kalmer Apinis; Vesal Vojdani (Sci. Comput. Program., 2016)

Experimental Evaluation of Numerical Domains for Inferring Ranges. - Gianluca Amato; Marco Rubino (NSAD@SAS, 2017)

Inferring linear invariants with parallelotopes. - Gianluca Amato; Marco Rubino; Francesca Scozzari (Sci. Comput. Program., 2017)

A Taxonomy of Program Analyses. - Gianluca Amato; Maria Chiara Meo; Francesca Scozzari (ICTCS, 2018)

Descending chains and narrowing on template abstract domains. - Gianluca Amato; Simone Di Nardo Di Maio; Maria Chiara Meo; Francesca Scozzari (Acta Informatica, 2018)

SAI a Sensible Artificial Intelligence that plays Go. - Francesco Morandin; Gianluca Amato; Rosa Gini; Carlo Metta; Maurizio Parton; Gian-Carlo Pascutto (IJCNN, 2019)

SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version). - Francesco Morandin; Gianluca Amato; Marco Fantozzi; Rosa Gini; Carlo Metta; Maurizio Parton (CoRR, 2019)

SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9×9 Go. - Francesco Morandin; Gianluca Amato; Marco Fantozzi; Rosa Gini; Carlo Metta; Maurizio Parton (ECAI, 2020)

Universal Algebra in UniMath. - Gianluca Amato; Marco Maggesi; Maurizio Parton; Cosimo Perini Brogi (CoRR, 2020)

On collecting semantics for program analysis. - Gianluca Amato; Maria Chiara Meo; Francesca Scozzari (Theor. Comput. Sci., 2020)

Universal Algebra in UniMath. - Gianluca Amato; Marco Maggesi; Cosimo Perini Brogi (CoRR, 2021)

On the Need for a Common API for Abstract Domains of Object-Oriented Programs. - Gianluca Amato; Maria Chiara Meo; Francesca Scozzari (FTfJP@ECOOP, 2022)

Score vs. Winrate in Score-Based Games: which Reward for Reinforcement Learning? - Luca Pasqualini; Maurizio Parton; Francesco Morandin; Gianluca Amato; Rosa Gini; Carlo Metta; Marco Fantozzi; Alessandro Marchetti (ICMLA, 2022)

Leela Zero Score: a Study of a Score-based AlphaGo Zero. - Luca Pasqualini; Maurizio Parton; Francesco Morandin; Gianluca Amato; Rosa Gini; Carlo Metta (CoRR, 2022)

Artificial intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from Covid-19. The project A.I.A.Co. - Maurizio Parton; Marco Angelone; Carlo Metta; Stefania D'Ovidio; Roberta Massarelli; Luca Moscardelli; Gianluca Amato (CoRR, 2022)

The role of linearity in sharing analysis. - Gianluca Amato; Maria Chiara Meo; Francesca Scozzari (Math. Struct. Comput. Sci., 2022)

The ScalaFix Equation Solver. - Gianluca Amato; Francesca Scozzari (FM, 2023)

Improving Performance in Neural Networks by Dendrites-Activated Connections. - Carlo Metta; Marco Fantozzi; Andrea Papini; Gianluca Amato; Matteo Bergamaschi; Silvia Giulia Galfrè; Alessandro Marchetti; Michelangelo Vegliò; Maurizio Parton; Francesco Morandin (CoRR, 2023)

JGMP: Java bindings and wrappers for the GMP library. - Gianluca Amato; Francesca Scozzari (SoftwareX, 2023)

AI for Sustainability: Research at Ud'A Node. - 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 (Ital-IA, 2024)

Increasing biases can be more efficient than increasing weights. - Carlo Metta; Marco Fantozzi; Andrea Papini; Gianluca Amato; Matteo Bergamaschi; Silvia Giulia Galfrè; Alessandro Marchetti; Michelangelo Vegliò; Maurizio Parton; Francesco Morandin (WACV, 2024)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog. - Gianluca Amato; Mary DeMarco; James Lipton (CoRR, 2024)

Universal algebra in UniMath. - Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi (Math. Struct. Comput. Sci., 2024)

Optimal Matching for Sharing and Linearity Analysis. - Gianluca Amato; Francesca Scozzari (Theory Pract. Log. Program., 2024)

Increasing biases can be more efficient than increasing weights. - Carlo Metta; Marco Fantozzi; Andrea Papini; Gianluca Amato; Matteo Bergamaschi; Andrea Fois; Silvia Giulia Galfrè; Alessandro Marchetti; Michelangelo Vegliò; Maurizio Parton; Francesco Morandin (Adv. Data Anal. Classif., 2025)