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 general framework and decentralised algorithms for collective computational processes
2024-01-01 Audrito G.; Casadei R.; Torta G.
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.
An Enhanced Exchange Operator for XC
2024-01-01 Audrito G.; Bortoluzzi D.; Damiani F.; Scarso G.; 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.
Drone-swarm based surveillance system for autonomous machine safety functionality
2025-01-01 Nitti, L.; Bortoluzzi, D.; Biglia, A.; Ricauda Aimonino, D.; Torta, G.; Audrito, G.; Damiani, F.; Gay, P.; Rapp, A.; Comba, L.
| 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 general framework and decentralised algorithms for collective computational processes | 2024 | Audrito G.; Casadei R.; Torta G. | |
| 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. | |
| An Enhanced Exchange Operator for XC | 2024 | Audrito G.; Bortoluzzi D.; Damiani F.; Scarso G.; 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. | |
| Drone-swarm based surveillance system for autonomous machine safety functionality | 2025 | Nitti, L.; Bortoluzzi, D.; Biglia, A.; Ricauda Aimonino, D.; Torta, G.; Audrito, G.; Damiani, F.; Gay, P.; Rapp, A.; Comba, L. |