Pubblicazioni

Laneve, C.; Spano, A.; Ressi, D.; Rossi, S.; Bugliesi, M., Assessing Code Understanding in LLMs, in: Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, GEWERBESTRASSE, SPRINGER INTERNATIONAL PUBLISHING AG, 2025, 15732 LNCS, pp. 202 - 210 (atti di: Coordination Models and Languages, Lille, 17-19 Giugno 2025) [Contributo in Atti di convegno]

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., 2025, pp. 1 - 7 (atti di: 22nd IEEE Consumer Communications and Networking Conference, CCNC 2025, usa, 2025) [Contributo in Atti di convegno]

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: 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 - 8 (atti di: 2025 International Joint Conference on Neural Networks, IJCNN 2025, Pontifical Gregorian University, ita, 2025) [Contributo in Atti di convegno]

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

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: 2025 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]

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

Braccini, Michele; De Filippo, Allegra; Lombardi, Michele; Milano, Michela, Dance Choreography Driven by Swarm Intelligence in Extended Reality Scenarios: Perspectives and Implications, in: 2025 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality (AIxVR), «.. IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND VIRTUAL REALITY», 2025, pp. 348 - 354 (atti di: IEEE AIxVR 2025: 7th IEEE International Conference on Artificial Intelligence & eXtended and Virtual Reality, Lisbon, Portugal, 27-29 January 2025) [Contributo in Atti di convegno] Open Access

Tumedei, Gianni; Ceccarini, Chiara; Prandi, Catia, How are you, Mar Menor? Fostering Awareness About an Ecological Crisis through Children's Art and Conversational Generative AI, in: TEI '25: Proceedings of the Nineteenth International Conference on Tangible, Embedded, and Embodied Interaction, 2025, pp. 1 - 7 (atti di: Nineteenth International Conference on Tangible, Embedded, and Embodied Interaction (TEI), Bordeaux, March 4 - 7, 2025) [Contributo in Atti di convegno] Open Access