| 2026 | SAC | Iterative In-Context Learning to Enhance LLMs Abstract Reasoning: The Case-Study of Algebraic Tasks. | Stefano Fioravanti, Matteo Zavatteri, Roberto Confalonieri, Kamyar Zeinalipour, Paolo Frazzetto, Alessandro Sperduti, Nicol Navarin |
| 2024 | ECAI | Automated Synthesis of Certified Neural Networks. | Matteo Zavatteri, Davide Bresolin, Nicol Navarin |
| 2023 | BPM | Repair of Unsound Data-Aware Process Models. | Matteo Zavatteri, Davide Bresolin, Massimiliano de Leoni |
| 2021 | AAAI | Faster and Better Simple Temporal Problems. | Dario Ostuni, Alice Raffaele, Romeo Rizzi, Matteo Zavatteri |
| 2020 | BPM | On the Complexity of Resource Controllability in Business Process Management. | Matteo Zavatteri, Romeo Rizzi, Tiziano Villa |
| 2020 | TIME | Mining Significant Temporal Networks Is Polynomial. | Guido Sciavicco, Matteo Zavatteri, Tiziano Villa |
| 2019 | BPM | Temporal and Resource Controllability of Workflows Under Uncertainty. | Matteo Zavatteri |
| 2019 | BPM | Resource Controllability of Workflows Under Conditional Uncertainty. | Matteo Zavatteri, Carlo Combi, Luca Vigan |
| 2019 | TIME | Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. | Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Vigan |
| 2018 | ICAART | Constraint Networks Under Conditional Uncertainty. | Matteo Zavatteri, Luca Vigan |
| 2018 | ICAART | Conditional Uncertainty in Constraint Networks. | Matteo Zavatteri, Luca Vigan |
| 2017 | BPM | Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. | Matteo Zavatteri, Carlo Combi, Roberto Posenato, Luca Vigan |
| 2017 | ICAART | Access Controlled Temporal Networks. | Carlo Combi, Roberto Posenato, Luca Vigan, Matteo Zavatteri |
| 2017 | TIME | Incorporating Decision Nodes into Conditional Simple Temporal Networks. | Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri |
| 2017 | TIME | Conditional Simple Temporal Networks with Uncertainty and Decisions. | Matteo Zavatteri |