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 | 99 | 2018 |
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 | 85 | 2019 |
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 | 76 | 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 | 53 | 2017 |
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 | 45 | 2021 |
Space-time universality of field calculus G Audrito, J Beal, F Damiani, M Viroli Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018 | 35 | 2018 |
FCPP: an efficient and extensible field calculus framework G Audrito 2020 IEEE International Conference on Autonomic Computing and Self …, 2020 | 33 | 2020 |
From field-based coordination to aggregate computing M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018 | 32 | 2018 |
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 | 29 | 2020 |
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 | 26 | 2021 |
Optimal single-path information propagation in gradient-based algorithms G Audrito, F Damiani, M Viroli Science of Computer Programming 166, 146-166, 2018 | 25 | 2018 |
Aggregate processes in field calculus R Casadei, M Viroli, G Audrito, D Pianini, F Damiani Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019 | 24 | 2019 |
Absoluteness via resurrection G Audrito, M Viale Journal of Mathematical Logic 17 (02), 1750005, 2017 | 23 | 2017 |
Optimal resilient distributed data collection in mobile edge environments G Audrito, R Casadei, F Damiani, D Pianini, M Viroli Computers & Electrical Engineering 96, 107580, 2021 | 21 | 2021 |
Optimally-self-healing distributed gradient structures through bounded information speed G Audrito, F Damiani, M Viroli Coordination Models and Languages: 19th IFIP WG 6.1 International Conference …, 2017 | 19 | 2017 |
Functional programming for distributed systems with XC G Audrito, R Casadei, F Damiani, G Salvaneschi, M Viroli LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 222, 1-28, 2022 | 17 | 2022 |
The role of contests in changing informatics education: A local view G Audrito, GB Demo, E Giovannetti Olympiads in Informatics 6, 3-20, 2012 | 17 | 2012 |
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 | 16 | 2016 |
Effective collective summarisation of distributed data in mobile multi-agent systems G Audrito, S Bergamini, F Damiani, M Viroli Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | 14 | 2019 |
Aggregate processes as distributed adaptive services for the industrial internet of things L Testa, G Audrito, F Damiani, G Torta Pervasive and Mobile Computing 85, 101658, 2022 | 13 | 2022 |