Publications

Francobaldi, Matteo; Lombardi, Michele, SMLE: Safe Machine Learning via Embedded Overapproximation, in: Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, «PROCEEDINGS OF THE ... AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE», 2025, 39, pp. 27286 - 27294 (atti di: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025, usa, 2025) [Contribution to conference proceedings]

Zhang, Yingqian; Guns, Tias; Lombardi, Michele; De Causmaecker, Patrick, Data science meets optimization II, in: Data science meets optimization II, VAN GODEWIJCKSTRAAT 30, 3311 GZ DORDRECHT, NETHERLANDS, Springer Science and Business Media Deutschland GmbH, 2025, pp. 343 - 345 [Preface]

Signorelli, Gaetano; Lombardi, Michele, Constrained Machine Learning Through Hyperspherical Representation, in: Lecture Notes in Computer Science, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15763 LNCS, pp. 209 - 217 (atti di: 22nd International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2025, aus, 2025) [Contribution to conference proceedings]

Melis, Andrea; Giovine, Andrea; Rinieri, Lorenzo, Time-Sensitive Networking Digital Twin for STRIDE-based security testing, «EURASIP JOURNAL ON INFORMATION SECURITY», 2025, 2025, pp. 1 - 16 [Scientific article]

De Marchi, Alberto; Gigli, Lorenzo; Melis, Andrea; Sciullo, Luca; Vitali, Fabio, Supporting Resilient, Ethical, and Verifiable Anonymous Identities Through Blockchains, in: 22nd International Conference on Security and Cryptography, 2025, pp. 777 - 782 (atti di: 22nd International Conference on Security and Cryptography, Bilbao, 11 Giugno 2025) [Contribution to conference proceedings]

Ferretti, S; D'Angelo, G; Ghini, V; Tomasone, Mb, Detecting Smart Contract Vulnerabilities using Transformers and LLMs, in: IEEE Annual Conference on Pervasive Computing and Communications Workshops (PerCom), 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE COMPUTER SOC, 2025, pp. 7 - 12 (atti di: 2025 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2025, USA, 2025) [Contribution to conference proceedings]

Aguzzi, Gianluca; Domini, Davide; Venturini, Filippo; Viroli, Mirko, Scaling Swarm Coordination with GNNs—How Far Can We Go?, «AI», 2025, 6, pp. 1 - 25 [Scientific article]

Zayene, M. A.; Basly, H.; Franco, A.; Dridi, B.; Sayadi, F. E., Alzheimer's disease detection via human activity recognition and temporal segmentation in untrimmed videos, «NEUROCOMPUTING», 2025, 653, pp. 1 - 23 [Scientific article]

Botazzo Rozendo, G.; Dadi, M.; Franco, A.; Lumini, A., Cattle weight estimation using 2D side-view images and estimated depth-based 3D modeling, «SMART AGRICULTURAL TECHNOLOGY», 2025, 12, pp. 1 - 13 [Scientific article]

Borghi, G.; Franco, A.; Di Domenico, N.; Maltoni, D., TONO: A Synthetic Dataset for Face Image Compliance to ISO/ICAO Standard, in: Lecture Notes in Computer Science, Berlin, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15642, pp. 1 - 18 (atti di: 18th European Conference on Computer Vision, ECCV 2024, Milano, 2024) [Contribution to conference proceedings]

Sovrano, Francesco; Ashley, Kevin; Brusilovsky, Peter Leonid; Vitali, Fabio, How to Improve the Explanatory Power of an Intelligent Textbook: a Case Study in Legal Writing, «INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE IN EDUCATION», 2025, 35, pp. 987 - 1021 [Scientific article]

Garagnani, Filippo; Maniezzo, Vittorio, Deconstructing a Minimalist Transformer Architecture for Univariate Time Series Forecasting, «ALGORITHMS», 2025, 18, pp. 1 - 25 [Scientific article]

Andrea Agiollo, Luciano Cavalcante Siebert, Pradeep Kumar Murukannaiah, Andrea Omicini, From Large Language Models to Small Logic Programs: Building Global Explanations from Disagreeing Local Post-hoc Explainers, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2024, 38, pp. 1 - 33 [Scientific article] Open Access

