Pubblicazioni

Lin H.; Tse R.; Tang S.-K.; Qiang Z.; Pau G., Few-Shot Learning for Plant-Disease Recognition in the Frequency Domain, «PLANTS», 2022, 11, pp. 1 - 23 [Articolo in rivista]

Pocher N.; Zichichi M.; Ferretti S., AML/CFT/CPF Endeavors in the Crypto-space: From Blockchain Analytics to Machine Learning, in: Proceedings of Artificial Intelligence Governance Ethics and Law (AIGEL), «CEUR WORKSHOP PROCEEDINGS», 2022, 3531, pp. 140 - 149 (atti di: Artificial Intelligence Governance Ethics and Law, Barcelona, Spain, November 2022) [Contributo in Atti di convegno]

Ferretti S.; Montagna S., Network Modularity based Clustering for Portfolio Allocation: a Monte-Carlo Simulation Study, in: 2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2022, Institute of Electrical and Electronics Engineers Inc., 2022, pp. 104 - 111 (atti di: 26th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2022, fra, 2022) [Contributo in Atti di convegno]

Ciccone, L; Padovani, L, Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types, «LOGICAL METHODS IN COMPUTER SCIENCE», 2022, 18, pp. 1 - 29 [Articolo in rivista]

Colonnelli, I; Aldinucci, M; Cantalupo, B; Padovani, L; Rabellino, S; Spampinato, C; Morelli, R; Di Carlo, R; Magini, N; Cavazzoni, C, Distributed workflows with Jupyter, «FUTURE GENERATION COMPUTER SYSTEMS», 2022, 128, pp. 282 - 298 [Articolo in rivista]

Ciccone, Luca; Padovani, Luca, Fair Termination of Binary Sessions, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 1 - 30 [Articolo in rivista]

Luca Ciccone; Luca Padovani, An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus, in: Proceedings of the 33rd International Conference on Concurrency Theory (CONCUR 2022), Dagstuhl, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, 243, pp. 1 - 18 (atti di: International Conference on Concurrency Theory, Warsaw, September 12-16, 2022) [Contributo in Atti di convegno]

Luca Padovani, On the Fair Termination of Client-Server Sessions, in: Proceedings of the 28th International Conference on Types for Proofs and Programs (TYPES 2022), Dagstuhl, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022, 269, pp. 1 - 21 (atti di: 28th International Conference on Types for Proofs and Programs (TYPES 2022), Nantes, 20-25th June 2022) [Contributo in Atti di convegno]

De Filippo A.; Milano M.; Presutti V.; Saffiotti A., CREAI 2022 - Preface to the First Workshop on Artificial Intelligence and Creativity, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2022, 3278, pp. 1 - 3 (atti di: 1st Workshop on Artificial Intelligence and Creativity, CREAI 2022 (co-located AIxIA 2022), Udine, 2022) [Contributo in Atti di convegno]

Pianini, D.; Studiorum, A. M., Message from the Special Event Chairs ACSOS 2022, in: 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), CA, IEEE, 2022, pp. 16 - 16 [Prefazione]

Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari, Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), AAchen, CEUR, 2022, pp. 243 . [Curatela]

Luca Ciccone; Francesco Dagnino; Luca Padovani, Fair Termination of Multiparty Sessions, in: Proceedings of the 36th European Conference on Object-Oriented Programming, ECOOP 2022, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 222, pp. 1 - 26 (atti di: European Conference on Object-Oriented Programming, Berlin, Germany, June 6-10, 2022) [Contributo in Atti di convegno]