Go to the University of Bologna homepage
Department of Computer Science and Engineering

Publications

  • 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) [Chapter or essay]

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings] Open Access

  • Melis, Andrea; Piroddi, Andrea; Kaya, Özlem; Girau, R., An IIoT Digital Twin Architecture for Anomaly Traffic Analysis of HWIL Devices using Neural Network, in: 2024 IEEE 29th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), IEEE, 2024, pp. 83 - 88 (atti di: 2024 IEEE 29th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), Athen, 21/10/024) [Contribution to conference proceedings]

  • 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 . [Editorship] Open Access

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

  • Rosa, Lorenzo; Foschini, Luca; Corradi, Antonio, Empowering Cloud Computing With Network Acceleration: A Survey, «IEEE COMMUNICATIONS SURVEYS AND TUTORIALS», 2024, 26, pp. 2729 - 2768 [Scientific article] 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 [Scientific article]

  • 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 [Scientific article] 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings]

  • 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) [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) [Contribution to conference proceedings] Open Access

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

  • 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) [Contribution to conference proceedings] 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) [Contribution to conference proceedings] Open Access

  • 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) [Contribution to conference proceedings] Open Access

  • 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) [Contribution to conference proceedings] Open Access

  • 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) [Contribution to conference proceedings] Open Access

  • 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) [Contribution to conference proceedings]