Pubblicazioni

Dagnino, Francesco; Padovani, Luca, sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions, in: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, 2024, pp. 1 - 13 (atti di: Principles and Practice of Declarative Programming, Milano, Italia, September 9-11, 2024) [Contributo in Atti di convegno]

Magnini, Matteo; Ozaki, Ana; Squarcialupi, Riccardo, Actively Learning Ontologies from LLMs: First Results (Extended Abstract), in: Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, Aachen, CEUR-WS.org, 2024, 3739, pp. 1 - 6 (atti di: 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, 18-21 June 2024) [Riassunto (Abstract)]

Palmirani, Monica; Vitali, Fabio; Longo, Generoso; DI SANTE, Emanuele; Brega, Aurora; D'Arpa, Andrea; Corazza, Michele, Legal Drafting supported by AI: enhancing LEOS, in: Proceedings of the Ital-IA Intelligenza Artificiale - Thematic Workshops co-located with the 4th CINI National Lab AIIS Conference on Artificial Intelligence (Ital-IA 2024), Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2024, 3762, pp. 458 - 463 (atti di: 2024 Ital-IA Intelligenza Artificiale - Thematic Workshops, Ital-IA 2024, Naples, Italy, May 29-30, 2024) [Contributo in Atti di convegno] Open Access

Brahmia, Zouhaier; Grandi, Fabio; Oliboni, Barbara, Schema Versioning in Databases: A Literature Review, «COMPUTING OPEN», 2024, 2, pp. 1 - 75 [Articolo in rivista]

Lanese, I.; Vidal, G., Reversible Debugging of Erlang Programs in CauDEr, in: DEBT 2024: Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, ASSOC COMPUTING MACHINERY, 2024, pp. 30 - 31 (atti di: DEBT, Vienna, Austria, 19/9/2024) [Contributo in Atti di convegno] Open Access

Lami, P.; Lanese, I.; Stefani, J. -B., A Small-Step Semantics for Janus, in: Reversible Computation. RC 2024, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14680, pp. 105 - 123 (atti di: 16th International Conference on Reversible Computation, RC 2024, Toruń, Poland, July 4-5 , 2024) [Contributo in Atti di convegno]

Fabbretti, G.; Lanese, I.; Stefani, J. -B., Reversibility with Holes, in: Mogensen, T.Æ., Mikulski, Ł. (eds) Reversible Computation. RC 2024, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14680, pp. 69 - 74 (atti di: 16th International Conference on Reversible Computation, RC 2024, Toruń, Poland, July 4-5 , 2024) [Contributo in Atti di convegno]

Pal, S.; Lanese, I.; Clo, M., Choreographic Automata: A Case Study in Healthcare Management, in: Lecture Coordination Models and Languages. COORDINATION 2024, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14676, pp. 3 - 19 (atti di: 26th International Conference on Coordination Models and Languages, COORDINATION 2024, Groningen, Netherlands, June 17-21, 2024) [Contributo in Atti di convegno]

Lanese, I.; Gossler, G., Causal Debugging for Concurrent Systems, in: Reversible Computation. RC 2024, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14680, pp. 3 - 9 (atti di: 16th International Conference on Reversible Computation, RC 2024, Toruń, Poland, July 4-5 , 2024) [Contributo in Atti di convegno]

Zyrianoff, I.; Forlesi, M.; Gigli, L.; Kamali, S.; Testoni, N.; Mennuti, C.; Augugliaro, G.; De Marchi, L.; Marzani, A.; Bononi, L.; Di Felice, M., Digital Smart Structure: Engineering a Sensor-to-Cloud Structural Health Monitoring Pilot, in: Proc. of the 2024 IEEE International Symposium on Measurements & Networking (M&N), 2024, pp. 1 - 6 (atti di: IEEE International Symposium on Measurements & Networking (M&N), Roma, 2-5 Luglio 2024) [Contributo in Atti di convegno]

Rimediotti, J.; Montori, F.; Sciullo, L.; Bononi, L., Inferring the Urban Noise Pollution with Sparse Data through Crowdsensing, in: 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2024, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., 2024, pp. 643 - 648 (atti di: 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2024, fra, 2024) [Contributo in Atti di convegno]

Montori, F.; Pastore, R.; Sciullo, L.; Bononi, L.; Bedogni, L., An MCS Navigation System Based on Road Surface Quality for Bicycle Riders, in: Proceedings - 2024 IEEE International Conference on Smart Computing, SMARTCOMP 2024, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2024, pp. 125 - 132 (atti di: 10th IEEE International Conference on Smart Computing, SMARTCOMP 2024, jpn, 2024) [Contributo in Atti di convegno]

Trotta, Angelo; Montori, Federico; Ciabattini, Leonardo; Billi, Giulio; Bononi, Luciano; Di Felice, Marco, Edge human activity recognition using federated learning on constrained devices, «PERVASIVE AND MOBILE COMPUTING», 2024, 104, pp. 1 - 15 [Articolo in rivista] Open Access

Panciroli, Chiara; Russo, Veronica; Balzan, Francesco, Educating with Artificial Intelligence, educating for Artificial Intelligence : role, impacts, and possibilities in the phygital scenario, in: Proceedings of the 2nd International and Interdisciplinary Conference on Digital Environments for Education, Arts and Heritage : Earth 2023, Cham, Springer, 2024, pp. 84 - 92 (SPRINGER SERIES IN DESIGN AND INNOVATION) [Capitolo/Saggio in libro]

Cellini, L.; Macaluso, A.; Lombardi, M., QAL-BP: an augmented Lagrangian quantum approach for bin packing, «SCIENTIFIC REPORTS», 2024, 14, pp. 1 - 18 [Articolo in rivista] Open Access

Braccini, M.; De Filippo, A.; Lombardi, M.; Milano, M., Swarm Intelligence: A Novel and Unconventional Approach to Dance Choreography Creation, in: Proceedings of the 3rd Workshop on Artificial Intelligence and Creativity co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2024, 3810, pp. 162 - 172 (atti di: 3rd Workshop on Artificial Intelligence and Creativity, CREAI 2024, Santiago de Compostela, Spain, October 20th, 2024) [Contributo in Atti di convegno] Open Access

Giuliani, L.; Misino, E.; Calegari, R.; Lombardi, M., Long-Term Fairness Strategies in Ranking with Continuous Sensitive Attributes, in: Proceedings of the 2nd Workshop on Fairness and Bias in AI co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2024, 3808, pp. 1 - 15 (atti di: 2nd Workshop on Fairness and Bias in AI, AEQUITAS 2024, Santiago de Compostela, Spain, October 20th, 2024) [Contributo in Atti di convegno] Open Access

Magnini, A.; Lombardi, M.; Ouarda, T. B. M. J.; Castellarin, A., Ai-driven morphoclimatic regional frequency modelling of sub-daily rainfall-extremes, «JOURNAL OF HYDROLOGY», 2024, 631, pp. 1 - 16 [Articolo in rivista] Open Access

Baiardi, M.; Burattini, S.; Ciatto, G.; Pianini, D., Blending BDI Agents with Object-Oriented and Functional Programming with JaKtA, «SN COMPUTER SCIENCE», 2024, 5, pp. 1 - 24 [Articolo in rivista] Open Access

Farabegoli, N.; Pianini, D.; Casadei, R.; Viroli, M., Dynamic IoT deployment reconfiguration: A global-level self-organisation approach, «INTERNET OF THINGS», 2024, 28, pp. 1 - 20 [Articolo in rivista] Open Access