Pubblicazioni

  • Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal, On a Higher-Order Calculus of Computational Fields, in: Formal Techniques for Distributed Objects, Components, and Systems, Heideberg, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11535, pp. 289 - 292 (atti di: 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, dnk, 2019) [Contributo in Atti di convegno]

  • Danilo Pianini, Roberto Casadei, Mirko Viroli:, Security in collective adaptive systems: A roadmap, in: Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 86 - 91 (atti di: 4th IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, swe, 2019) [Contributo in Atti di convegno]

  • Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli:, On context-orientation in aggregate programming, in: Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 92 - 97 (atti di: 4th IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Umea, Sweden, 16-20 June 2019) [Contributo in Atti di convegno]

  • Lanese, I.; Sangiorgi, D.; Zavattaro, G., Playing with bisimulation in erlang, in: Models, Languages, and Tools for Concurrent and Distributed Programming., Cham, Springer Verlag, 2019, pp. 71 - 91 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [Capitolo/Saggio in libro] Open Access

  • de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G., Analysis of SLA compliance in the cloud: An automated, model-based approach, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2019, 302, pp. 1 - 15 (atti di: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018, Amsterdam, Olanda, 2018) [Contributo in Atti di convegno] Open Access

  • Branchetti, Laura; Levrini, Olivia; Barelli, Eleonora; Lodi, Michael; Ravaioli, Giovanni; Rigotti, Laura; Satanassi, Sara; Tasquier, Giulia, STEM analysis of a module on Artificial Intelligence for high school students designed within the I SEE Erasmus+ Project, in: Eleventh Congress of the European Society for Research in Mathematics Education, Freudenthal Group, 2019, TWG26, pp. 4747 - 4748 (atti di: Eleventh Congress of the European Society for Research in Mathematics Education, Utrecht, The Nederlands, 5-10 Febbraio 2019) [Contributo in Atti di convegno]

  • Dal Lago U.; Hoshino N., The Geometry of Bayesian Programming, in: Proceedings of the 34th Symposium on Logic in Computer Science (LICS), IEEE, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2019, 2019-, pp. 1 - 13 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contributo in Atti di convegno]

  • Kobayashi, N.; Dal Lago, U.; Grellois, C., On the termination problem for probabilistic higher-order recursive programs, in: Proceedings of the 34th Symposium on Logic in Computer Science (LICS), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2019, 2019-, pp. 1 - 12 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contributo in Atti di convegno] Open Access

  • Isam Mashhour Al Jawarneh, Paolo Bellavista, Filippo Bosi, Luca Foschini, Giuseppe Martuscelli, Rebecca Montanari, Amedeo Palopoli, Container Orchestration Engines: A Thorough Functional and Performance Comparison, in: Proceedings of 2019 IEEE International Conference on Communications (ICC), 2019, pp. 1 - 6 (atti di: ICC 2019 - 2019 IEEE International Conference on Communications (ICC), Shanghai, China, 20-24 May 2019) [Contributo in Atti di convegno]

  • Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti, Crumbling Abstract Machines, in: PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 2019, pp. 1 - 15 (atti di: 21st International Symposium on Principles and Practice of Programming Languages, Porto, 7-9/10/2019) [Contributo in Atti di convegno]

  • Condoluci, Andrea; Accattoli, Beniamino; Coen, Claudio Sacerdoti, Sharing Equality is Linear, in: PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 2019, pp. 1 - 14 (atti di: 21st International Symposium on Principles and Practice of Programming Languages 2019, Porto, 7-9/10/2019) [Contributo in Atti di convegno]

  • Scotece D.; Paiker N.R.; Foschini L.; Bellavista P.; Ding X.; Borcea C., MEFS: Mobile edge file system for edge-assisted mobile apps, in: 20th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks, WoWMoM 2019, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 1 - 9 (atti di: 20th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks, WoWMoM 2019, Residence Inn by Marriott Arlington Pentagon City, usa, 2019) [Contributo in Atti di convegno]

  • Bellavista P.; Corradi A.; Foschini L.; Scotece D., Differentiated service/data migration for edge services leveraging container characteristics, «IEEE ACCESS», 2019, 7, pp. 139746 - 139758 [Articolo in rivista] Open Access

  • Paolo Bellavista, Periklis Chatzimisios, Luca Foschini, Marianna Paradisioti, Domenico Scotece, A Support Infrastructure for Machine Learning at the Edge in Smart City Surveillance, in: 2019 IEEE Symposium on Computers and Communications (ISCC), 2019, pp. 1189 - 1194 (atti di: 2019 IEEE Symposium on Computers and Communications (ISCC), Barcelona, Spain, Spain, 29 June-3 July 2019) [Contributo in Atti di convegno]

  • Avanzini Martin; Dal Lago U.; Ghyselen A., Type-based complexity analysis of probabilistic functional programs, in: Proceedings of the 34th Symposium on Logic in Computer Science, IEEE, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2019, 2019-, pp. 1 - 13 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contributo in Atti di convegno]

  • Queiroz J.C.F.; Bonani L.H.; Cerroni W.; Callegati F., Inter-Routes Fairness Strategies Inspired by Trunk Reservation Technique, «IEEE COMMUNICATIONS LETTERS», 2019, 23, pp. 2284 - 2287 [Articolo in rivista]

  • Cerroni, W.; Foschini, L.; Grabarnik, G. Y.; Shwartz, L.; Tortonesi, M., What-if Scenario Analysis for IT Services in Hybrid Cloud Environments with BDMaaS+, in: 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019, 2019, pp. 62 - 70 (atti di: 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019, Washington DC, USA, 2019) [Contributo in Atti di convegno]

  • Mattia Frapporti, Verso l'integrazione europea. Jean Monnet tra infrastrutture e governance logistica, «SCIENZA & POLITICA», 2019, 31, pp. 203 - 227 [Articolo in rivista] Open Access

  • Mattia Frapporti, Uno sguardo logistico sull'Europa unita. Per una nuova storia dell'integrazione continentale, in: Un mondo logistico. Sguardi critici su lavoro, migrazioni, politica e globalizzazione, Milano, Ledizioni, 2019, pp. 29 - 43 [Capitolo/Saggio in libro]

  • Ben Hamadou, H.; Gallinucci, E.; Golfarelli, M., Answering GPSJ queries in a polystore: A dataspace-based approach, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11788, pp. 189 - 203 (atti di: 38th International Conference on Conceptual Modeling, ER 2019, Salvador, Bahia, Brazil, 2019) [Contributo in Atti di convegno]