Pubblicazioni

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

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

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

Lopez-Lopez, Eric; V. Regueiro, Carlos; M. Pardo, Xosé; Franco, Annalisa; Lumini, Alessandra, Incremental Learning Techniques Within a Self-updating Approach for Face Verification in Video-Surveillance, in: Pattern Recognition and Image Analysis, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11868, pp. 25 - 37 (atti di: Iberian Conference on Pattern Recognition and Image Analysis, Madrid, Spain, 01/07/2019 - 04/07/2019) [Contributo in Atti di convegno]

Mazzini, Lisa; Franco, A.; Maltoni, D., Gesture recognition by leap motion controller and LSTM networks for CAD-oriented interfaces, 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, 11751, pp. 185 - 195 (atti di: 20th International Conference on Image Analysis and Processing, ICIAP 2019, ita, 2019) [Contributo in Atti di convegno]

Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor, Defeasible Systems in Legal Reasoning: A Comparative Assessment, in: Legal Knowledge and Information Systems. JURIX 2019: The Thirty-second Annual Conference, Amsterdam, IOS Press, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2019, 322, pp. 169 - 174 (atti di: 32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019), Madrid, Spain, 11-13 December 2019) [Contributo in Atti di convegno] Open Access

Amadini R.; Andrlon M.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., Constraint Programming for Dynamic Symbolic Execution of JavaScript, in: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11494, pp. 1 - 19 (atti di: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, grc, 2019) [Contributo in Atti di convegno]

Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J., Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Cham, Springer, 2019, pp. 118 - 138 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [Capitolo/Saggio in libro] Open Access

Netti, Alessio; Kiziltan, Zeynep; Babaoglu, Ozalp; Sîrbu, Alina; Bartolini, Andrea; Borghesi, Andrea, Online Fault Classification in HPC Systems Through Machine Learning, in: Proceedings of the 25th European Conference on Parallel Processing, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11725, pp. 3 - 16 (atti di: European Conference on Parallel Processing, Göttingen, Germany, August 26–30, 2019) [Contributo in Atti di convegno]

Borghesi, Andrea; Milano, Michela; Benini, Luca, Frequency Assignment in High Performance Computing Systems, in: Proceedings of the XVIIIth International Conference of the Italian Association for Artificial Intelligence, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11946, pp. 151 - 164 (atti di: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019) [Contributo in Atti di convegno]

G. Cappiello, L. Casini, G. delnevo, M. Roccetti, Human matters: una applicazione di machine Learning alla fornitura di servizi, in: Referred Electronic Conference Proceedings of Sinergie - SIMA Management Conference - Management and Sustainability: Creating shared value in the digital era, Roma, Sinergie, 2019, pp. 313 - 316 (atti di: Sinergie-SIMA 2019 Conference - Management and Sustainability: Creating shared value in the digital era, Roma, Italy, 20-21 Giugno 2019) [Riassunto (Abstract)]