Borghesi, Andrea; Calegari, Roberta, Generation of Clinical Skin Images with Pathology with Scarce Data, in: AI for Health Equity and Fairness, «STUDIES IN COMPUTATIONAL INTELLIGENCE», 2024, 1164, pp. 47 - 64 (atti di: THE 8th INTERNATIONAL WORKSHOP ON ​HEALTH INTELLIGENCE, Vancouver, Canada, 27-27 Febbraio 2024) [Contribution to conference proceedings] Open Access

Zama Ramirez P.; Tosi F.; Di Stefano L.; Timofte R.; Costanzino A.; Poggi M.; Salti S.; Mattoccia S.; Zhang Y.; Wu C.; He Z.; Yin S.; Dong J.; Liu Y.; Jiang H.; Shi J.; Yong A.; Jin Y.; Li D.; Ke B.; Obukhov A.; Wang T.; Metzger N.; Huang S.; Schindler K.; Huang Y.; Li J.; Zhang J.; Wang Y.; Huang Z.; Liu T.; Cao Z.; Li P.; Wang J.-L.; Zhu W.; Geng H.; Zhang Y.; Lan L.; Xu K.; Sun T.; Xu Q.; Saini S.; Gupta A.; Mistry S.K.; Shukla A.; Jakhetiya V.; Jaiswal S.; Sun Y.; Zheng Z.; Ning Y.; Cheng J.-H.; Liu H.-I.; Huang H.-W.; Yang C.-Y.; Jiang Z.; Peng Y.-H.; Huang A.; Hwang J.-N., NTIRE 2024 Challenge on HR Depth from Images of Specular and Transparent Surfaces, in: IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, «IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION WORKSHOPS», 2024, 33, pp. 6499 - 6512 (atti di: 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), Seattle, WA, USA, 17-18 June 2024) [Contribution to conference proceedings]

Terzi, A.; Montori, F.; Gigli, L.; Bedogni, L.; Di Felice, M.; Bononi, L., Comparison of Commercial Pedometer Applications: A Rigorous Approach, in: Proceedings - 2024 IEEE International Conference on Smart Computing, SMARTCOMP 2024, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2024, pp. 272 - 277 (atti di: 10th IEEE International Conference on Smart Computing, SMARTCOMP 2024, jpn, 2024) [Contribution to conference proceedings]

Di Domenico, N.; Borghi, G.; Franco, A.; Maltoni, D., ONOT: a High-Quality ICAO-compliant Synthetic Mugshot Dataset, in: 2024 IEEE 18th International Conference on Automatic Face and Gesture Recognition, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, «IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE & GESTURE RECOGNITION AND WORKSHOPSIEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE & GESTURE RECOGNITION AND WORKSHOPS», 2024, pp. 1 - 10 (atti di: 2024 IEEE 18th International Conference on Automatic Face and Gesture Recognition, Istanbul, Türkiye, 29/05/2024) [Contribution to conference proceedings] Open Access

Mirsalari, Seyed Ahmad; Yousefzadeh, Saba; Hemani, Ahmed; Tagliavini, Giuseppe, Unleashing 8-Bit Floating Point Formats Out of the Deep-Learning Domain, in: Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS OF THE ... IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS, AND SYSTEMS», 2024, pp. 1 - 4 (atti di: 31st IEEE International Conference on Electronics, Circuits and Systems, ICECS 2024, Nancy (Francia), 2024) [Contribution to conference proceedings] Open Access

Sovrano, Francesco; Vitali, Fabio, Explanatory artificial intelligence (YAI): human-centered explanations of explainable AI and complex data, «DATA MINING AND KNOWLEDGE DISCOVERY», 2024, 38, pp. 3141 - 3168 [Scientific article] Open Access

Casola, V.; De Benedictis, A.; Mazzocca, C.; Montanari, R., Designing Secure and Resilient Cyber-Physical Systems: a Model-based Moving Target Defense Approach, «IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING», 2024, 12, pp. 631 - 642 [Scientific article] Open Access