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

Pubblicazioni

2020 Elimina filtro

417 pubblicazioni

  • De Filippo A.; Lombardi M.; Milano M., Hybrid offline/online optimization under uncertainty, in: Frontiers in Artificial Intelligence and Applications, IOS Press BV, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2020, 325, pp. 2899 - 2900 (atti di: 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020, esp, 2020) [Contributo in Atti di convegno] Open Access

  • Spezialetti, Riccardo; Salti, Samuele; Di Stefano, Luigi; Tombari, Federico, 3D Local Descriptors—from Handcrafted to Learned, in: 3D Imaging, Analysis and Applications, Cham, Springer, 2020, pp. 319 - 352 [Capitolo/Saggio in libro] Open Access

  • Floris, Alessandro; Girau, Roberto; Porcu, Simone; Pettorru, Giovanni; Atzori, Luigi, Implementation of a Magnetometer based Vehicle Detection System for Smart Parking applications, in: IEEE International Smart Cities Conference (ISC2), 2020, pp. 1 - 7 (atti di: IEEE International Smart Cities Conference (ISC2), Piscataway, NJ, USA, 28 September - 1 October) [Contributo in Atti di convegno]

  • Roberto Girau; Matteo Anedda; Mauro Fadda; Massimo Farina; Alessandro Floris; Mariella Sole; Daniele giusto, Coastal Monitoring System based on Social Internet of Things Platform, «IEEE INTERNET OF THINGS JOURNAL», 2020, 7, pp. 1260 - 1272 [Articolo in rivista] Open Access

  • Jawarneh I.M.A.; Bellavista P.; Corradi A.; Foschini L.; Montanari R., Spatially Representative Online Big Data Sampling for Smart Cities, in: IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, CAMAD, Institute of Electrical and Electronics Engineers Inc., «... IEEE ... INTERNATIONAL WORKSHOP ON COMPUTER AIDED MODELING AND DESIGN OF COMMUNICATION LINKS AND NETWORKS», 2020, 2020-, pp. 1 - 6 (atti di: 25th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, CAMAD 2020, ita, 2020) [Contributo in Atti di convegno]

  • Feraudo A.; Yadav P.; Safronov V.; Popescu D.A.; Mortier R.; Wang S.; Bellavista P.; Crowcroft J., CoLearn: Enabling federated learning in MUD-compliant IoT edge networks, in: EdgeSys 2020 - Proceedings of the 3rd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2020, Association for Computing Machinery, 2020, pp. 25 - 30 (atti di: 3rd ACM International Workshop on Edge Systems, Analytics and Networking, in conjunction with ACM EuroSys 2020, grc, 2020) [Contributo in Atti di convegno]

  • Herrera, Juan Luis; Bellavista, Paolo; Foschini, Luca; Galan-Jimenez, Jaime; Murillo, Juan M.; Berrocal, Javier, Meeting Stringent QoS Requirements in IIoT-based Scenarios, in: GLOBECOM 2020 - 2020 IEEE Global Communications Conference, «... IEEE GLOBAL COMMUNICATIONS CONFERENCE», 2020, pp. 1 - 6 (atti di: IEEE Conference and Exhibition on Global Telecommunications, GLOBECOM 2020, Online, Dicembre 2020) [Contributo in Atti di convegno] Open Access

  • Jawarneh, Isam Mashhour Al; Bellavista, Paolo; Corradi, Antonio; Foschini, Luca; Montanari, Rebecca, Locality-Preserving Spatial Partitioning for Geo Big Data Analytics in Main Memory Frameworks, in: Proceedings of IEEE GlobeCom, 2020, pp. 1 - 6 (atti di: IEEE GLOBECOM 2020, Online, Dicembre 2020) [Contributo in Atti di convegno]

  • Bellavista P.; Giannelli C.; Montenero D.D.P., Multi Layer Routing in SDN-enabled Fog Environments, in: IEEE International Conference on Communications, Institute of Electrical and Electronics Engineers Inc., «IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS», 2020, 2020-, pp. 1 - 7 (atti di: 2020 IEEE International Conference on Communications, ICC 2020, Convention Centre Dublin, irl, 2020) [Contributo in Atti di convegno]

  • Bellavista P.; Penna R.D.; Foschini L.; Scotece D., Machine Learning for Predictive Diagnostics at the Edge: An IIoT Practical Example, in: ICC 2020 - 2020 IEEE International Conference on Communications (ICC), Institute of Electrical and Electronics Engineers Inc., «IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS», 2020, pp. 1 - 7 (atti di: IEEE International Conference on Communications, ICC 2020, Convention Centre Dublin, irl, 07-11 June 2020) [Contributo in Atti di convegno] Open Access

  • Venanzi R.; Montori F.; Bellavista P.; Foschini L., Industry 4.0 Solutions for Interoperability: A Use Case about Tools and Tool Chains in the Arrowhead Tools Project, in: Proceedings - 2020 IEEE International Conference on Smart Computing, SMARTCOMP 2020, Institute of Electrical and Electronics Engineers Inc., 2020, pp. 428 - 433 (atti di: 6th IEEE International Conference on Smart Computing, SMARTCOMP 2020, ita, 2020) [Contributo in Atti di convegno] Open Access

  • Aguilar Igartua, Monica; Bellavista, Paolo; Loureiro, Antonio A.F.; Giannelli, Carlo, MSWiM'20: 23rd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (Alicante, Spain, November 16-20, 2020), in: Proceedings of ACM MSWiM 2020, New York, ACM, 2020, pp. 1 - 4 [Breve introduzione]

  • Ricci, Alessandro; Croatti, Angelo; Bordini, Rafael H.; Hübner, Jomi F.; Boissier, Olivier, Exploiting Simulation for MAS Development and Execution—The JaCaMo-Sim Approach, in: Engineering Multi-Agent Systems, Springer International Publishing, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12589, pp. 42 - 60 (atti di: EMAS: International Workshop on Engineering Multi-Agent Systems, Auckland, New Zealand, May 8–9, 2020) [Contributo in Atti di convegno]

  • Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M., Field-based coordination with the share operator, «LOGICAL METHODS IN COMPUTER SCIENCE», 2020, 16, pp. 1 - 41 [Articolo in rivista] Open Access

  • Casadei R.; Viroli M.; Audrito G.; Damiani F., FScaFi : A Core Calculus for Collective Adaptive Systems Programming, in: ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, Heidebeld, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12477, pp. 344 - 360 (atti di: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Rhodes, Greece, 20-30 October 2020) [Contributo in Atti di convegno] Open Access

  • Accattoli B.; Dal Lago U.; Vanoni G., The machinery of interaction, in: ACM International Conference Proceeding Series, New York, Association for Computing Machinery, 2020, pp. 1 - 15 (atti di: 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of 2020 Bologna Federated Conference on Programming Languages, BOPL 2020, ita, 2020) [Contributo in Atti di convegno] Open Access

  • Barak B.; Crubille R.; Dal Lago U., On higher-order cryptography, in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 168, pp. 1 - 16 (atti di: 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, deu, 2020) [Contributo in Atti di convegno] Open Access

  • Ronchi Della Rocca S.; Dal Lago U.; Faggian C., Solvability in a probabilistic setting, in: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 167, pp. 1 - 17 (atti di: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, fra, 2020) [Contributo in Atti di convegno] Open Access

  • Dal Lago U.; Guerrieri G.; Heijltjes W., Decomposing Probabilistic Lambda-Calculi, in: Foundations of Software Science and Computation Structures. 23rd International Conference, FOSSACS 2020., Cham, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12077, pp. 136 - 156 (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, irl, 2020) [Contributo in Atti di convegno] Open Access

  • Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, A Survey on Microservices Security: Preliminary Findings, in: Microservices 2020, 2020, pp. 1 - 3 (atti di: Microservices 2020, Bologna (IT), 7-10 September 2020) [Riassunto (Abstract)]