Pubblicazioni

Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Function-as-a-Service Allocation Policies Made Formal, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15219 LNCS, pp. 306 - 321 (atti di: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, grc, 2024) [Contributo in Atti di convegno]

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]

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: Lecture Notes in Computer Science 15214, Springer Nature, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15214 LNCS, pp. 231 - 239 (atti di: 16th International Conference on Social Networks Analysis and Mining, ASONAM 2024, Rende (CS), Italy, Sepetmber 2024) [Contributo in Atti di convegno]

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: Proceedings 2025 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality AIxVR 2025, 2025, pp. 369 - 375 (atti di: 2025 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality (AIxVR), 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, 2025, pp. 1 - 6 (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: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15219 LNCS, pp. 62 - 74 (atti di: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, Crete, Greece, 2024) [Contributo in Atti di convegno]

Gordini, A.; Pozzi, M.; Lombardi, M.; Sergeys, T.; Guns, T.; De Cesarei, A.; Morandini, S.; Thiebaux, S., Trustworthiness of AI in Planning and Scheduling: The Experience of the TUPLES Project, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 14779, pp. 328 - 342 (atti di: 2nd Decision Science Alliance International Summer Conference, DSA ISC 2024, esp, 2024) [Contributo in Atti di convegno]

Braccini, Michele; De Filippo, Allegra; Lombardi, Michele; Milano, Michela, Dance Choreography Driven by Swarm Intelligence in Extended Reality Scenarios: Perspectives and Implications, in: Proceedings of the 2025 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality (AIxVR), 2025, pp. 348 - 354 (atti di: 2025 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality (AIxVR), Lisbon, Portugal, 27-29 January 2025) [Contributo in Atti di convegno]

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: 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, 04-07.03.2025) [Contributo in Atti di convegno]

Pineiro, Henrique; Taccari, Leonardo; Pjetri, Aurel; Sambo, Francesco; Salti, Samuele, RendBEV: Semantic Novel View Synthesis for Self-Supervised Bird's Eye View Segmentation, in: IEEE/CVF Winter Conference on Applications of Computer Vision, IEEE/CVF, «IEEE WINTER CONFERENCE ON APPLICATIONS OF COMPUTER VISION», 2025, pp. 535 - 544 (atti di: Winter Conference on Applications of Computer Vision, Tucson, Arizona, 28 Feb - 4 Mar 2025) [Contributo in Atti di convegno]

Cocchieri, Alessio; Frisoni, Giacomo; Martinez Galindo, Marcos; Moro, Gianluca; Tagliavini, Giuseppe; Candoli, Francesco, OpenBioNER: Lightweight Open-Domain Biomedical Named Entity Recognition Through Entity Type Description, in: Findings of the Association for Computational Linguistics: NAACL 2025, 2025, pp. 1 - 20 (atti di: 2025 Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics, Albuquerque, New Mexico, April 29-May 4, 2025) [Contributo in Atti di convegno]

Mancini, Eleonora; Paissan, Francesco; Ravanelli, Mirco; Subakan, Cem, LMAC-TD: Producing Time Domain Explanations for Audio Classifiers, in: ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2025, pp. 1 - 5 (atti di: ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Hyderabad, India, 06-11 April 2025) [Contributo in Atti di convegno]

Cascarano, P.; Meglioraldi, J.; Vallasciani, G.; Armandi, V.; Augello, G.; Carradori, S.; Hajahmadi, S.; Marfia, G., A Comparative Analysis of 3D Modeling Methods for Integration into an Extended Reality Platform, in: Proceedings - 2025 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR 2025, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 213 - 217 (atti di: 7th IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR 2025, prt, 2025) [Contributo in Atti di convegno]

Cascarano, P.; Loretti, A.; Di Pasquale, A.; Hajahmadi, S.; Vallasciani, G.; Zanuttini, L.; Martinoni, M.; Marfia, G., Diegetic User Interfaces in Extended Reality for 3D Medical Visualization, in: Proceedings - 2025 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR 2025, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 388 - 393 (atti di: 7th IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR 2025, prt, 2025) [Contributo in Atti di convegno]

Gallinucci, E.; Golfarelli, M.; Radwan, W.; Zarate, G.; Abello, A., Impact Study of NoSQL Refactoring in SkyServer Database, in: Proceedings of the 27th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data, DOLAP 2025, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2025, 3931, pp. 1 - 11 (atti di: 27th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data, DOLAP 2025, Barcellona, Spagna, 25/03/2025) [Contributo in Atti di convegno]

Forresi, Chiara; Francia, Matteo; Gallinucci, Enrico; Golfarelli, Matteo, ASSO: the Automated Schemaless Stream Overseer, in: Proceedings 28th International Conference on Extending Database Technology ( EDBT 2025 ), OpenProceedings, 2025, pp. 1078 - 1081 (atti di: International Conference on Extending Database Technology (EDBT 2025), Barcellona, Spagna, 26/03/2025) [Contributo in Atti di convegno]