Pubblicazioni

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] Open Access

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

Ciccone, Luca; Padovani, Luca, 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] Open Access

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]

Ciccone, Luca; Dagnino, Francesco; Padovani, Luca, Fair Termination of Multiparty Sessions, in: Proceedings of the 36th European Conference on Object-Oriented Programming, ECOOP 2022, Schloss Dagstuhl - Leibniz Center for Informatic, «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] Open Access

Aimi, Alessandro; Guillemin, Fabrice; Rovedakis, Stephane; Secci, Stefano, Packet Delivery Ratio Guarantees for Differentiated LoRaWAN Services, in: Proceedings - IEEE Global Communications Conference, GLOBECOM, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, «... IEEE GLOBAL COMMUNICATIONS CONFERENCE», 2022, pp. 2014 - 2019 (atti di: 2022 IEEE Global Communications Conference, GLOBECOM 2022, Rio de Janeiro, Brazil, 2022) [Contributo in Atti di convegno]

Aimi, Alessandro; Guillemin, Fabrice; Rovedakis, Stephane; Secci, Stefano, Traffic Control and Channel Assignment for Quality Differentiation in Dense Urban LoRaWANs, in: 2022 20th International Symposium on Modeling and Optimization in Mobile, Ad hoc, and Wireless Networks, WiOpt 2022, Institute of Electrical and Electronics Engineers Inc., 2022, pp. 153 - 160 (atti di: 20th International Symposium on Modeling and Optimization in Mobile, Ad hoc, and Wireless Networks, WiOpt 2022, Turin, Italy, 2022) [Contributo in Atti di convegno]

Wong, Kei Long; Chou, Ka Seng; Aguiari, Davide; Tse, Rita; Tang, Su-Kit; Pau, Giovanni, Identifying Degradation Indicators for Electric Vehicle Battery Based on Field Testing Data, in: 2022 IEEE Electrical Power and Energy Conference, EPEC 2022, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., 2022, pp. 206 - 211 (atti di: 2022 IEEE Electrical Power and Energy Conference, EPEC 2022, can, 2022) [Contributo in Atti di convegno]

Kim, J.; Sirbu, A.; Giannotti, F.; Rossetti, G.; Rapoport, H., Origin and destination attachment: study of cultural integration on Twitter, «EPJ DATA SCIENCE», 2022, 11, pp. 1 - 20 [Articolo in rivista]

Kim, J.; Sirbu, A.; Rossetti, G.; Giannotti, F., Characterising Different Communities of Twitter Users: Migrants and Natives, in: Studies in Computational Intelligence, Springer Science and Business Media Deutschland GmbH, 2022, 1015, pp. 130 - 141 (atti di: 10th International Conference on Complex Networks and Their Applications, COMPLEX NETWORKS 2021, Madrid, Spain, 2021) [Contributo in Atti di convegno]

Goglia, Diletta; Pollacci, Laura; Sirbu, Alina, Use of non-traditional data sources to nowcast migration trends through Artificial Intelligence technologies, in: Measuring Migration Conference 2022 Conference Proceedings, 2022, 42, pp. 15 - 21 (atti di: Measuring Migration Conference 2022, Oxford, UK, december 2022) [Contributo in Atti di convegno]

Kim, Jisu; Pollacci, Laura; Rossetti, Giulio; Sirbu, Alina; Giannotti, Fosca; Pedreschi, Dino, Twitter data for migration studies, in: JISU KIM LAURA POLLACCI GIULIO ROSSETTI ALINA SÎRBU FOSCA GIANNOTTI DINO PEDRESCHI, Data Science for Migration and Mobility, OXFORD, Oxford University Press, 2022, pp. 159 - 182 [Capitolo/Saggio in libro]

Lombini, Matteo; Schreiber, Laura; Bianco, Andrea; Buzzoni, Alberto; Carbognani, Albino; Cortecchia, Fausto; Frangiamore, Michele; DI LUCA, Roberto; Diolaiti, Emiliano; Galleti, Silvia; Mannocci, Enrico; Stirpe, Giovanna, Steps forward to SST applications of slit-less multi-object spectroscopy with the SuperFOSC camera at the Loiano astronomical observatory, in: PROCEEDINGS OF SPIE, Bellingham, SPIE, 2022, pp. 1587 - 1595 [Capitolo/Saggio in libro]

Guarino, I.; Bovenzi, G.; Di Monda, D.; Aceto, G.; Ciuonzo, D.; Pescape, A., On the use of Machine Learning Approaches for the Early Classification in Network Intrusion Detection, in: 2022 IEEE International Symposium on Measurements and Networking, M and N 2022 - Proceedings, Institute of Electrical and Electronics Engineers Inc., 2022, pp. 1 - 6 (atti di: 6th IEEE International Symposium on Measurements and Networking, M and N 2022, ita, 2022) [Contributo in Atti di convegno]

Prandi C.; Ceccarini C.; Nisi V.; Salomoni P., Designing interactive infographics to stimulate environmental awareness: an exploration with a University community, «MULTIMEDIA TOOLS AND APPLICATIONS», 2021, 80, pp. 12951 - 12968 [Articolo in rivista] Open Access

Antonella Carbonaro; Jennifer Moss Breen, Effective Leadership for Overcoming ICT Challenges in Higher Education: What Faculty, Staff and Administrators Can Do to Thrive Amidst the Chaos, Bingley BD16 1WA United Kingdom, Emerald Publishing Limited United Kingdom, 2021, pp. 174 . [Monografia/Trattato scientifico in forma di libro]