Pubblicazioni
-
Cortecchia, A.; Ciatto, G.; Casadei, R.; Pianini, D., FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures, «COMPLEX & INTELLIGENT SYSTEMS», 2026, 12, pp. 1 - 30 [Articolo in rivista]
-
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]
-
Domini, D.; Farabegoli, N.; Aguzzi, G.; Viroli, M.; Esterle, L., Decentralized proximity-aware clustering for collective self-federated learning, «INTERNET OF THINGS», 2026, 35, pp. 1 - 21 [Articolo in rivista]
-
Ling, Z.; Delnevo, G.; Salomoni, P.; Mirri, S., Multi-task learning for identification of porcelain in Song and Yuan dynasties1, «NEURAL COMPUTING & APPLICATIONS», 2026, 38, pp. 1 - 47 [Articolo in rivista]
-
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
-
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]
-
Liu, L.; Malmert, A.; Pouyet, E.; Mirri, S.; Delnevo, G., Joined Spatial and Spectral Segmentation of Hyperspectral Datasets on Historical Art Objects, «IEEE ACCESS», 2025, 13, pp. 108266 - 108283 [Articolo in rivista]
-
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]
-
Nanni, L.; Lumini, A.; Brahnam, S., Neural networks for anatomical therapeutic chemical (ATC) classification, «APPLIED COMPUTING AND INFORMATICS», 2025, 21, pp. 349 - 360 [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
-
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 [Articolo in rivista] 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 [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] 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 [Articolo in rivista] 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) [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] 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