| 2023 | UAI | Quantifying lottery tickets under label noise: accuracy, calibration, and complexity. | Viplove Arora, Daniele Irto, Sebastian Goldt, Guido Sanguinetti |
| 2022 | IJCNN | Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. | Ginevra Carbone, Luca Bortolussi, Guido Sanguinetti |
| 2021 | IJCNN | Random Projections for Improved Adversarial Robustness. | Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi |
| 2018 | WSC | Bayesian Statistical parametric Verification and synthesis by Machine Learning. | Luca Bortolussi, Guido Sanguinetti, Simone Silvetti |
| 2015 | RV | Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. | Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti |
| 2014 | ISoLA | Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. | Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi |
| 2009 | SAC | A new probabilistic generative model of parameter inference in biochemical networks. | Paola Lecca, Alida Palmisano, Corrado Priami, Guido Sanguinetti |