Pubblicazioni

Aman B.; Ciobanu G.; Gluck R.; Kaarsgaard R.; Kari J.; Kutrib M.; Lanese I.; Mezzina C.A.; Mikulski L.; Nagarajan R.; Phillips I.; Pinna G.M.; Prigioniero L.; Ulidowski I.; Vidal G., Foundations of reversible computation, in: Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405, Cham, Springer, 2020, pp. 1 - 40 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro] Open Access

Mezzina C.A.; Schlatte R.; Gluck R.; Haulund T.; Hoey J.; Holm Cservenka M.; Lanese I.; Mogensen T.AE.; Siljak H.; Schultz U.P.; Ulidowski I., Software and reversible systems: A survey of recent activities, in: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, Cham, Springer, 2020, pp. 41 - 59 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro] Open Access

Hoey J.; Lanese I.; Nishida N.; Ulidowski I.; Vidal G., A case study for reversible computing: Reversible debugging of concurrent programs, in: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, Cham, Springer, 2020, pp. 108 - 127 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro] Open Access

Bosi, Filippo; Corradi, Antonio; Di Modica, Giuseppe; Foschini, Luca; Montanari, Rebecca; Patera, Lorenzo; Solimando, Michele, Enabling Smart Manufacturing by Empowering Data Integration with Industrial IoT Support, in: 2020 International Conference on Technology and Entrepreneurship (ICTE), 2020, pp. 1 - 8 (atti di: 2020 International Conference on Technology and Entrepreneurship (ICTE), Bologna, 21-23 Settembre 2020) [Contributo in Atti di convegno] Open Access

Roli, Andrea; Kauffman, Stuart A., Emergence of Organisms, «ENTROPY», 2020, 22, pp. 1163 - 1174 [Articolo in rivista] Open Access

Del Bonifro F.; Gabbrielli M.; Lisanti G.; Zingaro S.P., Student dropout prediction, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12163, pp. 129 - 140 (atti di: 21st International Conference on Artificial Intelligence in Education, AIED 2020, mar, 2020) [Contributo in Atti di convegno]

Dina Guglielmi, Elena Luppi, Barbara Neri, Enrico Sangiorgi, Paola Salomoni, Ira Vannini, La ricerca formazione per l’innovazione della didattica universitaria, in: Faculty Development in Italia Valorizzazione delle competenze didattiche dei docenti universitari, Genova, Genova University Press, 2020, pp. 133 - 147 [Capitolo/Saggio in libro] Open Access

Arnaud Ceol, Piero Montanari, Ilaria Bartolini, Stefano Ceri, Paolo Ciaccia, Marco Patella, Marco Masseroli, Search and comparison of (epi)genomic feature patterns in multiple genome browser tracks, «BMC BIOINFORMATICS», 2020, 21, pp. 1 - 13 [Articolo in rivista] Open Access

Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, From Agents to Blockchain: Stairway to Integration, «APPLIED SCIENCES», 2020, 10, pp. 1 - 22 [Articolo in rivista] Open Access

Shin'ichi Satoh, Lucia Vadicamo, Arthur Zimek, Fabio Carrara, Ilaria Bartolini, Martin Aumüller, Björn Þór Jónsson, Rasmus Pagh (a cura di): Shin'ichi Satoh, Lucia Vadicamo, Arthur Zimek, Fabio Carrara, Ilaria Bartolini, Martin Aumüller, Björn Þór Jónsson, Rasmus Pagh, Similarity Search and Applications - 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020, Proceedings., Gewerbestrasse, Springer, Cham, 2020, pp. 414 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

I. Bartolini, M. Patella, Rammed, or What RAM^3S Taught Us, in: Proceedings Series by ACM of 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS2020), New York, Association for Computing Machinery, 2020, pp. 11 - 15 (atti di: 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS2020), Chiang Mai, Thailand, 30 November - 2 December 2020) [Contributo in Atti di convegno]

Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor, Arg-tuProlog: A tuProlog-based argumentation framework, in: CILC 2020 – Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic, Aachen, CEUR-WS c/o Redaktion Sun SITE, Informatik V, RWTH Aachen, «CEUR WORKSHOP PROCEEDINGS», 2020, 2719, pp. 51 - 66 (atti di: CILC 2020 – Italian Conference on Computational Logic, Rende, CS, Italy, 13-15 October 2020) [Contributo in Atti di convegno] Open Access

Bortoli M.; Furini M.; Mirri S.; Montangero M.; Prandi C., Conversational Interfaces for a Smart Campus: A Case Study, in: ACM International Conference Proceeding Series, ;2 Penn Plaza, Suite 701, Association for Computing Machinery, 2020, pp. 1 - 5 (atti di: 2020 International Conference on Advanced Visual Interfaces, AVI 2020, Island of Ischia, ita, 2020) [Contributo in Atti di convegno]

Monti L.; Vincenzi M.; Mirri S.; Pau G.; Salomoni P., Raveguard: A noise monitoring platform using low-end microphones and machine learning, «SENSORS», 2020, 20, pp. 1 - 23 [Articolo in rivista] Open Access

Bucchiarone A.; Dangelo M.; Pianini D.; Cabri G.; De Sanctis M.; Viroli M.; Casadei R.; Dobson S., On the Social Implications of Collective Adaptive Systems, «IEEE TECHNOLOGY & SOCIETY MAGAZINE», 2020, 39, pp. 36 - 46 [Articolo in rivista] Open Access

Casadei R.; Viroli M.; Ricci A., Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time, in: 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Los Alamitos, IEEE, 2020, pp. 139 - 144 (atti di: 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2020, Washington, DC, USA, Aug 17, 2020 - Aug 21, 2020) [Contributo in Atti di convegno] Open Access

Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini, Engineering Semantic Self-composition of Services Through Tuple-Based Coordination, in: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, Cham, Springer International Publishing, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12477, pp. 205 - 223 (atti di: 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Rhodes, Greece, 20-30 October 2020) [Contributo in Atti di convegno] Open Access

Ottavi G.; Garofalo A.; Tagliavini G.; Conti F.; Benini L.; Rossi D., A mixed-precision RISC-V processor for extreme-edge DNN inference, in: Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI, IEEE Computer Society, «PROCEEDINGS IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI», 2020, 2020-, pp. 512 - 517 (atti di: 19th IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2020, Cyprus, 2020) [Contributo in Atti di convegno] Open Access

Mambelli G.; Prandi C.; Mirri S., What influences sentiment analysis on social networks: A case study, in: Proceedings - IEEE Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS», 2020, 2020-, pp. 1 - 6 (atti di: 2020 IEEE Symposium on Computers and Communications, ISCC 2020, fra, 2020) [Contributo in Atti di convegno]

Furini M.; Mirri S.; Montangero M.; Prandi C., Untangling between fake-news and truth in social media to understand the Covid-19 Coronavirus, in: Proceedings - IEEE Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS», 2020, 2020-, pp. 1 - 6 (atti di: 2020 IEEE Symposium on Computers and Communications, ISCC 2020, fra, 2020) [Contributo in Atti di convegno]