Pubblicazioni

Prandi, Catia; Nisi, Valentina; Nunes, Nuno, On exploring a pervasive infrastructure to foster citizens participation and sustainable development, in: Proceedings of the 32nd International BCS Human Computer Interaction Conference (HCI 2018), 2018, pp. 1 - 5 (atti di: International BCS Human Computer Interaction Conference (HCI 2018), Belfast, UK, 4 - 6 July 2018) [Contributo in Atti di convegno]

Forlizzi, Luca; Lodi, Michael; Lonati, Violetta; Mirolo, Claudio; Monga, Mattia; Montresor, Alberto; Morpurgo, Anna; Nardelli, Enrico, A Core Informatics Curriculum for Italian Compulsory Education, in: Lecture Notes in Computer Science, Informatics in Schools. Fundamentals of Computer Science and Software Engineering, Cham, Springer, 2018, pp. 141 - 153 [Capitolo/Saggio in libro]

Lodi, Michael*, Can creative computing foster growth mindset?, in: CEUR Workshop Proceedings, CEUR-WS, 2018, 2190, pp. 1 - 9 (atti di: Joint 1st Co-Creation in the Design, Development and Implementation of Technology-Enhanced Learning Workshop and Systems of Assessments for Computational Thinking Learning Workshop, CC-TEL 2018 and TACKLE 2018, Leeds, UK, 2018) [Contributo in Atti di convegno]

Corradini, Isabella; Lodi, Michael; Nardelli, Enrico*, An investigation of Italian primary school teachers’ view on coding and programming, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Cham, Springer Verlag, 2018, pp. 228 - 243 [Capitolo/Saggio in libro]

Mattia Monga, Michael Lodi, Dario Malchiodi, Anna Morpurgo, Bernadette Spieler, Learning to program in a constructionist way, in: Constructionism 2018 : Constructionism, Computational Thinking and Educational Innovation: conference proceedings, 2018, pp. 906 - 929 (atti di: Constructionism, Vilnius, agosto 2018) [Contributo in Atti di convegno]

Michael Lodi, Pensiero Computazionale: dalle “scuole di samba della computazione” ai CoderDojo, in: Atti Convegno Nazionale DIDAMATICA 2018, 2018, pp. 97 - 106 (atti di: DIDAMATICA 2018, Cesena, Italia, 19-20 aprile 2018) [Contributo in Atti di convegno]

Michael Lodi, Pensiero Computazionale: dalle "scuole di samba della computazione" ai CoderDojo (abstract), «MONDO DIGITALE», 2018, 77, pp. 1 - 1 [Abstract in rivista]

Corradini, Isabella; Lodi, Michael; Nardelli, Enrico, Coding and Programming, in: Proceedings of the 49th ACM Technical Symposium on Computer Science Education (SIGCSE '18), 2018, pp. 1074 - 1074 (atti di: Proceeding SIGCSE '18, Baltimore, Maryland, USA, February 21 - 24, 2018) [Poster]

Olivia LEVRINI, Eleonora BARELLI, Michael LODI, Giovanni RAVAIOLI, Giulia TASQUIER, Laura BRANCHETTI, Michela CLEMENTI, Paola FANTINI, Fabio FILIPPI, The perspective of complexity to futurize STEM education: an interdisciplinary module on Artificial Intelligence, in: GIREP-MPTL conference 2018, 2018, pp. 1 - 2 (atti di: GIREP-MPTL conference 2018, Donostia-San Sebastian, Spain, 9th - 13th July 2018) [Riassunto (Abstract)]

Sangiorgi, Davide; Xu, Xian, Trees from functions as processes, «LOGICAL METHODS IN COMPUTER SCIENCE», 2018, 14, pp. 1 - 41 [Articolo in rivista] Open Access

Roberto Gorrieri, Verification of finite-state machines: A distributed approach, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2018, 96, pp. 65 - 80 [Articolo in rivista]

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Eager functions as processes, in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18), N.Y., Association for Computing Machinery, 2018, pp. 364 - 373 (atti di: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, 2018) [Contributo in Atti di convegno] Open Access

Sangiorgi, Davide*, Bisimilarity via unique-solution techniques, in: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Aachen, CEUR-WS, 2018, 2243, pp. 7 - 11 (atti di: 19th Italian Conference on Theoretical Computer Science, ICTCS 2018, Urbino, 2018) [Contributo in Atti di convegno] Open Access

Laneve, Cosimo*, A lightweight deadlock analysis for programs with threads and reentrant locks, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2018, 10951, pp. 608 - 624 (atti di: 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, gbr, 2018) [Contributo in Atti di convegno]

Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi, A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning, in: Paolo Felli, Marco Montali, Paolo Felli, Marco Montali: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018, 2018, pp. 117 - 131 (atti di: 33rd Italian Conference on Computational Logic, Bolzano, September 20-22, 2018) [Contributo in Atti di convegno]

Laneve, Cosimo*; Garcia, Abel, Deadlock detection of java bytecode, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2018, 10855, pp. 37 - 53 (atti di: 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, bel, 2017) [Contributo in Atti di convegno]

Aguiari, Davide; Contoli, Chiara; Delnevo, Giovanni; Monti, Lorenzo*, Smart Mobility and Sensing: Case Studies Based on a Bike Information Gathering Architecture, in: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Springer Verlag, 2018, 233, pp. 112 - 121 (atti di: 3rd International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2017, ita, 2017) [Contributo in Atti di convegno]

Danilo Pianini, Ahmed Elzanaty, Andrea Giorgetti, Marco Chiani, Emerging Distributed Programming Paradigm for Cyber-Physical Systems Over LoRaWANs, in: IEEE, 2018 IEEE Globecom Workshops (GC Wkshps), IEEE, 2018, pp. 1 - 6 (atti di: 2018 IEEE Globecom Workshops (GC Wkshps), Abu Dhabi, 2018) [Contributo in Atti di convegno] Open Access

Ciaccia P., Multimedia Data Indexing, in: Encyclopedia of Database Systems (2nd ed.), New York, Springer, 2018, pp. 1 - 6 [Capitolo/Saggio in libro]

Flavio. Esposito; Jiayi Wang; C. Contoli; G. Davoli; W. Cerroni; F. Callegati, A Behavior-Driven Approach to Intent Specification for Software-Defined Infrastructure Management, in: 4th IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018, pp. 1 - 6 (atti di: 4th IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), Verona, Italy, 27-29 NOV. 2018) [Contributo in Atti di convegno] Open Access