author : Ferruccio Damiani
29
publications
Optimal resilient distributed data collection in mobile edge environments (Computers & Electrical Engineering, 2021) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli Aggregate Processes in Field Calculus (2019) — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani The share Operator for Field-Based Coordination (2019) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli On a Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal From distributed coordination to field calculus and aggregate computing (Journal of Logical and Algebraic Methods in Programming, 2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini Big Data from the Cloud to the Edge: The Aggregate Computing Solution (2019) — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems (AAMAS 2019) — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli A Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (ACM Transactions on Modeling and Computer Simulation, 2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini Distributed Real-Time Shortest-Paths Computations with the Field Calculus (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini Optimal single-path information propagation in gradient-based algorithms (Science of Computer Programming, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli From Field-Based Coordination to Aggregate Computing (COORDINATION 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini Space-Time Universality of Field Calculus (ALP4IoT2017) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli Compositional Blocks for Optimal Self-Healing Gradients (SASO 2017) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli Self-Adaptation to Device Distribution in the Internet of Things (ACM Transactions on Autonomous and Adaptive Systems, 2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (2017) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Run-Time Management of Computation Domains in Field Calculus (SASO 2016) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal Self-adaptation to Device Distribution Changes in Situated Computing Systems (SASO 2016) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (SASO 2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (FORTE 2015 @ DisCoTec 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal Type-based Self-stabilisation for Computational Fields (Logical Methods in Computer Science, 2015) — Ferruccio Damiani, Mirko Viroli A Calculus of Self-stabilising Computational Fields (COORDINATION 2014) — Mirko Viroli, Ferruccio Damiani A calculus of computation fields (FOCLASA 2013 @ ESOCC 2013) — Mirko Viroli, Ferruccio Damiani, Jacob Beal Standard Type Soundness for Agents and Artifacts (Scientific Annals of Computer Science, 2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli A Calculus of Agents and Artifacts (2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (2009) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli