Pubblicazioni

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]

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]

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]

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]

Asprino L.; Beek W.; Ciancarini P.; van Harmelen F.; Presutti V., Observing LOD Using Equivalent Set Graphs: It Is Mostly Flat and Sparsely Linked, in: The Semantic Web – ISWC, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11778, pp. 57 - 74 (atti di: 18th International Semantic Web Conference, ISWC 2019, nzl, 2019) [Contributo in Atti di convegno]

Laneve C.; Padovani L., Deadlock Analysis of Wait-Notify Coordination, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Cham, Springer Verlag, «LECTURE NOTES IN BIOINFORMATICS», 2019, 11760, pp. 50 - 67 (atti di: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Parigi, 4-5 Novembre 2019) [Contributo in Atti di convegno] Open Access

De Filippo, Allegra; Lombardi, Michele; Milano, Michela, How to Tame Your Anticipatory Algorithm, in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, pp. 1071 - 1077 (atti di: International Joint Conference on Artificial Intelligence, Macao, Agosto 2019) [Contributo in Atti di convegno]

Al Jawarneh I.M.; Bellavista P.; Foschini L.; Montanari R.; Berrocal J.; Murillo J.M., Toward privacy-aware healthcare data fusion systems, in: Communications in Computer and Information Science, Springer Verlag, «COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE», 2019, 1016, pp. 26 - 37 (atti di: 1st International Workshop on Gerontechnology, IWoG 2018, prt, 2018) [Contributo in Atti di convegno]

Chisca D.S.; Lombardi M.; Milano M.; O'Sullivan B., Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem, 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, 11802, pp. 108 - 125 (atti di: 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, usa, 2019) [Contributo in Atti di convegno]

Chisca D.S.; Lombardi M.; Milano M.; O'Sullivan B., A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11494, pp. 146 - 162 (atti di: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, grc, 2019) [Contributo in Atti di convegno]

Celia da Costa Pereira, Sara Bevilacqua, Eric Guerci, Frederic Precioso, Claudio Sartori, A Co-evolutionary Approach to Analyzing the Impact of Rationality on the Italian Electricity Market, in: PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11873, pp. 235 - 250 (atti di: PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Torino, 28/10/2019) [Contributo in Atti di convegno]

Dal Lago, Ugo; de Visme, Marc; Mazza, Damiano; Yoshimizu, Akira, Intersection types and runtime errors in the pi-calculus, in: Proceedings of the 2019 Symposium on Principles of Programming Languages (POPL), 2019, 3, pp. 1 - 29 (atti di: ACM-SIGACT Symposium on Principles of Programming Languages (POPL), Cascais, Portogallo, 13-19 Gennaio 2019) [Contributo in Atti di convegno]