Pubblicazioni

Dal Lago, Ugo; Ghyselen, Alexis, On Model-Checking Higher-Order Effectful Programs, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2024, 8, pp. 2610 - 2638 [Articolo in rivista]

Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone, Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories, in: Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2024, 288, pp. 1 - 19 (atti di: 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, February 2024) [Contributo in Atti di convegno]

Gori, Giacomo; Rinieri, Lorenzo; Melis, Andrea; Al Sadi, Amir; Callegati, Franco; Prandini, Marco, A Systematic Analysis of Security Metrics for Industrial Cyber–Physical Systems, «ELECTRONICS», 2024, 13, pp. 1 - 17 [Articolo in rivista] Open Access

Sadi, Amir Al; Savi, Marco; Melis, Andrea; Prandini, Marco; Callegati, Franco, Unleashing Dynamic Pipeline Reconfiguration of P4 Switches for Efficient Network Monitoring, «IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT», 2024, 2024, pp. 1 - 16 [Articolo in rivista]

Eleonora Mancini, Federico Ruggeri, Paolo Torroni, Multimodal Fallacy Classification in Political Debates, in: Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (Volume 2: Short Papers), Association for Computational Linguistics, 2024, pp. 170 - 178 (atti di: 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL), St. Julian’s, Malta, March 2024) [Contributo in Atti di convegno]

Di Domenico, Nicolò; Borghi, Guido; Franco, Annalisa; Maltoni, Davide, Face Restoration for Morphed Images Retouching, in: 12th International Workshop on Biometrics and Forensics (IWBF), 2024, pp. 1 - 6 (atti di: 12th International Workshop on Biometrics and Forensics (IWBF), University of Twente, 2024) [Contributo in Atti di convegno]

Galassi, Andrea; Lagioia, Francesca; Jabłonowska, Agnieszka; Lippi, Marco, Unfair clause detection in terms of service across multiple languages, «ARTIFICIAL INTELLIGENCE AND LAW», 2024, in press, pp. 1 - 49 [Articolo in rivista]

Genovese, Francesca; Bolognesi, Marianna Marcella; Di Iorio, Angelo; Vitali, Fabio, The advantages of gamification for collecting linguistic data: A case study using Word Ladders, «ONLINE JOURNAL OF COMMUNICATION AND MEDIA TECHNOLOGIES», 2024, 14, pp. 1 - 17 [Articolo in rivista] Open Access

Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S., revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE, «LOGICAL METHODS IN COMPUTER SCIENCE», 2024, 20, pp. 11 - 35 [Articolo in rivista] Open Access

Francia M.; Golfarelli M.; Pasini M., Towards a Process-Driven Design of Data Platforms, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2024, 3653, pp. 28 - 35 (atti di: 26th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data, DOLAP 2024, ita, 2024) [Contributo in Atti di convegno]

Sala, Claudia; Di Lena, Pietro; Fernandes Durso, Danielle; Faria do Valle, Italo; Bacalini, Maria Giulia; Dall’Olio, Daniele; Franceschi, Claudio; Castellani, Gastone; Garagnani, Paolo; Nardini, Christine, Where are we in the implementation of tissue-specific epigenetic clocks?, «FRONTIERS IN BIOINFORMATICS», 2024, 4, pp. 1 - 13 [Articolo in rivista] Open Access

Bartzia, Evmorfia-Iro; Lodi, Michael; Sbaraglia, Marco; Modeste, Simon; Durand-Guerrier, Viviane; Martini, Simone, An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics, «INFORMATICS IN EDUCATION», 2024, 23, pp. 25 - 56 [Articolo in rivista] Open Access

Pittalà, Gaetano Francesco; Rinieri, Lorenzo; Al Sadi, Amir; Davoli, Gianluca; Melis, Andrea; Prandini, Marco; Cerroni, Walter, Leveraging Data Plane Programmability to enhance service orchestration at the edge: A focus on industrial security, «COMPUTER NETWORKS», 2024, 246, pp. 1 - 13 [Articolo in rivista] Open Access

Bosello, Michael; Aguiari, Davide; Keuter, Yvo; Pallotta, Enrico; Kiade, Sara; Caminati, Gyordan; Pinzarrone, Flavio; Halepota, Junaid; Panerati, Jacopo; Pau, Giovanni, Race Against the Machine: A Fully-Annotated, Open-Design Dataset of Autonomous and Piloted High-Speed Flight, «IEEE ROBOTICS AND AUTOMATION LETTERS», 2024, 9, pp. 3799 - 3806 [Articolo in rivista] Open Access

Frapporti, Mattia, The Politics of Platforms. Exploring Platforms’ Infrastructural Role and Power, in: Capitalism in the Platform Age, Cham, Springer, 2024, pp. 81 - 95 (SPRINGER STUDIES IN ALTERNATIVE ECONOMICS) [Capitolo/Saggio in libro] Open Access

Cappelli, Raffaele, Exploring the Power of Simplicity: A New State-of-the-Art in Fingerprint Orientation Field Estimation, «IEEE ACCESS», 2024, 12, pp. 55998 - 56018 [Articolo in rivista] Open Access

Adriano Cardace, Pierluigi Zama Ramirez, Francesco Ballerini, Allan Zhou, Samuele Salti, Luigi Di Stefano, Neural Processing of Tri-Plane Hybrid Neural Fields, in: The Twelfth International Conference on Learning Representations, Appleton, ICLR, 2024, pp. 1 - 27 (atti di: The Twelfth International Conference on Learning Representations (ICLR 2024), Vienna, Austria, 07/05/2024) [Contributo in Atti di convegno] Open Access

Barakati P.; Bertini F.; Corsi E.; Gabbrielli M.; Montesi D., Luxury Car Data Analysis: A Literature Review, «DATA», 2024, 9, pp. 1 - 20 [Articolo in rivista]

Wong K.L.; Tse R.; Tang S.; Pau G., Decentralized Deep Learning Approach for Lithium-Ion Batteries State of Health Forecasting Using Federated Learning, «IEEE TRANSACTIONS ON TRANSPORTATION ELECTRIFICATION», 2024, 2024, pp. 1 - 15 [Articolo in rivista]

Lin H.; Qiang Z.; Tse R.; Tang S.-K.; Pau G., A few-shot learning method for tobacco abnormality identification, «FRONTIERS IN PLANT SCIENCE», 2024, 15, pp. 1 - 22 [Articolo in rivista]