Pubblicazioni

Roccetti M.; Casini L., The role of inter-regional tourism in the spread of COVID-19 in Italy during the 2020 Summer: A confirmatory study, in: GoodIT 2021 - Proceedings of the 2021 Conference on Information Technology for Social Good, Association for Computing Machinery, Inc, 2021, pp. 1 - 6 (atti di: 1st Conference on Information Technology for Social Good, GoodIT 2021, Rome, Italy, 2021) [Contributo in Atti di convegno]

Avanzini M.; Barthe G.; Dal Lago U., On continuation-passing transformations and expected cost analysis, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2021, 5, pp. 1 - 30 [Articolo in rivista] Open Access

Accattoli B.; Dal Lago U.; Vanoni G., The (In)Efficiency of interaction, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2021, 5, pp. 1 - 33 [Articolo in rivista] Open Access

Dal Lago U.; Faggian C.; Ronchi Della Rocca S., Intersection types and (positive) almost-sure termination, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2021, 5, pp. 1 - 32 [Articolo in rivista] Open Access

Antonelli M.; Dal Lago U.; Pistone P., On Measure Quantifiers in First-Order Arithmetic, in: Connecting with Computability. 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings, Cham, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12813, pp. 12 - 24 (atti di: 17th Conference on Computability in Europe, CiE 2021, Online, 2021) [Contributo in Atti di convegno] Open Access

Dal Lago U.; Gavazzo F., Resource transition systems and full abstraction for linear higher-order effectful programs, in: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 195, pp. 1 - 19 (atti di: 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, arg, 2021) [Contributo in Atti di convegno] Open Access

Dal Lago U.; Kahle R.; Oitavem I., A Recursion-Theoretic Characterization of the Probabilistic Class PP, in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Dagstuhl, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 202, pp. 1 - 12 (atti di: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, est, 2021) [Contributo in Atti di convegno] Open Access

Accattoli B.; Dal Lago U.; Vanoni G., The Space of Interaction, in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2021, 2021, pp. 1 - 13 (atti di: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Online, 2021) [Contributo in Atti di convegno] Open Access

Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Towards cooperative argumentation for MAS: An actor-based approach, in: WOA 2021 – 22nd Workshop “From Objects to Agents”, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2021, 2963, pp. 162 - 177 (atti di: WOA 2021 – 22nd Workshop “From Objects to Agents”,, Bologna, Italy, 1–3 September 2021) [Contributo in Atti di convegno] Open Access

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor, WOA 2021 – 22nd Workshop “From Objects to Agents”, Aachen, Sun SITE Central Europe, RWTH Aachen University, 2021, pp. 258 (CEUR WORKSHOP PROCEEDINGS). [Curatela] Open Access

Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini, On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction, in: WOA 2021 – 22nd Workshop “From Objects to Agents”, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2021, 2963, pp. 29 - 48 (atti di: WOA 2021 – 22nd Workshop “From Objects to Agents”, Bologna, Italy, 1–3 September 2021) [Contributo in Atti di convegno] Open Access

Andrea Agiollo, Giovanni Ciatto, Andrea Omicini, Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap, in: WOA 2021 – 22nd Workshop “From Objects to Agents”, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2021, 2963, pp. 98 - 115 (atti di: WOA 2021 – 22nd Workshop “From Objects to Agents”, Bologna, Italy, 1–3 September 2021) [Contributo in Atti di convegno] Open Access

Giovanni Ciatto, Roberta Calegari, Andrea Omicini, 2P-Kt: A Logic-Based Ecosystem for Symbolic AI, «SOFTWAREX», 2021, 16, pp. 1 - 7 [Articolo in rivista] Open Access

Vincenzo Lomonaco, Lorenzo Pellegrini, Andrea Cossu, Antonio Carta, Gabriele Graffieti, Tyler L. Hayes, Matthias De Lange, Marc Masana, Jary Pomponi, Gido M. van de Ven, Martin Mundt, Qi She, Keiland Cooper, Jeremy Forest, Eden Belouadah, Simone Calderara, German I. Parisi, Fabio Cuzzolin, Andreas S. Tolias, Simone Scardapane, Luca Antiga, Subutai Ahmad, Adrian Popescu, Christopher Kanan, Joost van de Weijer, Tinne Tuytelaars, Davide Bacciu, Davide Maltoni, Avalanche: an End-to-End Library for Continual Learning, in: 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW 2021), «IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION WORKSHOPS», 2021, pp. 3595 - 3605 (atti di: IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2021, Virtual, 19-25 Giugno 2021) [Contributo in Atti di convegno] Open Access

Lorenzo Pellegrini, Vincenzo Lomonaco, Gabriele Graffieti, Davide Maltoni, Continual Learning at the Edge: Real-Time Training on Smartphone Devices, in: ESANN 2021 Proceedings, 2021, pp. 23 - 28 (atti di: 29th European Symposium on Artificial Neural Networks (ESANN), 2021, Bruges, Belgium, 6-8 October 2021) [Contributo in Atti di convegno]

Federico Sabbatini, Giovanni Ciatto, Andrea Omicini, GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors, in: Explainable and Transparent AI and Multi-Agent Systems. Third International Workshop, EXTRAAMAS 2021, Cham, Springer Nature, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12688, pp. 18 - 38 (atti di: EXplainable and TRAnsparent AI and Multi-Agent Systems: Third International Workshop (EXTRAAMAS 2021), Virtual Event, 3–4 May 2021) [Contributo in Atti di convegno] Open Access

F. Le Piane, M. Baldoni, M. Gaspari, F. Mercuri, Molecular And Materials Basic Ontology: development and first steps, in: DAMDID/RCDL 2021 - Data Analytics and Management in Data Intensive Domains 2021, «CEUR WORKSHOP PROCEEDINGS», 2021, 3036, pp. 240 - 249 (atti di: XXIII "DATA ANALYTICS AND MANAGEMENT IN DATA INTENSIVE DOMAINS" CONFERENCE (DAMDID), National University of Science and Technology MISiS, Moscow, Russia, 26 - 29 October 2021) [Contributo in Atti di convegno] Open Access

Sbaraglia, Marco; Lodi, Michael; Zingaro, Stefano Pio; Martini, Simone, The Good, The Bad, and The Ugly of a Synchronous Online CS1, in: ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 2, New York, NY, Association for Computing Machinery, 2021, pp. 660 - 660 (atti di: ITiCSE '21: 26th ACM Conference on Innovation and Technology in Computer Science Education, Paderborn, Germany, June 26th - July 1st 2021) [Poster]

Lodi M.; Sbaraglia M.; Zingaro S.P.; Martini S., The online course was great: I would attend it face-to-face: The good, the bad, and the ugly of IT in emergency remote teaching of CS1, in: GoodIT 2021 - Proceedings of the 2021 Conference on Information Technology for Social Good, New York, NY, Association for Computing Machinery, Inc, 2021, pp. 242 - 247 (atti di: 1st Conference on Information Technology for Social Good, GoodIT 2021, Roma, Italia, 9 September - 11 September 2021) [Contributo in Atti di convegno] Open Access

Forresi, Chiara; Francia, Matteo; Gallinucci, Enrico; Golfarelli, Matteo, Optimizing Execution Plans in a Multistore, in: Proceedings 25th European Conference on Advances in Databases and Information Systems, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12843, pp. 136 - 151 (atti di: 25th European Conference on Advances in Databases and Information Systems, Tartu, Estonia, 24 August 2021) [Contributo in Atti di convegno]