Sfoglia per Autore
A higher-order calculus of computational fields
2019-01-01 Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
On distributed runtime verification by aggregate computing
2019-01-01 Audrito G.; Damiani F.; Stolz V.; Viroli M.
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
2019-01-01 Audrito, G; Bergamini, S; Damiani, F; Viroli, M
From distributed coordination to field calculus and aggregate computing
2019-01-01 Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
The share operator for field-based coordination
2019-01-01 Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M.
Aggregate processes in field calculus
2019-01-01 Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F.
Field-based coordination with the share operator
2020-01-01 Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M.
Resilient distributed collection through information speed thresholds
2020-01-01 Audrito G.; Bergamini S.; Damiani F.; Viroli M.
FCPP: An efficient and extensible Field Calculus framework
2020-01-01 Audrito G.
Improving Collection Dynamics by Monotonic Filtering
2020-01-01 Zainab H.; Audrito G.; Dasgupta S.; Beal J.
A resilient leader election algorithm using aggregate computing blocks
2020-01-01 Mo Y.; Audrito G.; Dasgupta S.; Beal J.
Recommending tasks in online judges
2020-01-01 Audrito G.; Di Mascio T.; Fantozzi P.; Laura L.; Martini G.; Nanni U.; Temperini M.
FScaFi : A Core Calculus for Collective Adaptive Systems Programming
2020-01-01 Casadei R.; Viroli M.; Audrito G.; Damiani F.
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes
2021-01-01 Giorgio Audrito, Roberto Casadei, Gianluca Torta
Fostering resilient execution of multi-agent plans through self-organisation
2021-01-01 Giorgio Audrito, Roberto Casadei, Gianluca Torta
The Italian Job: Moving (Massively) Online a National Olympiad
2021-01-01 AUDRITO, Giorgio; DI LUIGI, William; LAURA, Luigi; MORASSUTTO, Edoardo; OSTUNI, Dario
Aggregate centrality measures for IoT-based coordination
2021-01-01 Audrito G.; Pianini D.; Damiani F.; Viroli M.
Effect of Monotonic Filtering on Graph Collection Dynamics
2021-01-01 Zainab, Hunza; Audrito, Giorgio; Dasgupta, Soura; Beal, Jacob
Optimal resilient distributed data collection in mobile edge environments
2021-01-01 Audrito G.; Casadei R.; Damiani F.; Pianini D.; Viroli M.
Towards aggregate monitoring of spatio-temporal properties
2021-01-01 Audrito G.; Torta G.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A higher-order calculus of computational fields | 2019 | Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob | |
On distributed runtime verification by aggregate computing | 2019 | Audrito G.; Damiani F.; Stolz V.; Viroli M. | |
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems | 2019 | Audrito, G; Bergamini, S; Damiani, F; Viroli, M | |
From distributed coordination to field calculus and aggregate computing | 2019 | Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo | |
The share operator for field-based coordination | 2019 | Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M. | |
Aggregate processes in field calculus | 2019 | Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F. | |
Field-based coordination with the share operator | 2020 | Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M. | |
Resilient distributed collection through information speed thresholds | 2020 | Audrito G.; Bergamini S.; Damiani F.; Viroli M. | |
FCPP: An efficient and extensible Field Calculus framework | 2020 | Audrito G. | |
Improving Collection Dynamics by Monotonic Filtering | 2020 | Zainab H.; Audrito G.; Dasgupta S.; Beal J. | |
A resilient leader election algorithm using aggregate computing blocks | 2020 | Mo Y.; Audrito G.; Dasgupta S.; Beal J. | |
Recommending tasks in online judges | 2020 | Audrito G.; Di Mascio T.; Fantozzi P.; Laura L.; Martini G.; Nanni U.; Temperini M. | |
FScaFi : A Core Calculus for Collective Adaptive Systems Programming | 2020 | Casadei R.; Viroli M.; Audrito G.; Damiani F. | |
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes | 2021 | Giorgio Audrito, Roberto Casadei, Gianluca Torta | |
Fostering resilient execution of multi-agent plans through self-organisation | 2021 | Giorgio Audrito, Roberto Casadei, Gianluca Torta | |
The Italian Job: Moving (Massively) Online a National Olympiad | 2021 | AUDRITO, Giorgio; DI LUIGI, William; LAURA, Luigi; MORASSUTTO, Edoardo; OSTUNI, Dario | |
Aggregate centrality measures for IoT-based coordination | 2021 | Audrito G.; Pianini D.; Damiani F.; Viroli M. | |
Effect of Monotonic Filtering on Graph Collection Dynamics | 2021 | Zainab, Hunza; Audrito, Giorgio; Dasgupta, Soura; Beal, Jacob | |
Optimal resilient distributed data collection in mobile edge environments | 2021 | Audrito G.; Casadei R.; Damiani F.; Pianini D.; Viroli M. | |
Towards aggregate monitoring of spatio-temporal properties | 2021 | Audrito G.; Torta G. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile