Publications

Andrea Omicini; Stefano Mariani, Multi-Agent Systems 2019, Basel, MDPI, 2020, pp. 263 . [Editorship] Open Access
R. Cavicchioli, J. Cheng Hu, E. Loli Piccolomini, E. Morotti, L. Zanni, GpU acceleration of a model-based iterative method for Digital Breast tomosynthesis, «SCIENTIFIC REPORTS», 2020, 10, pp. 1 - 10 [Scientific article] Open Access
Loli Piccolomini, Elena; Zama, Fabiana, Monitoring Italian COVID-19 spread by a forced SEIRD model, «PLOS ONE», 2020, 15, pp. 1 - 17 [Scientific article] Open Access
Bravetti M.; Francalanza A.; Golovanov I.; Huttel H.; Jakobsen M.S.; Kettunen M.K.; Ravara A., Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Berlin, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12470, pp. 105 - 124 (atti di: 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, Fukuoka, Japan, November 30-December 2, 2020) [Contribution to conference proceedings] Open Access
CEYLAN İSMAIL, İlkan; Lukasiewicz, Thomas; Malizia, E; Molinaro, Cristian; Vaicenavičius, Andrius, Explanations for Negative Query Answers under Existential Rules, in: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), IJCAI Organization, «PROCEEDINGS INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING», 2020, pp. 223 - 232 (atti di: KR 2020, Rhodes, Greece - Online, 12/09/2020 - 18/09/2020) [Contribution to conference proceedings] Open Access
CEYLAN İSMAIL, İlkan; Lukasiewicz, Thomas; Malizia, E; Vaicenavičius, Andrius, Explanations for Ontology-Mediated Query Answering in Description Logics, in: Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2020, 325, pp. 672 - 679 (atti di: 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020, Santiago de Compostela, Spain - Online, 29/08/2020 - 08/09/2020) [Contribution to conference proceedings] Open Access
Lukasiewicz, Thomas; Malizia, E; Molinaro, Cristian, Explanations for Inconsistency-Tolerant Query Answering under Existential Rules, in: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI-20), «PROCEEDINGS OF THE ... AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE», 2020, pp. 2909 - 2916 (atti di: AAAI 2020, New York City - USA, 7/02/2020 - 12/02/2020) [Contribution to conference proceedings]
CEYLAN İSMAIL İLKAN; LUKASIEWICZ THOMAS; MALIZIA E; VAICENAVIČIUS ANDRIUS, Explanations for Ontology-Mediated Query Answering in Description Logics (Extended Abstract), in: Proceedings of the 33rd International Workshop on Description Logics (DL 2020), 2020, pp. 1 - 3 (atti di: DL 2020, Rhodes, Greece - Online, 12/09/2020 - 14/09/2020) [Abstract]
Trotta A.; Montecchiari L.; Di Felice M.; Bononi L., A GPS-Free Flocking Model for Aerial Mesh Deployments in Disaster-Recovery Scenarios, «IEEE ACCESS», 2020, 8, pp. 91558 - 91573 [Scientific article] Open Access
Montori F.; Bedogni L.; Fiandrino C.; Capponi A.; Bononi L., Performance evaluation of hybrid crowdsensing systems with stateful CrowdSenSim 2.0 simulator, «COMPUTER COMMUNICATIONS», 2020, 161, pp. 225 - 237 [Scientific article] Open Access
Bellavista P.; Giannelli C.; Montenero D.D.P.; Poltronieri F.; Stefanelli C.; Tortonesi M., HOlistic pRocessing and NETworking (HORNET): An Integrated Solution for IoT-Based Fog Computing Services, «IEEE ACCESS», 2020, 8, pp. 66707 - 66721 [Scientific article] Open Access
Mansoor Nasir; Khan Muhammad; Paolo Bellavista; Mi Young Lee; Muhammad Sajjad, Prioritization and Alert Fusion in Distributed IoT Sensors Using Kademlia Based Distributed Hash Tables, «IEEE ACCESS», 2020, 8, pp. 175194 - 175204 [Scientific article] Open Access
Bellavista P.; Ota K.; Lv Z.; Mehmood I.; Rho S., Towards smarter cities: Learning from Internet of Multimedia Things-generated big data, «FUTURE GENERATION COMPUTER SYSTEMS», 2020, 108, pp. 879 - 881 [Scientific article] Open Access
Hamza R.; Yan Z.; Muhammad K.; Bellavista P.; Titouna F., A privacy-preserving cryptosystem for IoT E-healthcare, «INFORMATION SCIENCES», 2020, 527, pp. 493 - 510 [Scientific article] Open Access
Isam M. Al Jawarneh; Bellavista P.; Corradi A.; Foschini L.; Montanari R., Big Spatial Data Management for the Internet of Things: A Survey, «JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT», 2020, 28, pp. 990 - 1035 [Scientific article] Open Access
Bellavista P.; Dolci A.; Giannelli C.; Padalino Montenero D.D., SDN-Based Traffic Management Middleware for Spontaneous WMNs, «JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT», 2020, 28, pp. 1575 - 1609 [Scientific article] Open Access
Bellavista P.; Giannelli C.; Montenero D.D.P., A Reference Model and Prototype Implementation for SDN-Based Multi Layer Routing in Fog Environments, «IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT», 2020, 17, pp. 1460 - 1473 [Scientific article] Open Access
Chiara Panciroli; Pier Cesare Rivoltella; Maurizio Gabbrielli; Olaf Zawacki-Richter;, Artificial Intelligence and education: new research perspectives = Intelligenza artificiale e educazione: nuove prospettive di ricerca, «FORM@RE», 2020, 20, pp. 1 - 12 [Scientific article] Open Access
Michael Goldweber; Renzo Davoli, Student Guide to the Pandos Project, Morrisville, North Carolina, United States, Lulu book, 2020, pp. 99 . [Research monograph]
Kohlhase M.; Rabe F.; Sacerdoti Coen C.; Schaefer J.F., Logic-Independent Proof Search in Logical Frameworks: (Short Paper), 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, 12166, pp. 395 - 401 (atti di: 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Paris, 01-04/07/2020) [Contribution to conference proceedings]