1. Kind computing;Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results;2022-05-21
2. Kind Computing;2022 IEEE/ACM 44th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2022-05
3. Quantitative Abstractions for Collective Adaptive Systems;Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems;2016
4. Spatial Logic and Spatial Model Checking for Closure Spaces;Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems;2016
5. Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools;Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems;2016