AUDRITO, Giorgio

AUDRITO, Giorgio  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 46 (tempo di esecuzione: 0.073 secondi).
Titolo Data di pubblicazione Autore(i) File
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 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.
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
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.
Engineering resilient collective adaptive systems by self-stabilisation 2018 Viroli, Mirko; Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo
Enumeration of the adjunctive hierarchy of hereditarily finite sets 2015 G. Audrito;A. I. Tomescu;S. Wagner
Esplorazione dei solidi e oltre: fare geometria con gli Zometool. A cura di Ornella Robutti. 2016 G. Audrito; U. Battisti; M. Borsero; A. Raffero; S. Tassoni; L. Testa
FCPP: An efficient and extensible Field Calculus framework 2020 Audrito G.
Field-based coordination with the share operator 2020 Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M.
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 distributed coordination to field calculus and aggregate computing 2019 Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
From field-based coordination to aggregate computing 2018 Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo