Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala von Audrito, Giorgio, Casadei, Roberto, Damiani, Ferruccio, Viroli, Mirko

Volltext

Resilient Blocks for Summarising Distributed Data von Audrito, Giorgio, Bergamini, Sergio

Volltext

FIELD-BASED COORDINATION WITH THE SHARE OPERATOR von Audrito, Giorgio, Beal, Jacob, Damiani, Ferruccio, Pianini, Danilo, Viroli, Mirko

Volltext

On Distributed Runtime Verification by Aggregate Computing von Audrito, Giorgio, Damiani, Ferruccio, Stolz, Volker, Viroli, Mirko

Volltext

FCPP to aggregate them all von Audrito, Giorgio, Torta, Gianluca

Volltext

Aggregate Graph Statistics von Audrito, Giorgio, Damiani, Ferruccio, Viroli, Mirko

Volltext

A general framework and decentralised algorithms for collective computational processes von Audrito, Giorgio, Casadei, Roberto, Torta, Gianluca

Volltext

Engineering collective intelligence at the edge with aggregate processes von Casadei, Roberto, Viroli, Mirko, Audrito, Giorgio, Pianini, Danilo, Damiani, Ferruccio

Volltext

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation von Viroli, Mirko, Audrito, Giorgio, Beal, Jacob, Damiani, Ferruccio, Pianini, Danilo

Volltext

The eXchange Calculus (XC): A functional programming language design for distributed collective systems von Audrito, Giorgio, Casadei, Roberto, Damiani, Ferruccio, Salvaneschi, Guido, Viroli, Mirko

Volltext

Adaptive distributed monitors of spatial properties for cyber–physical systems von Audrito, Giorgio, Casadei, Roberto, Damiani, Ferruccio, Stolz, Volker, Viroli, Mirko

Volltext

Near-optimal knowledge-free resilient leader election von Mo, Yuanqiu, Audrito, Giorgio, Dasgupta, Soura, Beal, Jacob

Volltext

A Higher-Order Calculus of Computational Fields von Audrito, Giorgio, Viroli, Mirko, Damiani, Ferruccio, Pianini, Danilo, Beal, Jacob

Volltext

Optimal single-path information propagation in gradient-based algorithms von Audrito, Giorgio, Damiani, Ferruccio, Viroli, Mirko

Volltext

Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021 von Audrito, Giorgio, Inverso, Omar, Vieira, Hugo Torres

Volltext

Distributed runtime verification by past-CTL and the field calculus von Audrito, Giorgio, Damiani, Ferruccio, Stolz, Volker, Torta, Gianluca, Viroli, Mirko

Volltext

FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems von Audrito, Giorgio, Terraneo, Federico, Fornaciari, William

Volltext

Optimal resilient distributed data collection in mobile edge environments von Audrito, Giorgio, Casadei, Roberto, Damiani, Ferruccio, Pianini, Danilo, Viroli, Mirko

Volltext

Aggregate processes as distributed adaptive services for the Industrial Internet of Things von Testa, Lorenzo, Audrito, Giorgio, Damiani, Ferruccio, Torta, Gianluca

Volltext

GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS von AUDRITO, GIORGIO, STEILA, SILVIA

Volltext