Pubblicazioni

A. Carbonaro, A Framework for Data and Concept Interoperability in Smart Mobility Systems, in: Proceedings of the ACM Annual International Conference on Mobile Computing and Networking, MOBICOM, 2019, pp. 39 - 42 (atti di: The 25th Annual International Conference on Mobile Computing and Networking, Los Cabos, Mexico, Oct 21-25) [Contributo in Atti di convegno]

Antonella Carbonaro, Good practices to influence engagement and learning outcomes on a traditional introductory programming course, «INTERACTIVE LEARNING ENVIRONMENTS», 2019, 27, pp. 919 - 926 [Articolo in rivista]

Dal Lago U.; Gavazzo F., Effectful Normal Form Bisimulation, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11423, pp. 263 - 292 (atti di: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, cze, 2019) [Contributo in Atti di convegno]

Dal Lago U.; Gavazzo F.; Yoshimizu A., Differential logical relations, Part I: The simply-typed case, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2019, 132, pp. 1 - 14 (atti di: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, 2019) [Contributo in Atti di convegno] Open Access

Durier, A; Hirschkoff, D; Sangiorgi, D, DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS, «LOGICAL METHODS IN COMPUTER SCIENCE», 2019, 15, pp. 12:1 - 12:34 [Articolo in rivista] Open Access

Maurilio Pirone, Niccolò Cuppini, Mattia Frapporti, Floriano Milesi, Cristina Mattiucci, Carlotta Benvegnù, Logistical Territories, Trento, professionaldreamers – associazione di promozione sociale e culturale, 2019, pp. 4 . [Curatela]

Maurilio Pirone, Mattia Frapporti, Niccolò Cuppini, Panorami logistici. Nuove geografie del mondo globalizzato. Introduzione, in: L'apporto della geografia tra rivoluzioni e riforme, Roma, Associazione Geografi Italiani, 2019, pp. 3323 - 3328 (atti di: L'apporto della geografia tra rivoluzioni e riforme, Roma, 7-10 giugno 2017) [Contributo in Atti di convegno]

Calegari, Roberta; Ciatto, Giovanni; Denti, Enrico; Omicini, Andrea, Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines, in: Internet and Distributed Computing Systems (IDCS 2019), Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11874, pp. 260 - 270 (atti di: International Conference on Internet and Distributed Computing Systems (IDCS 2019), Napoli, Italy, 10-12 ottobre 2019) [Contributo in Atti di convegno]

Debele S.E.; Kumar P.; Sahani J.; Marti-Cardona B.; Mickovski S.B.; Leo L.S.; Porcu F.; Bertini F.; Montesi D.; Vojinovic Z.; Di Sabatino S., Nature-based solutions for hydro-meteorological hazards: Revised concepts, classification schemes and databases, «ENVIRONMENTAL RESEARCH», 2019, 179, pp. 108799 - 108818 [Articolo in rivista] Open Access

Tim Bell; Michael Lodi, Constructing Computational Thinking Without Using Computers, «CONSTRUCTIVIST FOUNDATIONS», 2019, 14, pp. 342 - 351 [Articolo in rivista]

Tim Bell; Michael Lodi, Authors’ Response: Keeping the “Computation” in “Computational Thinking” Through Unplugged Activities, «CONSTRUCTIVIST FOUNDATIONS», 2019, 14, pp. 357 - 359 [Articolo in rivista]

Lodi M.; Malchiodi D.; Monga M.; Morpurgo A.; Spieler B., Constructionist attempts at supporting the learning of computer programming: A survey, «OLYMPIADS IN INFORMATICS», 2019, 13, pp. 99 - 121 [Articolo in rivista]

Lodi, Michael, Does Studying CS Automatically Foster a Growth Mindset?, in: ITiCSE '19 Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019, pp. 147 - 153 (atti di: 2019 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE '19), Aberdeen, Scozia, 15-17 Luglio 2019) [Contributo in Atti di convegno]

Ciatto, Giovanni; Calegari, Roberta; Omicini, Andrea; Calvaresi, Davide, Towards XMAS: eXplainability through Multi-Agent Systems, in: AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2019, 2502, pp. 40 - 53 (atti di: 1st Workshop "AI & IoT" @ AI*IA 2019, Rende, CS, Italy, 22/11/2019) [Contributo in Atti di convegno] Open Access

Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini, AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, Aachen, Sun SITE Central Europe, RWTH Aachen University, 2019, pp. 106 (CEUR WORKSHOP PROCEEDINGS). [Curatela]

Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino, Preface – AI&IoT 2019, in: AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, Aachen, Sun SITE Central Europe, RWTH Aachen University, 2019, pp. 0 - 0 (CEUR WORKSHOP PROCEEDINGS) [Prefazione]

Pasquale Cascarano, Francesco Corsini, Stefano Gandolfi, Emanuele Mandanici, Elena Loli Piccolomini, Luca Tavasci, Fabiana Zama, Super-Risoluzione di immagini termiche: confronto fra algoritmi “single image” e “multiple images”, in: Atti ASITA 2019, 2019, pp. 221 - 222 (atti di: Conferenza Nazionale ASITA 2019, Trieste, 12-14 Novembre 2019) [Riassunto (Abstract)]

Pous, D.; Sangiorgi, D., Bisimulation and Coinduction Enhancements: A Historical Perspective, «FORMAL ASPECTS OF COMPUTING», 2019, 31, pp. 733 - 749 [Articolo in rivista] Open Access

Sangiorgi, D., Asynchronous π -calculus at Work: The Call-by-Need Strategy, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., Cham, Switzerland, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11760, pp. 33 - 49 (atti di: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Paris, 4 November 2019) [Contributo in Atti di convegno] Open Access

Roli, Andrea; Ligot, Antoine; Birattari, Mauro, Complexity Measures: Open Questions and Novel Opportunities in the Automatic Design and Analysis of Robot Swarms, «FRONTIERS IN ROBOTICS AND AI», 2019, 6, pp. 1 - 8 [Articolo in rivista] Open Access