Per Sort
Per Sort
17 publications / 2019 / Mirko Viroli
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal A Higher-Order Calculus of Computational Fields ACM Transactions on Computational Logic 20(1), January 2019 |
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini From distributed coordination to field calculus and aggregate computing Journal of Logical and Algebraic Methods in Programming 109, 2019 |
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli A development approach for collective opportunistic Edge-of-Things services Information Sciences 498, 2019 |
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani Aggregate Processes in Field Calculus Coordination Models and Languages. Lecture Notes in Computer Science 11533, 2019 |
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli The share Operator for Field-Based Coordination Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019 |
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns Big Data from the Cloud to the Edge: The Aggregate Computing Solution Proceedings of the 13th European Conference on Software Architecture - Volume 2. ECSA '19, 2019 |
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli On Context-Orientation in Aggregate Programming IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019 |
Danilo Pianini, Roberto Casadei, Mirko Viroli Security in Collective Adaptive Systems: A Roadmap IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019 |
Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re Towards Adaptive Flow Programming for the IoT: The Fluidware Approach IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, 11-15 March 2019 |
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli Case studies for a new IoT programming paradigm: Fluidware AI&IoT 2019. CEUR Workshop Proceedings 2502, 2019 |
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal On a Higher-Order Calculus of Computational Fields Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science 11535, 2019 |
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali Self-organising Coordination Regions: a Pattern for Edge Computing Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019 |
Roberto Casadei, Mirko Viroli Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach 2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), June 2019 |
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar Engineering Resilient Collaborative Edge-Enabled IoT 2019 IEEE International Conference on Services Computing (SCC), July 2019 |