| 2026 | AAAI | Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy. | Andrea Brunello, Luca Geatti, Michele Mignani, Angelo Montanari, Nicola Saccomanno |
| 2026 | AAAI | Automata-less Monitoring via Trace-Checking. | Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno |
| 2026 | LREC | Ithaca Revisited: Benchmarking a Domain-Specific Model for Epigraphy in the Age of LLMs. | Alessandro Locaputo, Andrea Brunello, Nicola Saccomanno, Paraskevi Platanou, Giuseppe Serra |
| 2025 | ECAI | Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring. | Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno |
| 2024 | IJCAI | Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring. | Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno |
| 2023 | MOBICOM | Towards Learning an Optimal Metric for Fingerprint-based Localisation. | Nicola Saccomanno, Andrea Brunello, Angelo Montanari |
| 2023 | Mobiquitous | High-Performance Features in Generalizable Fingerprint-Based Indoor Positioning. | Andrea Brunello, Angelo Montanari, Nicola Saccomanno, Joaqun Torres-Sospedra |
| 2020 | MDM | A new similarity measure for low-sampling cellular fingerprint trajectories. | Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno |
| 2020 | Mobiquitous | Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks. | Nicola Saccomanno, Andrea Brunello, Angelo Montanari |