AUDRITO, Giorgio

AUDRITO, Giorgio  

INFORMATICA  

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