| 2025 | BPM | A General Framework for Neuro-Symbolic Predictive Process Monitoring. | Jamila Oukharijane, Ivan Donadello, Fabrizio Maria Maggi |
| 2025 | ICPM | NeSy4PPM: A Python Library for Neuro-Symbolic Predictive Process Monitoring. | Jamila Oukharijane, Ivan Donadello, Fabrizio Maria Maggi |
| 2024 | BPM | Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications. | Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali |
| 2024 | CaiSE | Making Sense of Temporal Event Data:A Framework for Comparing Techniques for the Discovery of Discriminative Temporal Patterns. | Chiara Di Francescomarino, Ivan Donadello, Chiara Ghidini, Fabrizio Maria Maggi, Williams Rizzi, Sergio Tessaris |
| 2024 | ECAI | Compromises in Dialogical Argumentation: Aggregated Policies for Biparty Decision Theory. | Ivan Donadello, Renan Lirio de Souza, Anthony Hunter, Mauro Dragoni |
| 2023 | ICPM | ASP-Based Log Generation with Purposes in Declare4Py. | Ivan Donadello, Fabrizio Maria Maggi, Francesco Riva, Manpreet Singh |
| 2023 | ICPM | Two Solutions for Checking LTLf Properties in Event Logs. | Tedi Ibershimi, Diellsimeone Xhemalaj, Anti Alman, Ivan Donadello, Fabrizio Maria Maggi |
| 2023 | PROFES | Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library. | Anti Alman, Ivan Donadello, Fabrizio Maria Maggi, Marco Montali |
| 2022 | AAAI | Machine Learning for Utility Prediction in Argument-Based Computational Persuasion. | Ivan Donadello, Anthony Hunter, Stefano Teso, Mauro Dragoni |
| 2022 | BPM | Declare4Py: A Python Library for Declarative Process Mining. | Ivan Donadello, Francesco Riva, Fabrizio Maria Maggi, Aladdin Shikhizada |
| 2022 | IJCAI | Making sense of temporal data: the DECLARE encoding. | Chiara Di Francescomarino, Ivan Donadello, Chiara Ghidini, Fabrizio Maria Maggi, Williams Rizzi |
| 2021 | AIME | Explanations in Digital Health: The Case of Supporting People Lifestyles. | Milene Santos Teixeira, Ivan Donadello, Mauro Dragoni |
| 2020 | SAC | Explaining reasoning algorithms with persuasiveness: a case study for a behavioural change system. | Ivan Donadello, Mauro Dragoni, Claudio Eccher |
| 2019 | ICIAP | Ontology-Driven Food Category Classification in Images. | Ivan Donadello, Mauro Dragoni |
| 2019 | IJCNN | Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation. | Ivan Donadello, Luciano Serafini |
| 2017 | IJCAI | Logic Tensor Networks for Semantic Image Interpretation. | Ivan Donadello, Luciano Serafini, Artur S. d'Avila Garcez |
| 2017 | SAC | Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation. | Luciano Serafini, Ivan Donadello, Artur S. d'Avila Garcez |
| 2014 | ECCV | Mixing Low-Level and Semantic Features for Image Interpretation - A Framework and a Simple Case Study. | Ivan Donadello, Luciano Serafini |
| 2014 | EKAW | On the Collaborative Development of Application Ontologies: A Practical Case Study with a SME. | Marco Rospocher, Elena Cardillo, Ivan Donadello, Luciano Serafini |