Pubblicazioni

Barelli, Eleonora; Lodi, Michael; Branchetti, Laura; Levrini, Olivia, Epistemic Insights as Design Principles for a Teaching-Learning Module on Artificial Intelligence, «SCIENCE & EDUCATION», 2025, 34, pp. 671 - 706 [Articolo in rivista] Open Access

Orsoni, Matteo; Dubé, Adam; Prandi, Catia; Giovagnoli, Sara; Benassi, Mariagrazia; Mazzoni, Elvis; Benvenuti, Martina, Learning Landscape in Gamification: The Need for a Methodological Protocol in Research Applications, «PERSPECTIVES ON PSYCHOLOGICAL SCIENCE», 2025, 20, pp. 460 - 484 [Articolo in rivista] Open Access

Montori, Federico; Tatara, Marek S.; Varga, Pál, Dynamic Execution of Engineering Processes in Cyber-Physical Systems of Systems Toolchains, «IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING», 2025, 22, pp. 1208 - 1219 [Articolo in rivista] Open Access

Bacchiani, Lorenzo; Bravetti, Mario; Giallorenzo, Saverio; Gabbrielli, Maurizio; Zavattaro, Gianluigi; Zingaro, Stefano Pio, Proactive-reactive microservice architecture global scaling, «THE JOURNAL OF SYSTEMS AND SOFTWARE», 2025, 220, pp. 112262 - 112280 [Articolo in rivista]

Casanueva, Annalí; Rossi, Davide; Zacchiroli, Stefano; Zimmermann, Théo, The impact of the COVID-19 pandemic on women’s contribution to public code, «EMPIRICAL SOFTWARE ENGINEERING», 2025, 30, pp. 30 - 64 [Articolo in rivista]

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

Francia, Matteo; Gallinucci, Enrico; Golfarelli, Matteo; Rizzi, Stefano, VOOL: A modular insight-based framework for vocalizing OLAP sessions, «INFORMATION SYSTEMS», 2025, 129, pp. 1 - 14 [Articolo in rivista] 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]

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]

Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco; Rademacher, Florian; Unwerawattana, Narongrit, JoT: A Jolie framework for testing microservices, «SCIENCE OF COMPUTER PROGRAMMING», 2025, 240, pp. 1 - 13 [Articolo in rivista]

De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Vjerdha, Gejsi, Towards a Framework for Transitioning from Monolith to Serverless, in: The Combined Power of Research, Education, and Dissemination. Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday, cham, Springer Science and Business Media Deutschland GmbH, 2025, pp. 167 - 182 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

Bittelli, Marco; Francia, Matteo; Giovanelli, Joseph; Golfarelli, Matteo; Tomei, Fausto, An auto-tuning process-based 3D model to forecast irrigation demand in kiwifruit, «ECOLOGICAL INFORMATICS», 2025, 85, pp. 1 - 16 [Articolo in rivista] Open Access

Casadei, R., System-wide IoT design and programming: Patterns for decentralised collective processes, «INTERNET OF THINGS», 2025, 29, pp. 1 - 31 [Articolo in rivista] 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

Asperti, Andrea; Fiorilla, Salvatore; Nardi, Simone; Orsini, Lorenzo, A review of recent techniques for person re-identification, «MACHINE VISION AND APPLICATIONS», 2025, 36, pp. 1 - 29 [Articolo in rivista]

Asperti, Andrea; Merizzi, Fabio; Paparella, Alberto; Pedrazzi, Giorgio; Angelinelli, Matteo; Colamonaco, Stefano, Precipitation nowcasting with generative diffusion models, «APPLIED INTELLIGENCE», 2025, 55, pp. 1 - 21 [Articolo in rivista] Open Access

DE FILIPPO, Allegra; Galassi, Andrea; Soriani, Alessandro; Trisolini, Giada; Baldo, Federico; Chesani, Federico; Mello, Paola; Milano, Michela, Improving the Teaching of Artificial Intelligence Through Project-Based Learning on a Board Game, «INTELLIGENZA ARTIFICIALE», 2025, 19, pp. 17 - 29 [Articolo in rivista] Open Access

Gaspari, Mauro; Mioni, Giovanna; Signorello, Dario; Stablum, Franca; Zuppiroli, Sara, Fine Tuning of an Advanced Planner for Cognitive Training of Older Adults, «EUROPEAN JOURNAL OF INVESTIGATION IN HEALTH, PSYCHOLOGY AND EDUCATION.», 2025, 15, pp. 1 - 18 [Articolo in rivista] Open Access

Ciatto, Giovanni; Agiollo, Andrea; Magnini, Matteo; Omicini, Andrea, Large language models as oracles for instantiating ontologies with domain-specific knowledge, «KNOWLEDGE-BASED SYSTEMS», 2025, 310, pp. 1 - 22 [Articolo in rivista] 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