Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2020 Elimina filtro

398 pubblicazioni

  • Lanese I.; Phillips I.; Ulidowski I., An Axiomatic Approach to Reversible Computation, in: FoSSaCS 2020: Foundations of Software Science and Computation Structures, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12077, pp. 442 - 461 (atti di: 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Ireland (suppressed due to covid), 2020) [Contributo in Atti di convegno] Open Access

  • Lanese I.; Medic D., A general approach to derive uncontrolled reversible semantics, in: 31st International Conference on Concurrency Theory (CONCUR 2020), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 171, pp. 1 - 24 (atti di: 31st International Conference on Concurrency Theory, CONCUR 2020, Austria (online causa covid), 2020) [Contributo in Atti di convegno] Open Access

  • 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: Artificial Intelligence in Education. AIED 2020, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12163, pp. 129 - 140 (atti di: 21st International Conference on Artificial Intelligence in Education, AIED 2020, Ifrane, Morocco, 2020) [Contributo in Atti di convegno] Open Access

  • 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