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]

Risi, Milena; Donati, Nicolò; Farneti, Francesco; Occorso, Manuel; Pio Volgarino, Antonio; Romito, Francesco, AI and Accessibility: Describing Graphs with Alternative Texts, in: The Journal on Technology and Persons With Disabilities, Volume 14, in corso di stampa, pp. 1 - 48 (atti di: 41st CSUN Assistive Technology Conference, Anaheim Marriott, 09/03/2026) [Contributo in Atti di convegno]

Evangelista, D.; Morotti, E.; Colombo Serra, S.; Luo, P.; Valbusa, G.; Bianchi, D., LIP-CAR: A Learned Inverse Problem Approach for Medical Imaging with Contrast Agent Reduction, in: Medical Image Computing and Computer Assisted Intervention – MICCAI 2025, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 15970, pp. 369 - 379 (atti di: Medical Image Computing and Computer Assisted Intervention, Daejeon, South Korea, September 23–27, 2025) [Contributo in Atti di convegno]

Loreti, Daniela; Leone, Davide; Borghesi, Andrea, Duration-Informed Workload Scheduler, in: Lecture Notes in Computer Science, Springer Cham, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16091 LNCS, pp. 3 - 14 (atti di: 40th International Conference on High Performance Computing, ISC High Performance 2025, Hamburg, Germany, 10-13 June 2025) [Contributo in Atti di convegno]

Manhaeve, Robin; Giannini, Francesco; Ali, Mehdi; Azzolini, Damiano; Bizzarri, Alice; Borghesi, Andrea; Bortolotti, Samuele; De Raedt, Luc; Dhami, Devendra; Diligenti, Michelangelo; Dumančić, Sebastijan; Faltings, Boi; Gentili, Elisabetta; Gerevini, Alfonso; Gori, Marco; Guns, Tias; Homola, Martin; Kersting, Kristian; Lehmann, Jens; Lombardi, Michele; Lorello, Luca; Marconato, Emanuele; Melacci, Stefano; Passerini, Andrea; Paul, Debjit; Riguzzi, Fabrizio; Teso, Stefano; Yorke-Smith, Neil; Lippi, Marco, Benchmarking in Neuro-Symbolic AI, in: Lecture Notes in Computer Science, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16059 LNAI, pp. 238 - 249 (atti di: 4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, chn, 2024) [Contributo in Atti di convegno]

Sangiorgi, Davide, Unique-Solution of Equations in Higher-Order Process Calculi with Passivation, in: Lecture Notes in Computer Science, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16065 LNCS, pp. 68 - 85 (atti di: Components Operationally: Reversibility and System Engineering, Lille, Francia, 16 Giugno 2025) [Contributo in Atti di convegno]

Arruzzoli, Arianna; Zichichi, Mirko; Palmirani, Monica; Papalia, Ludovico; Bomprezzi, Chantal; Ferretti, Stefano, A Multi-Chain Approach to Transparent and Accountable Legislative Processes, in: Proceedings of the 59th Hawaii International Conference on System Sciences, 2026, pp. 2216 - 2225 (atti di: 59th Hawaii International Conference on System Sciences, Maui, 5-8 gennaio 2026) [Contributo in Atti di convegno] Open Access

Turra, Riccardo; Simoncini, Matteo; Monteagudo, Henrique Piñeiro; Pjetri, Aurel; Salti, Samuele; Taccari, Leonardo, VS-Sim: A Synthetic Dataset for Viewpoint Shift Robustness, in: Lecture Notes in Computer Science, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16167, pp. 507 - 519 (atti di: 23rd International Conference on Image Analysis and Processing, ICIAP 2025, ita, 2025) [Contributo in Atti di convegno]

Alejandro Goyo, Manuel; Frisoni, Giacomo; Moro, Gianluca; Sartori, Claudio, Enhancing Representation Learning for Content-Based Information Retrieval: A Knowledge-Enhanced Geometric Approach, in: Knowledge-Enhanced Information Retrieval: Second International Workshop, KEIR 2025, Lucca, Italy, April 10, 2025, Revised Selected Papers, Springer, 2026, 16086 LNCS, pp. 36 - 68 (atti di: Knowledge-Enhanced Information Retrieval: Second International Workshop, KEIR 2025 @ ECIR 2025, Lucca, Italy, April 10, 2025) [Contributo in Atti di convegno]

Laneve, Cosimo, The Stipula Platform: A Workbench for Programming and Analyzing Legal Contracts, in: Journeys Between Formal Methods and the Railway Industry, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16470, pp. 160 - 177 (atti di: Journeys Between Formal Methods and the Railway Industry, PISA, 28/11/2025) [Contributo in Atti di convegno]

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