Pubblicazioni

Montori, Federico; Sciullo, Luca; Bedogni, Luca, Raising Awareness for Inertial Sensors-based Keylogging on Smartphones, in: GoodIT '24: Proceedings of the 2024 International Conference on Information Technology for Social Good, 2024, pp. 14 - 21 (atti di: GoodIT: Information Technology for Social Good, Bremen, 04/09/2024) [Contributo in Atti di convegno]

Vespa, Michela; Bellodi, Elena; Chesani, Federico; Loreti, Daniela; Mello, Paola; Lamma, Evelina; Ciampolini, Anna, Probabilistic Compliance in Declarative Process Mining, in: Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), «CEUR WORKSHOP PROCEEDINGS», 2024, 3779, pp. 11 - 22 (atti di: PMAI 2024 Process Management in the AI Era 2024, Santiago de Compostela, Spagna, 19/10/2024) [Contributo in Atti di convegno] Open Access

Calegari R.; Giannotti F.; Pratesi F.; Milano M., Introduction to Special Issue on Trustworthy Artificial Intelligence, in: Special Issue on Trustworthy Artificial Intelligence, 1601 Broadway, 10th Floor, NEW YORK, NY USA, ASSOC COMPUTING MACHINERY, 2024, pp. 1 - 3 [Prefazione]

Sabbatini F.; Grimani C.; Calegari R., Bridging machine learning and diagnostics of the ESA LISA space mission with equation discovery via explainable artificial intelligence, «ADVANCES IN SPACE RESEARCH», 2024, 74, pp. 505 - 517 [Articolo in rivista]

Sabbatini, F.; Calegari, R., Untying black boxes with clustering-based symbolic knowledge extraction, «INTELLIGENZA ARTIFICIALE», 2024, 18, pp. 21 - 34 [Articolo in rivista] Open Access

Sabbatini, F.; Sirocchi, C.; Calegari, R., Symbolic Knowledge Comparison: Metrics and Methodologies for Multi-Agent Systems, in: Proceedings of the 25th Workshop "From Objects to Agents", Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2024, 3735, pp. 221 - 235 (atti di: 25th Workshop "From Objects to Agents", WOA 2024, ita, 2024) [Contributo in Atti di convegno] Open Access

Sabbatini, Federico; Calegari, Roberta, On the evaluation of the symbolic knowledge extracted from black boxes, «AI AND ETHICS», 2024, 4, pp. 65 - 74 [Articolo in rivista]

Esterle, L.; Montagna, S.; Pianini, D.; Aguzzi, G.; Bellman, K. L.; Ciatto, G.; Contoli, C.; Donati, M.; Mariani, S.; Rahmani, A.; Savaglio, C.; Storti, E.; Taherinejad, N.; van der Sluis, O.; Wang, Z., MADTECC 2024: 1st Workshop on Medical Applications with Digital Twins and Edge-cloud Continuum - Welcome and Committees, in: 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2024, CA, Institute of Electrical and Electronics Engineers Inc., 2024, pp. 30 - 31 [Prefazione]

Pianini, D.; Savaglio, C., Smart Collective Services in the Edge–Cloud Continuum Based on a Simulation-Driven Toolchain, in: Fluidware, -, Springer Science and Business Media Deutschland GmbH, 2024, pp. 155 - 164 (INTERNET OF THINGS) [Capitolo/Saggio in libro]

Pianini, D.; Re, B.; Rossi, L.; Zambonelli, F., Envisioning Unpredictability in Smart Environments, in: Internet of Things, -, Springer Science and Business Media Deutschland GmbH, 2024, pp. 165 - 178 (INTERNET OF THINGS) [Capitolo/Saggio in libro]

Borghi, Guido; Franco, Annalisa; di Domenico, Nicolò; Ferrara, Matteo; Maltoni, Davide, V-MAD: Video-based Morphing Attack Detection in Operational Scenarios, in: IEEE International Joint Conference on Biometrics (IJCB), 2024, pp. 1 - 10 (atti di: IEEE International Joint Conference on Biometrics (IJCB), Buffalo, NY, USA, 15-18 September 2024) [Contributo in Atti di convegno]

Franco, Annalisa; Ferrara, Matteo; Liu, Chengcheng; Busch, Christoph; Maltoni, Davide, On the Impact of Face Image Quality on Morphing Attack Detection, in: IEEE International Joint Conference on Biometrics (IJCB), New York, IEEE, «IEEE INTERNATIONAL CONFERENCE ON BIOMETRICS, THEORY, APPLICATIONS AND SYSTEMS», 2024, pp. 1 - 9 (atti di: IEEE International Joint Conference on Biometrics (IJCB), Buffalo, NY, USA, 15-18 September 2024) [Contributo in Atti di convegno] Open Access

Calegari, Roberta; Dignum, Virginia; O'Sullivan, Barry, Proceedings of the 2nd Workshop on Fairness and Bias in AI (AEQUITAS 2024), co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), Aachen, CEUR-WS, 2024, pp. 227 . [Curatela] Open Access

Calegari, Roberta; Giannotti, Fosca; Pratesi, Francesca; Milano, Michela, SPECIAL ISSUE ON TRUSTWORTHY AI, New York City, ACM Computing Surveys, 2024, pp. 1028 . [Curatela]

Rosa, Lorenzo; Foschini, Luca; Corradi, Antonio, Empowering Cloud Computing With Network Acceleration: A Survey, «IEEE COMMUNICATIONS SURVEYS AND TUTORIALS», 2024, 26, pp. 2729 - 2768 [Articolo in rivista] Open Access

Ciccone, Luca; Dagnino, Francesco; Padovani, Luca, Fair termination of multiparty sessions, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2024, 139, pp. 1 - 40 [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», 2024, 30, pp. 30 - 64 [Articolo in rivista]

Horne, Ross; Padovani, Luca, A logical account of subtyping for session types, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2024, 141, pp. 1 - 20 [Articolo in rivista] Open Access

Carbone, Marco; Castro-Perez, David; Ferreira, Francisco; Gheri, Lorenzo; Jacobsen, Frederik Krogsdal; Momigliano, Alberto; Padovani, Luca; Scalas, Alceste; Tirore, Dawit; Vassor, Martin; Yoshida, Nobuko; Zackon, Daniel, The Concurrent Calculi Formalisation Benchmark, in: Proceedings of the 26th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2024), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14676 LNCS, pp. 149 - 158 (atti di: COORDINATION, Groningen, June 17-21, 2024) [Contributo in Atti di convegno]

Colonnelli, Iacopo; Medić, Doriana; Mulone, Alberto; Bono, Viviana; Padovani, Luca; Aldinucci, Marco, Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows, in: Proceedings of the 26th International Symposium on Formal Methods - Part I, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14933 LNCS, pp. 226 - 244 (atti di: 26th International Symposium on Formal Methods, Milano, Italia, September 9-13, 2024) [Contributo in Atti di convegno]