AUDRITO, Giorgio
AUDRITO, Giorgio
INFORMATICA
A field-based computing approach to sensing-driven clustering in robot swarms
2023-01-01 Aguzzi, G; Audrito, G; Casadei, R; Damiani, F; Torta, G; Viroli, M
A higher-order calculus of computational fields
2019-01-01 Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
A resilient leader election algorithm using aggregate computing blocks
2020-01-01 Mo Y.; Audrito G.; Dasgupta S.; Beal J.
Absoluteness via resurrection
2017-01-01 Audrito, Giorgio; Viale, Matteo
Adaptive distributed monitors of spatial properties for cyber–physical systems
2021-01-01 Audrito G.; Casadei R.; Damiani F.; Stolz V.; Viroli M.
Aggregate centrality measures for IoT-based coordination
2021-01-01 Audrito G.; Pianini D.; Damiani F.; Viroli M.
Aggregate Drone Monitoring of Wildfires
2022-01-01 Audrito, Giorgio; Ottina, Marco
Aggregate graph statistics
2018-01-01 Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko
Aggregate processes as distributed adaptive services for the Industrial Internet of Things
2022-01-01 Testa L.; Audrito G.; Damiani F.; Torta G.
Aggregate processes in field calculus
2019-01-01 Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F.
Aggregate Programming for Customized Building Management and Users Preference Implementation
2023-01-01 Audrito G.; Damiani F.; Rinaldi S.; Tagliabue L.C.; Testa L.; Torta G.
Bringing Aggregate Programming Towards the Cloud
2022-01-01 Audrito G.; Damiani F.; Torta G.
Combining Static and Runtime Verification with AC and Coq
2023-01-01 Audrito G.; Haures D.
Compositional Blocks for Optimal Self-Healing Gradients
2017-01-01 Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
2023-01-01 Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
2018-01-01 Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Bini, Enrico
Distributed runtime verification by past-CTL and the field calculus
2022-01-01 Audrito G.; Damiani F.; Stolz V.; Torta G.; Viroli M.
Effect of Monotonic Filtering on Graph Collection Dynamics
2021-01-01 Zainab, Hunza; Audrito, Giorgio; Dasgupta, Soura; Beal, Jacob
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
2019-01-01 Audrito, G; Bergamini, S; Damiani, F; Viroli, M
Engineering collective intelligence at the edge with aggregate processes
2021-01-01 Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F.