From distributed coordination to field calculus and aggregate computing

Journal of Logical and Algebraic Methods in Programming

2019

A Higher-Order Calculus of Computational Fields

ACM Transactions on Computational Logic

2019

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation

ACM Transactions on Modeling and Computer Simulation

2018

Self-Adaptation to Device Distribution in the Internet of Things

ACM Transactions on Autonomous and Adaptive Systems

2017

Aggregate Programming for the Internet of Things

IEEE Computer

2015