Publications

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) [Contribution to conference proceedings]

Raayatpanah, Mohammad Ali; Abyaneh, Atefeh Abdolah; Elias, Jocelyne; Martignon, Fabio, Two-stage robust wireless body area network design, «INTERNET OF THINGS», 2025, 31, pp. 1 - 29 [Scientific article] Open Access

Fontanini, T.; Ferrari, C.; Lisanti, G.; Bertozzi, M.; Prati, A., Semantic Image Synthesis via Class-Adaptive Cross-Attention, «IEEE ACCESS», 2025, 13, pp. 10326 - 10339 [Scientific article] Open Access

Mendula, Matteo; Bellavista, Paolo; Levorato, Marco; Contreras, Sharon Ladron de Guevara, A novel middleware for adaptive and efficient split computing for real-time object detection, «PERVASIVE AND MOBILE COMPUTING», 2025, 108, pp. 1 - 23 [Scientific article] Open Access

Khan, Mohsin; Mirza, Jawad; Ali, Bakhtiar; Awais Javed, Muhammad; Dev, Kapal; Nkenyereye, Lewis; Bellavista, Paolo, Joint Optimization of Semi-Passive IRS Phase Shifts and NOMA Power Coefficients for Cooperative CRNs, «IEEE TRANSACTIONS ON GREEN COMMUNICATIONS AND NETWORKING», 2025, 9, pp. 380 - 391 [Scientific article] 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, 2024) [Contribution to conference proceedings]

Braccini, Michele; Baldini, Paolo; Roli, Andrea, Cell–Cell Interactions: How Coupled Boolean Networks Tend to Criticality, «ARTIFICIAL LIFE», 2025, 31, pp. 68 - 80 [Scientific article] 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: 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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings] Open Access

Italiani, Paolo; Moro, Gianluca; Ragazzi, Luca, Enhancing Legal Question Answering with Data Generation and Knowledge Distillation from Large Language Models, «ARTIFICIAL INTELLIGENCE AND LAW», 2025, Proceedings of the 31st International Conference on Computational Linguistics, pp. 2478 - 2498 [Scientific article] 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, «Proceedings - Euromicro Workshop on Parallel and Distributed Processing», 2025, pp. 9 - 12 (atti di: 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Torino, march 12-14, 2025) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

Casadei, Roberto; Fornari, Fabrizio; Mariani, Stefano; Savaglio, Claudio, Programming IoT systems: A focused conceptual framework and survey of approaches, «INTERNET OF THINGS», 2025, 31, pp. 1 - 27 [Scientific article] Open Access

Viceconti, Marco; Lanubile, Filippo; Carbonaro, Antonella; Mellone, Sabato; Curreli, Cristina; Aldieri, Alessandra; Ranciati, Saverio; Montanari, Angela, Extending Credibility Assessment of In Silico Medicine Predictors to Machine Learning Predictors, «IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS», 2025, 29, pp. 5284 - 5290 [Scientific article] Open Access

Mastorci, Francesca; Lazzeri, Maria Francesca Lodovica; Ait-Ali, Lamia; Marcheschi, Paolo; Quadrelli, Paola; Mariani, Massimiliano; Margaryan, Rafik; Pennè, Wanda; Savino, Marco; Prencipe, Giuseppe; Sirbu, Alina; Ferragina, Paolo; Priami, Corrado; Tommasi, Alessandro; Zavattari, Cesare; Festa, Pierluigi; Dalmiani, Stefano; Pingitore, Alessandro, Home-Based Intervention Tool for Cardiac Telerehabilitation: Protocol for a Controlled Trial, «JMIR RESEARCH PROTOCOLS», 2025, 14, pp. 1 - 11 [Scientific article] Open Access

Arcila-Calderón, Carlos; Aydoğdu, Bilgeçağ; Bircan, Tuba; Gündüz, Bünyamin; Önes, Onur; Salah, Albert Ali; Sirbu, Alina, Combining Twitter and mobile phone data to observe border-rush: the Turkish-European border opening, «JOURNAL OF COMPUTATIONAL SOCIAL SCIENCE», 2025, 8, pp. 1 - 25 [Scientific article]

Aguzzi, G.; Viroli, M., MacroSwarm: A scala framework for swarm programming, «SCIENCE OF COMPUTER PROGRAMMING», 2025, 239, pp. 1 - 8 [Scientific article] Open Access

Casadei, Roberto; Vielmo Cogo, Vinicius; van Dijk, Tom; Scalas, Alceste, Preface for the special issue on selected software artifacts from DisCoTec 2023 – the 18th International Federated Conference on Distributed Computing Techniques, «SCIENCE OF COMPUTER PROGRAMMING», 2025, 243, pp. 103255 - 103257 [Scientific article]

Hübner, Jomi Fred; Burattini, Samuele; Ricci, Alessandro; Mayer, Simon, Reflexive anticipatory reasoning by BDI agents, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2025, 39, pp. 1 - 26 [Scientific article]

Yan, Elena; Burattini, Samuele; Hübner, Jomi Fred; Ricci, Alessandro, A multi-level explainability framework for engineering and understanding BDI agents, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2025, 39, pp. 1 - 42 [Scientific article] Open Access