Go to the University of Bologna homepage
Department of Computer Science and Engineering

Publications

  • Roberto Gorrieri, A Study on Team Bisimulations for BPP nets, in: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Heidelberg, Springer, 2020, pp. 153 - 175 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

  • Roberto Gorrieri, Interleaving vs True Concurrency: Some Instructive Security Examples, in: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Heidelberg, Springer, 2020, pp. 131 - 152 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

  • Bosello M.; Delnevo G.; Mirri S., On exploiting Gamification for the Crowdsensing of Air Pollution: A Case Study on a Bicycle-based System, in: ACM International Conference Proceeding Series, ;2 Penn Plaza, Suite 701, Association for Computing Machinery, 2020, pp. 205 - 210 (atti di: 6th EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2020, mex, 2020) [Contribution to conference proceedings]

  • Ceccarini C.; Mirri S.; Prandi C.; Salomoni P., A data visualization exploration to facilitate a sustainable usage of premises in a Smart Campus context, in: ACM International Conference Proceeding Series, ;2 Penn Plaza, Suite 701, Association for Computing Machinery, 2020, pp. 24 - 29 (atti di: 6th EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2020, mex, 2020) [Contribution to conference proceedings]

  • Furini M.; Mirri S.; Montangero M.; Prandi C., On the Usage of Smart Speakers during the Covid-19 Coronavirus Lockdown, in: ACM International Conference Proceeding Series, ;2 Penn Plaza, Suite 701, Association for Computing Machinery, 2020, pp. 187 - 192 (atti di: 6th EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2020, mex, 2020) [Contribution to conference proceedings]

  • Gaggi O.; Kolasinska A.B.; Mirri S.; Prandi C., The new classmate: An exploration of how CoVid-19 affected primary schools activities in Italy, in: ACM International Conference Proceeding Series, ;2 Penn Plaza, Suite 701, Association for Computing Machinery, 2020, pp. 36 - 41 (atti di: 6th EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2020, mex, 2020) [Contribution to conference proceedings]

  • Tse R.; Mirri S.; Tang S.-K.; Pau G.; Salomoni P., Building an Italian-Chinese Parallel Corpus for Machine Translation from the Web, in: ACM International Conference Proceeding Series, ;2 Penn Plaza, Suite 701, Association for Computing Machinery, 2020, pp. 265 - 268 (atti di: 6th EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2020, mex, 2020) [Contribution to conference proceedings]

  • Tse R.; Monti L.; Im M.; Mirri S.; Pau G.; Salomoni P., Deepclass: Edge based class occupancy detection aided by deep learning and image cropping, in: Proceedings of SPIE - The International Society for Optical Engineering, SPIE, «PROCEEDINGS OF SPIE, THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING», 2020, 11519, pp. 13 - 20 (atti di: 12th International Conference on Digital Image Processing, ICDIP 2020, jpn, 2020) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings] 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) [Contribution to conference proceedings] 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) [Chapter or essay] 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) [Chapter or essay] 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) [Chapter or essay] 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) [Contribution to conference proceedings] Open Access

  • Roli, Andrea; Kauffman, Stuart A., Emergence of Organisms, «ENTROPY», 2020, 22, pp. 1163 - 1174 [Scientific article] 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) [Contribution to conference proceedings] 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 [Chapter or essay] 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 [Scientific article] Open Access

  • Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, From Agents to Blockchain: Stairway to Integration, «APPLIED SCIENCES», 2020, 10, pp. 1 - 22 [Scientific article] 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). [Editorship]