| 2026 | SAC | Bipolar Argumentation for Supporting Decisions in Software Design. | Gianluca Amato, Fabio Fioravanti, Maria Chiara Meo, Francesca Scozzari |
| 2024 | WACV | 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 |
| 2023 | FM | The ScalaFix Equation Solver. | Gianluca Amato, Francesca Scozzari |
| 2022 | FTfJP | On the Need for a Common API for Abstract Domains of Object-Oriented Programs. | Gianluca Amato, Maria Chiara Meo, Francesca Scozzari |
| 2022 | ICMLA | 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 |
| 2020 | ECAI | SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 99 Go. | Francesco Morandin, Gianluca Amato, Marco Fantozzi, Rosa Gini, Carlo Metta, Maurizio Parton |
| 2019 | IJCNN | SAI a Sensible Artificial Intelligence that plays Go. | Francesco Morandin, Gianluca Amato, Rosa Gini, Carlo Metta, Maurizio Parton, Gian-Carlo Pascutto |
| 2015 | FM | Narrowing Operators on Template Abstract Domains. | Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari |
| 2013 | PLDI | Numerical static analysis with Soot. | Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari |
| 2013 | SAS | Localizing Widening and Narrowing. | Gianluca Amato, Francesca Scozzari |
| 2012 | LPAR | Random: R-Based Analyzer for Numerical Domains. | Gianluca Amato, Francesca Scozzari |
| 2012 | MIG | Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata. | Gianluca Amato, Francesca Scozzari |
| 2010 | RV | A Tool Which Mines Partial Execution Traces to Improve Static Analysis. | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
| 2010 | SAS | Deriving Numerical Abstract Domains via Principal Component Analysis. | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
| 2009 | WoLLIC | Observational Completeness on Abstract Interpretation. | Gianluca Amato, Francesca Scozzari |
| 2002 | LOPSTR | A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. | Gianluca Amato, Francesca Scozzari |
| 2001 | FLOPS | Abstract Compilation for Sharing Analysis. | Gianluca Amato, Fausto Spoto |
| 2001 | LPAR | Indexed Categories and Bottom-Up Semantics of Logic Programs. | Gianluca Amato, James Lipton |
| 2000 | SAS | Abstract Interpretation Based Semantics of Sequent Calculi. | Gianluca Amato, Giorgio Levi |