| 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 | 123 | 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 | 104 | 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 | 100 | 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 | 60 | 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 | 57 | 2021 |
| FCPP: an efficient and extensible field calculus framework G Audrito 2020 IEEE International Conference on Autonomic Computing and Self …, 2020 | 43 | 2020 |
| 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 | 43 | 2018 |
| 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 | 39 | 2018 |
| 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 | 32 | 2021 |
| 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 | 32 | 2020 |
| Optimal single-path information propagation in gradient-based algorithms G Audrito, F Damiani, M Viroli Science of Computer Programming 166, 146-166, 2018 | 30 | 2018 |
| 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 | 26 | 2021 |
| 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 | 26 | 2019 |
| Absoluteness via resurrection G Audrito, M Viale Journal of Mathematical Logic 17 (02), 1750005, 2017 | 24 | 2017 |
| 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 | 23 | 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 | 21 | 2022 |
| 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 | 19 | 2022 |
| 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 | 19 | 2019 |
| The role of contests in changing informatics education: A local view G Audrito, GB Demo, E Giovannetti Olympiads in Informatics 6, 3-20, 2012 | 19 | 2012 |
| Distributed runtime verification by past-CTL and the field calculus G Audrito, F Damiani, V Stolz, G Torta, M Viroli Journal of Systems and Software 187, 111251, 2022 | 18 | 2022 |
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerifisert e-postadresse på di.unito.it