Pubblicazioni

Cerullo, G.; Cipolletta, S.; Le Piane, F.; Gaspari, M.; Mioni, G.; Zuppiroli, S.; Kliegel, M.; Hering, A.; Ballhausen, N.; F., F. Stablum, Collaborative or individual training in older age: SWIFT, a new tool to age successfully, in: To appear in proceeding of EUCAS Aging & Cognition Conference, in corso di stampa, pp. 1 - 1 (atti di: EUCAS Aging & Cognition Conference, Pavia Italy, May, 7th – 10th 2025) [Poster]

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]

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

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, «PROCEEDINGS OF THE ... IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS», 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: 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]

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

Marzolla, Moreno; Ravaioli, Michele; LOLI PICCOLOMINI, Elena, Parallel Median Filter with Arbitrary Window Size and Image Depth, in: Proceedings 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Los Alamitos, IEEE CPS, 2025, pp. 9 - 12 (atti di: 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Torino, march 12-14, 2025) [Contributo in Atti di convegno]

Marzolla, Moreno, Etudes for Parallel Programmers, in: 2025 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Los Alamitos, IEEE CPS, 2025, pp. 341 - 348 (atti di: 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Torino, march 12-14, 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] Open Access

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, «PROCEEDINGS OF THE ... IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING», 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., «...IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND VIRTUAL REALITY», 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]