| 2024 | WorldCIST | Farming and Automation. How Professional Visions Change with the Introduction of ICT in Greenhouse Cultivation. | Silvia Torsi, Luca Incrocci, Stefano Chessa, Alexander Kocian, Paolo Milazzo, Fatjon Cela, Giulia Carmassi |
| 2021 | ICSE | Formal characterization and efficient verification of a biological robustness property. | Lucia Nasti, Roberta Gori, Paolo Milazzo |
| 2020 | CIKM | Analysis of COVID-19 Data with PRISM: Parameter Estimation and SIR Modelling. | Paolo Milazzo |
| 2020 | ESANN | Biochemical Pathway Robustness Prediction with Graph Neural Networks. | Marco Podda, Alessio Micheli, Davide Bacciu, Paolo Milazzo |
| 2019 | FM | Validation of a Simulation Algorithm for Safety-Critical Human Multitasking. | Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel |
| 2018 | EICS | Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results. | Giovanna Broccia, Paolo Masci, Paolo Milazzo |
| 2017 | SEFM | An Algorithm for Simulating Human Selective Attention. | Giovanna Broccia, Paolo Milazzo, Peter Csaba lveczky |
| 2017 | SEFM | A Computational Model of Internet Addiction Phenomena in Social Networks. | Lucia Nasti, Paolo Milazzo |
| 2015 | ICSE | Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design. | Paolo Milazzo, Giovanni Pardini, Dario Sestini, Pasquale Bove |
| 2015 | SEFM | Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. | Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini |
| 2015 | SEFM | A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems. | Suryana Setiawan, Antonio Cerone, Paolo Milazzo |
| 2014 | SEFM | A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. | Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone |
| 2013 | CiE | A Compositional Semantics of Reaction Systems with Restriction. | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
| 2013 | SEFM | A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. | Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
| 2012 | SEFM | Modelling Population Dynamics Using Grid Systems. | Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan |
| 2006 | ICTAC | Bisimulation Congruences in the Calculus of Looping Sequences. | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |