AUDRITO, Giorgio
AUDRITO, Giorgio
INFORMATICA
A resilient leader election algorithm using aggregate computing blocks
2020-01-01 Mo Y.; Audrito G.; Dasgupta S.; Beal J.
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 in field calculus
2019-01-01 Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F.
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
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
2018-01-01 Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Bini, Enrico
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
Extensible 3D Simulation of Aggregated Systems with FCPP
2022-01-01 Audrito, G; Rapetta, L; Torta, G
FCPP: An efficient and extensible Field Calculus framework
2020-01-01 Audrito G.
Fostering informatics education through teams Olympiad
2018-01-01 Amaroli N.; Audrito G.; Laura L.
Fostering resilient execution of multi-agent plans through self-organisation
2021-01-01 Giorgio Audrito, Roberto Casadei, Gianluca Torta
From field-based coordination to aggregate computing
2018-01-01 Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
FScaFi : A Core Calculus for Collective Adaptive Systems Programming
2020-01-01 Casadei R.; Viroli M.; Audrito G.; Damiani F.
Functional Programming for Distributed Systems with XC
2022-01-01 Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Giochi di Fibonacci Year II: Competitive Blocks Programming for Young Students
2024-01-01 AUDRITO, Giorgio; CAPECCHI, Sara; CIOBANU, Madalina G.; LAURA, Luigi
Giochi di Fibonacci: Competitive Programming for Young Students
2023-01-01 AUDRITO, Giorgio; CIOBANU, Madalina; LAURA, Luigi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A resilient leader election algorithm using aggregate computing blocks | 2020 | Mo Y.; Audrito G.; Dasgupta S.; Beal J. | |
| Aggregate Drone Monitoring of Wildfires | 2022 | Audrito, Giorgio; Ottina, Marco | |
| Aggregate graph statistics | 2018 | Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko | |
| Aggregate processes in field calculus | 2019 | Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F. | |
| 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 | |
| Distributed Real-Time Shortest-Paths Computations with the Field Calculus | 2018 | Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Bini, Enrico | |
| 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 | |
| Extensible 3D Simulation of Aggregated Systems with FCPP | 2022 | Audrito, G; Rapetta, L; Torta, G | |
| FCPP: An efficient and extensible Field Calculus framework | 2020 | Audrito G. | |
| Fostering informatics education through teams Olympiad | 2018 | Amaroli N.; Audrito G.; Laura L. | |
| Fostering resilient execution of multi-agent plans through self-organisation | 2021 | Giorgio Audrito, Roberto Casadei, Gianluca Torta | |
| From field-based coordination to aggregate computing | 2018 | Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo | |
| FScaFi : A Core Calculus for Collective Adaptive Systems Programming | 2020 | Casadei R.; Viroli M.; Audrito G.; Damiani F. | |
| Functional Programming for Distributed Systems with XC | 2022 | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli | |
| Giochi di Fibonacci Year II: Competitive Blocks Programming for Young Students | 2024 | AUDRITO, Giorgio; CAPECCHI, Sara; CIOBANU, Madalina G.; LAURA, Luigi | |
| Giochi di Fibonacci: Competitive Programming for Young Students | 2023 | AUDRITO, Giorgio; CIOBANU, Madalina; LAURA, Luigi |