Pubblicazioni

Laneve, C.; Spano, A.; Ressi, D.; Rossi, S.; Bugliesi, M., Assessing Code Understanding in LLMs, in: Formal Techniques for Distributed Objects, Components, and Systems. 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings, GEWERBESTRASSE, SPRINGER INTERNATIONAL PUBLISHING AG, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15732, pp. 202 - 210 (atti di: 45th International Conference on Formal Techniques for Distributed Objects Components and Systems. FORTE 2025, Lille, 16-20 Giugno 2025) [Contributo in Atti di convegno] Open Access

Trotta, Angelo; Micciché, Mario; Heideker, Alexandre; Di Felice, Marco, SDN-Enabled Digital Twins: A Framework for Wireless SDN Simulation and Optimization, 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., «IEEE CONSUMER COMMUNICATIONS AND NETWORKING CONFERENCE», 2025, pp. 1 - 7 (atti di: 22nd IEEE Consumer Communications and Networking Conference, CCNC 2025, usa, 2025) [Contributo in Atti di convegno] Open Access

Domini, Davide; Erhan, Laura; Aguzzi, Gianluca; Cavallaro, Lucia; Zenoozi, Amirhossein Douzandeh; Liotta, Antonio; Viroli, Mirko, Sparse Self-Federated Learning for Energy Efficient Cooperative Intelligence in Society 5.0, in: 2025 International Joint Conference on Neural Networks (IJCNN) - Proceedings, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS OF ... INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS», 2025, pp. 1 - 8 (atti di: 2025 International Joint Conference on Neural Networks, IJCNN 2025, Roma - Pontifical Gregorian University, ita, 30 June 2025 - 05 July 2025) [Contributo in Atti di convegno]

Baiardi, Martina; Burattini, Samuele; Ciatto, Giovanni; Pianini, Danilo; Ricci, Alessandro; Omicini, Andrea, On the External Concurrency of Current BDI Frameworks for MAS, in: Engineering Multi-Agent Systems. 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers, Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15152, pp. 42 - 63 (atti di: 12th International Workshop “Engineering Multi-Agent Systems” (EMAS 2024), Auckland, New Zealand, 6-7 May 2024) [Contributo in Atti di convegno] Open Access

Colonnelli, Iacopo; Medić, Doriana; Mulone, Alberto; Bono, Viviana; Padovani, Luca; Aldinucci, Marco, Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows, in: Formal Methods 26th International Symposium. FM 2024, Milan, Italy, September 9–13, 2024. Proceedings, Part I, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 14933, pp. 226 - 244 (atti di: 26th International Symposium on Formal Methods, Milano, Italia, September 9-13, 2024) [Contributo in Atti di convegno] Open Access

Giallorenzo, Saverio; Mauro, Jacopo; Melis, Andrea; Montesi, Fabrizio; Peressotti, Marco; Prandini, Marco, Choreography-Defined Networks: A Case Study on DoS Mitigation, in: Service-Oriented Computing. 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024. Proceedings, Part I, Heidelberg, Springer Verlag Germany, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15405, pp. 243 - 259 (atti di: 22nd International Conference on Service-Oriented Computing (ICSOC 2024), Tunis, Tunisia, 3-6 December 2024) [Contributo in Atti di convegno] Open Access

Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Function-as-a-Service Allocation Policies Made Formal, in: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15219, pp. 306 - 321 (atti di: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, Crete, Greece, October 27–31, 2024) [Contributo in Atti di convegno] Open Access

Tosi, Fabio; Zama Ramirez, Pierluigi; Poggi, Matteo, Diffusion Models for Monocular Depth Estimation: Overcoming Challenging Conditions, in: Computer Vision – ECCV 2024. 18th European Conference, Milan, Italy, September 29–October 4, 2024. Proceedings, Part XXIII, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15081, pp. 236 - 257 (atti di: 18th European Conference on Computer Vision, ECCV 2024, Milan, 29 September 2024 - 4 October 2024) [Contributo in Atti di convegno] Open Access

Vespa, Michela; Bellodi, Elena; Chesani, Federico; Loreti, Daniela; Mello, Paola; Lamma, Evelina; Ciampolini, Anna; Gavanelli, Marco; Zese, Riccardo, Probabilistic Traces in Declarative Process Mining, in: AIxIA 2024 – Advances in Artificial Intelligence. AIxIA 2024. Lecture Notes in Computer Science, Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15450, pp. 330 - 345 (atti di: 23rd International Conference of the Italian Association for Artificial Intelligence, Bolzano, Italy, 25-28 November 2024) [Contributo in Atti di convegno] Open Access

Lanese, I.; Dal Lago, U.; Choudhury, V., Towards Quantum Multiparty Session Types, in: Software Engineering and Formal Methods (SEFM 2024), «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15280, pp. 385 - 403 (atti di: SEFM, Aveiro, Portugal, 4-8/11/2024) [Contributo in Atti di convegno] Open Access

