Pubblicazioni

Bujari, A.; Conti, M.; De Francesco, C.; Palazzi, C.E., Fast multi-hop broadcast of alert messages in VANETs: An analytical model, «AD HOC NETWORKS», 2019, 82, pp. 126 - 133 [Articolo in rivista]

Bujari, Armir; Palazzi, C.E; Perale, Dilan, Addressing bandwidth demand in full-immersive virtual reality, in: Proceedings of the 5th EAI International Conference on Smart Objects and Technologies for Social Good, 2019, pp. 13 - 18 (atti di: 5th EAI International Conference on Smart Objects and Technologies for Social Good, Valencia, Spain, September 2019) [Contributo in Atti di convegno]

Quadrio, Giacomo; Bujari, Armir; Gaggi, Ombretta; Palazzi, C.E, New interactive VR/AR Media: A challenge worth to address, in: Proceedings of the 5th EAI International Conference on Smart Objects and Technologies for Social Good, 2019, pp. 128 - 129 (atti di: 5th EAI International Conference on Smart Objects and Technologies for Social Good, Valencia, Spain, September 2019) [Contributo in Atti di convegno]

Bujari, A.; Marin, A.; Palazzi, C.E.; Rossi, S., Smart-RED: A novel congestion control mechanism for high throughput and low queuing delay, «WIRELESS COMMUNICATIONS AND MOBILE COMPUTING», 2019, 2019, pp. 1 - 11 [Articolo in rivista] Open Access

Bujari, Armir; Ronzani, Daniele; Palazzi, Claudio E, A Simulation Analysis of an Autonomous Production Site, in: IEEE INFOCOM 2019-IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2019, pp. 830 - 834 (atti di: IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 29 April-2 May 2019, Paris, France) [Contributo in Atti di convegno]

Gaggi, Ombretta; Quadrio, Giacomo; Bujari, Armir, Accessibility for the Visually Impaired: State of the Art and Open Issues, in: 2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC), 2019, pp. 1 - 6 (atti di: 2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC), Las Vegas, NV, USA, USA, 11-14 Jan. 2019) [Contributo in Atti di convegno]

Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Aggregate processes in field calculus, in: Coordination Models and Languages, Heideberg, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11533, pp. 200 - 217 (atti di: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019, Kongens Lyngby, Denmark, 17-21 June, 2019) [Contributo in Atti di convegno]

Ruta Liepina; Giuseppe Contissa; Kasper Drazewski; Francesca Lagioia; Marco Lippi; Hans-Wolfgang Micklitz; Przemysław Pałka; Giovanni Sartor; Paolo Torroni, GDPR Privacy Policies in CLAUDETTE: Challenges of Omission, Context and Multilingualism, in: Automated Semantic Analysis of Information in Legal Text 2019. Proceedings of the Third Workshop on Automated Semantic Analysis of Information in Legal Texts co-located with the 17th International Conference on Artificial Intelligence and Law (ICAIL 2019), Aachen, Sun SITE Central Europe / RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2019, 2385, pp. 1 - 7 (atti di: Third Workshop on Automated Semantic Analysis of Information in Legal Texts co-located with the 17th International Conference on Artificial Intelligence and Law (ICAIL 2019), Montreal, QC, Canada, June 21, 2019.) [Contributo in Atti di convegno] Open Access

Civolani, Lorenzo; Pierre, Guillaume; Bellavista, Paolo, FogDocker: Start Container Now, Fetch Image Later, in: UCC'19: Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, 2019, pp. 51 - 59 (atti di: UCC '19: IEEE/ACM 12th International Conference on Utility and Cloud Computing, Auckland (New Zealand), Dicembre 2019) [Contributo in Atti di convegno]

Camacho, Carlos; Llana, Luis; Núñez, Alberto; Bravetti, Mario, Probabilistic software product lines, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2019, 107, pp. 54 - 78 [Articolo in rivista]

Bravetti M.; Zavattaro G., Relating Session Types and Behavioural Contracts: The Asynchronous Case, in: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11724, pp. 29 - 47 (atti di: 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Oslo, Norway, September 18-20, 2019) [Contributo in Atti di convegno] Open Access

Casadei, Roberto; Viroli, Mirko, Coordinating computation at the edge: A decentralized, self-organizing, spatial approach, in: Fog and Mobile Edge Computing (FMEC), International Conference on, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 60 - 67 (atti di: 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019, Rome, Italy, 2019) [Contributo in Atti di convegno]

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

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]