Pubblicazioni

Magnini, Matteo; Squarcialupi, Riccardo; Sterri, Martin T.; Ozaki, Ana, Actively Learning EL Terminologies from Large Language Models, in: ECAI 2025, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2025, pp. 1792 - 1799 (atti di: 28th European Conference on Artificial Intelligence (ECAI 2025), Bologna, Italy, 25/10/2025 – 30/10/2025) [Contributo in Atti di convegno]

Farooq, Emmen; Milano, Michela; Borghesi, Andrea, Federated transfer learning for anomaly detection in HPC systems: First real-world validation on a tier-0 supercomputer, «EXPERT SYSTEMS WITH APPLICATIONS», 2025, 298, pp. 1 - 15 [Articolo in rivista]

Carbonaro, Antonella; Gnagnarella, Enrico, Cybersicurezza e fattore umano: un approccio educativo inclusivo, in: Governare la sicurezza degli (eco)sistemi cyberfisici, Torino, Giappichelli, 2025, pp. 322 - 335 [Capitolo/Saggio in libro]

Blefari, Francesco; D'Angelo, Gabriele; Ferretti, Stefano; Furfaro, Angelo; Giaccone, Paolo; Marzolla, Moreno; Pironti, Francesco Aurelio; Serena, Luca, A Framework for the Development of Sustainable Smart Services for the Countryside, «COMPUTER», 2025, 58, pp. 36 - 45 [Articolo in rivista]

Barbara, F.; Zichichi, M.; Ferretti, S.; Schifanella, C., DLT-based personal data access control with key-redistribution, «CLUSTER COMPUTING», 2025, 28, pp. 1 - 17 [Articolo in rivista]

Chiara, Pier Giorgio; Morciano, Geordie; Vannini, Alessandro; Brighi, Raffaella; Prandini, Marco, Un approccio pratico di ‘legal design’: la Guida al regolamento UE Cyber Resilience Act. Metodo, obiettivi ed impatti, «RIVISTA ITALIANA DI INFORMATICA E DIRITTO», 2025, 7, pp. 1 - 22 [Articolo in rivista]

Ferretti, S.; Cassano, L.; Cialone, G.; D'Abramo, J.; Imboccioli, F., Decentralized coordination for resilient federated learning: A blockchain-based approach with smart contracts and decentralized storage, «COMPUTER COMMUNICATIONS», 2025, 236, pp. 1 - 25 [Articolo in rivista]

Bedogni, L.; Ferretti, S., Smart Contract Coordinated Privacy Preserving Crowd-Sensing Campaigns, in: Proceedings - IEEE Consumer Communications and Networking Conference, CCNC, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 1 - 4 (atti di: 22nd IEEE Consumer Communications and Networking Conference, CCNC 2025, usa, 2025) [Contributo in Atti di convegno]

Cacciapuoti, G.; Cartarasa, C. A.; Cavalca, D.; Bedogni, L.; Ferretti, S., Towards Anonymous Crowdsensing: A Smart Contract-Mediated Privacy Framework, in: Proceedings - IEEE International Symposium on Distributed Simulation and Real-Time Applications, DS-RT, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS IEEE INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL-TIME APPLICATIONS», 2025, pp. 1 - 8 (atti di: 29th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2025, cze, 2025) [Contributo in Atti di convegno]

Sakayori, Ken; Sangiorgi, Davide, Extensional and Non-extensional Functions as Processes, «LOGICAL METHODS IN COMPUTER SCIENCE», 2025, Volume 21, Issue 3, pp. 25:1 - 25:52 [Articolo in rivista]

Hirschkoff, Daniel; Quémerais, Iwan; Sangiorgi, Davide, First-Order Store and Visibility in Name-Passing Calculi, in: Leibniz International Proceedings in Informatics, LIPIcs, OKTAVIE-ALLEE, WADEM, 66687, GERMANY, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2025, 348, pp. 1 - 21 (atti di: 36th International Conference on Concurrency Theory, CONCUR 2025, Aarhus, Denmark, 2025) [Contributo in Atti di convegno]

Pennino, Federico; Gurioli, Andrea; Gabbrielli, Maurizio, Trajectory-Embedded Matryoshka Representation Learning for Enhanced Similarity Analysis, in: ESANN 2025 proceedings, 2025, pp. 1 - 6 (atti di: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges, Belgium, 3-25 April 2025) [Contributo in Atti di convegno]

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Proof Techniques for Behavioural Relations Based on Unique-Solutions of Equations and Inequations, in: Lecture Notes in Computer Science, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15560 LNCS, pp. 425 - 439 (atti di: Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani, Västerås, Sweden, 9 Aprile 2025) [Contributo in Atti di convegno]

Laneve, C.; Veschetti, A., A stochastic analysis of the Gasper protocol, «COMPUTER COMMUNICATIONS», 2025, 236, pp. 1 - 13 [Articolo in rivista]

Gurioli, A.; Gabbrielli, M.; Zacchiroli, S., Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry, in: 2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2025, *, pp. 394 - 405 (atti di: SANER, Montreal, 4-7 March 2025) [Contributo in Atti di convegno]

Sabbioni, Andrea; Ciraci, Fabio Antonello; Bujari, Armir; Bellavista, Paolo, SLICES SCC-Blueprint: A Reference Architecture for Serverless Cloud Continuum Research, in: 2025 IEEE Conference on Standards for Communications and Networking (CSCN), New York, IEEE, 2025, pp. 1 - 6 (atti di: 2025 IEEE Conference on Standards for Communications and Networking (CSCN), Bologna, 15-17 Settembre) [Contributo in Atti di convegno] Open Access

Vitali, Anna; Amadini, Roberto; Gabbrielli, Maurizio, Fixture Layout Optimization in Wood Industry: A Case Study, in: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, New York, Association for Computing Machinery, 2025, pp. 1 - 7 (atti di: International Symposium on Principles and Practice of Declarative Programming, Rende, Italy, 10/09/2025) [Contributo in Atti di convegno] Open Access

Machado Toffolo, M.; Prandi, C.; Goffredo, S.; Marini, M.; Grilli, F., Effect of extreme rainfall events in the Mar Menor lagoon (SE, Spain): the use of a smartbuoy for environmental monitoring, «JOURNAL OF OPERATIONAL OCEANOGRAPHY», 2025, 18, pp. 150 - 163 [Articolo in rivista]

Pellegrini, Lorenzo; Cozzolino, Davide; Pandolfini, Serafino; Maltoni, Davide; Ferrara, Matteo; Verdoliva, Luisa; Prati, Marco; Ramilli, Marco, AI-GenBench: A New Ongoing Benchmark for AI-Generated Image Detection, in: Proceedings of the International Joint Conference on Neural Networks, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS OF ... INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS», 2025, pp. 1 - 9 (atti di: 2025 International Joint Conference on Neural Networks, IJCNN 2025, Pontifical Gregorian University, ita, 2025) [Contributo in Atti di convegno]

Marro, Samuele; Evangelista, Davide; Angelo Huang, X.; La Malfa, Emanuele; Lombardi, Michele; Wooldridge, Michael J., Language Models Are Implicitly Continuous, in: The Thirteenth International Conference on Learning Representations, 2025, pp. 1 - 41 (atti di: ICLR2025 - The Thirteenth International Conference on Learning Representations, Singapore EXPO, 24/04/2025 - 28/04/2025) [Contributo in Atti di convegno]