Folgen
Giorgio Audrito
Giorgio Audrito
Research fellow
Bestätigte E-Mail-Adresse bei unito.it
Titel
Zitiert von
Zitiert von
Jahr
Engineering resilient collective adaptive systems by self-stabilisation
M Viroli, G Audrito, J Beal, F Damiani, D Pianini
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (2), 1-28, 2018
742018
A higher-order calculus of computational fields
G Audrito, M Viroli, F Damiani, D Pianini, J Beal
ACM Transactions on Computational Logic (TOCL) 20 (1), 1-55, 2019
56*2019
Compositional blocks for optimal self-healing gradients
G Audrito, R Casadei, F Damiani, M Viroli
2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing …, 2017
442017
From distributed coordination to field calculus and aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
Journal of Logical and Algebraic Methods in Programming 109, 100486, 2019
352019
From field-based coordination to aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
International Conference on Coordination Languages and Models, 252-279, 2018
342018
Space-time universality of field calculus
G Audrito, J Beal, F Damiani, M Viroli
International Conference on Coordination Languages and Models, 1-20, 2018
292018
Optimal single-path information propagation in gradient-based algorithms
G Audrito, F Damiani, M Viroli
Science of computer programming 166, 146-166, 2018
232018
Optimally-self-healing distributed gradient structures through bounded information speed
G Audrito, F Damiani, M Viroli
International Conference on Coordination Languages and Models, 59-77, 2017
222017
Absoluteness via resurrection
G Audrito, M Viale
Journal of Mathematical Logic 17 (02), 1750005, 2017
202017
Run-time management of computation domains in field calculus
G Audrito, F Damiani, M Viroli, R Casadei
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
202016
Engineering collective intelligence at the edge with aggregate processes
R Casadei, M Viroli, G Audrito, D Pianini, F Damiani
Engineering Applications of Artificial Intelligence 97, 104081, 2021
192021
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems.
G Audrito, S Bergamini, F Damiani, M Viroli
AAMAS, 1618-1626, 2019
162019
The Role of Contests in Changing Informatics Education: A Local View.
G Audrito, GB Demo, E Giovannetti
Olympiads in Informatics 6, 2012
162012
FScaFi : A Core Calculus for Collective Adaptive Systems Programming
R Casadei, M Viroli, G Audrito, F Damiani
International Symposium on Leveraging Applications of Formal Methods, 344-360, 2020
152020
Aggregate processes in field calculus
R Casadei, M Viroli, G Audrito, D Pianini, F Damiani
International Conference on Coordination Languages and Models, 200-217, 2019
132019
Adaptive distributed monitors of spatial properties for cyber–physical systems
G Audrito, R Casadei, F Damiani, V Stolz, M Viroli
Journal of Systems and Software 175, 110908, 2021
112021
FCPP: an efficient and extensible field calculus framework
G Audrito
2020 IEEE International Conference on Autonomic Computing and Self …, 2020
112020
Distributed real-time shortest-paths computations with the field calculus
G Audrito, F Damiani, M Viroli, E Bini
2018 IEEE Real-Time Systems Symposium (RTSS), 23-34, 2018
112018
Enumeration of the adjunctive hierarchy of hereditarily finite sets
G Audrito, AI Tomescu, S Wagner
Journal of Logic and Computation 25 (3), 943-963, 2015
102015
Resilient blocks for summarising distributed data
G Audrito, S Bergamini
arXiv preprint arXiv:1802.01789, 2018
92018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20