Sirocchi, C.; Biancucci, F.; Suffian, M.; Benedetti, R.; Donati, M.; Ferretti, S.; Bogliolo, A.; Magnani, M.; Menotta, M.; Montagna, S., Molecular Fingerprints-Based Machine Learning for Metabolic Profiling, in: Communications in Computer and Information Science, Springer Science and Business Media Deutschland GmbH, «COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE», 2025, 2136, pp. 103 - 111 (atti di: Joint European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2023, ita, 2023) [Contributo in Atti di convegno] Open Access

Colledan, Andrea; Dal Lago, Ugo, Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages, in: 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025), 2025, 9, pp. 1386 - 1416 (atti di: POPL 2025, Denver, Colorado, Stati Uniti, 19-25 Gennaio 2025) [Contributo in Atti di convegno] Open Access

Korre, Aikaterini; Muti, Arianna; Ruggeri, Federico; Barrón-Cedeño, Alberto, Untangling Hate Speech Definitions: A Semantic Componential Analysis Across Cultures and Domains, in: Findings of the Association for Computational Linguistics: NAACL 2025, Association for Computational Linguistics, 2025, pp. 3184 - 3198 (atti di: NAACL (Findings) 2025, Albuquerque, New Mexico, April 29–May 4, 2025) [Contributo in Atti di convegno] Open Access

Roccetti, M.; Tenace, M.; Cappiello, G., Prescient Perspectives on Football Tactics: A Case with Liverpool FC, Corners and AI, in: Social Networks Analysis and Mining. ASONAM 2024, Springer Nature, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15214, pp. 231 - 239 (atti di: 16th International Conference on Social Networks Analysis and Mining, ASONAM 2024, Rende (CS), Italy, 2-5 Sepetmber 2024) [Contributo in Atti di convegno] Open Access

Garzarella, Silvia; Vallasciani, Giacomo; Cascarano, Pasquale; Hajahmadi, Shirin; Cervellati, Elena; Marfia, Gustavo, An Extended Reality Platform Powered by Large Language Models: A Case Study on Teaching Dance Costumes, in: 2025 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality (AIxVR), 2025, pp. 369 - 375 (atti di: 7th IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality (AIxVR 2025), Lisbon, January 27th to 29th, 2025) [Contributo in Atti di convegno]

Credi, Alberto; Fontanesi, Luca; Montanari, Rebecca; Coppini, Sara; Gualandi, Bianca, Back to fundamentals of research: Ethics and academic freedom. Position paper, in: Back to fundamentals of research, Bologna, Alma Mater Studiorum, Università di Bologna, 2025, pp. 1 - 7 (atti di: Back to Fundamentals of Research: Reliability, Transparency and Reproducibility, Bologna, 02/12/2024) [Contributo in Atti di convegno] Open Access

Marfoglia, Alberto; D’Errico, Christian; Nardini, Filippo; Mellone, Sabato; Carbonaro, Antonella, CONNECTED: A Knowledge Graph-Driven Platform for Clinical Data Harmonization and Personalized Digital Twin-Based Healthcare, in: 2025 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2025, Piscataway, IEEE, «PROCEEDINGS OF THE ... IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS», 2025, pp. 116 - 121 (atti di: 23rd IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2025, Washington DC, 17-21 March, 2025) [Contributo in Atti di convegno] Open Access

Sangiorgi, Davide, An Abstract Account of Up-to Techniques for Inductive Behavioural Relations, in: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola. ISoLA 2024, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15219, pp. 62 - 74 (atti di: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, Crete, Greece, October 27–31, 2024) [Contributo in Atti di convegno]

Lago, Ugo Dal; Galal, Zeinab; Giusti, Giulia, On Computational Indistinguishability and Logical Relations, in: Programming Languages and Systems. 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024. Proceedings, 152 BEACH ROAD, #21-01/04 GATEWAY EAST, SINGAPORE, 189721, SINGAPORE, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15194, pp. 241 - 263 (atti di: 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, Kyoto, Japan, October 22-24, 2024) [Contributo in Atti di convegno] Open Access

Gordini, A.; Pozzi, M.; Lombardi, M.; Sergeys, T.; Guns, T.; De Cesarei, A.; Morandini, S.; Thiébaux, S., Trustworthiness of AI in Planning and Scheduling: The Experience of the TUPLES Project, in: Decision Sciences. Second Decision Science Alliance International Summer Conference, DSA ISC 2024, Valencia, Spain, June 6–7, 2024, Proceedings, Part II, Charm, Springer Nature Switzerland AG, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 14779, pp. 328 - 342 (atti di: 2nd Decision Science Alliance International Summer Conference, DSA ISC 2024, Valencia, June 6–7, 2024) [Contributo in Atti di convegno] Open Access