Publications

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]
Bacchiega, Emanuele; Garella, Paolo G., Product Positioning and Incentives to Innovate, «JOURNAL OF ECONOMICS & MANAGEMENT STRATEGY», in corso di stampa, Forthcoming, pp. 1 - 9 [Scientific article]
Gazza, Simone; Amadini, Roberto; Brogi, Antonio; D'Iapico, Andrea; Forti, Stefano; Giallorenzo, Saverio; Plebani, Pierluigi; Ponce, Francisco; Soldani, Jacopo; Vitali, Monica; Zavattaro, Gianluigi, A Constraint-Based Approach to Optimise QoS- and Energy-Aware Cloud-Edge Application Deployments, «ACM TRANSACTIONS ON INTERNET TECHNOLOGY», in corso di stampa, N/A, pp. N/A - N/A [Scientific article]
Francia, Matteo; Rizzi, Stefano; Golfarelli, Matteo; Marcel, Patrick, Predicting Multidimensional Cubes Through Intentional Analytics, «INFORMATION SYSTEMS», 2026, 136, pp. 1 - 16 [Scientific article]
Aguzzi, G.; Cerioni, M.; Viroli, M., Low-code design of collective systems with ScaFi-Blocks, «SCIENCE OF COMPUTER PROGRAMMING», 2026, 247, pp. 1 - 9 [Scientific article]
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: Lecture Notes in Computer Science, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 15970 LNCS, pp. 369 - 379 (atti di: Medical Image Computing and Computer Assisted Intervention, Daejeon, South Korea, September 23–27, 2025) [Contribution to conference proceedings]
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Towards Implementing Distributed Custom Serverless Function Scheduling in FunLess, in: Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, Cham, Springer Nature Switzerland, 2026, pp. 218 - 236 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies, «SCIENCE OF COMPUTER PROGRAMMING», 2026, 247, pp. 1 - 6 [Scientific article]
Antici, F.; Borghesi, A.; Kiziltan, Z.; Domke, J.; Bartolini, A., An online algorithm for power consumption prediction of HPC workload, «FUTURE GENERATION COMPUTER SYSTEMS», 2026, 175, pp. 1 - 14 [Scientific article] Open Access
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 [Scientific article] 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 [Scientific article] 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 [Scientific article] Open Access
Galassi, Andrea; Lagioia, Francesca; Jabłonowska, Agnieszka; Lippi, Marco, Unfair clause detection in terms of service across multiple languages, «ARTIFICIAL INTELLIGENCE AND LAW», 2025, 33, pp. 641 - 649 [Scientific article] Open Access
Amidei, Andrea; Rapa, Pierangelo Maria; Tagliavini, Giuseppe; Rabbeni, Roberto; Benini, Luca; Pavan, Paolo; Benatti, Simone, Unobtrusive Multimodal Monitoring of Physiological Signals for Driver State Analysis, «IEEE SENSORS JOURNAL», 2025, 25, pp. 7809 - 7818 [Scientific article] 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 [Scientific article] Open Access
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 [Scientific article] Open Access
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) [Contribution to conference proceedings] 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 [Scientific article] 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) [Contribution to conference proceedings] 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) [Contribution to conference proceedings] Open Access