1. FCPP to aggregate them all;Science of Computer Programming;2024-01
2. Parallelising an Aggregate Programming Framework with Message-Passing Interface;2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C);2023-09-25
3. Combining Static and Runtime Verification with AC and Coq;Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution;2023-07-18
4. Exploring Planner-Guided Swarms Running on Real Robots;Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection;2023
5. Aggregate Drone Monitoring of Wildfires;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12