Fortunat Rajaona
Orcid: 0000-0003-4902-9800Affiliations:
- University of Surrey, UK
According to our database1,
Fortunat Rajaona
authored at least 6 papers
between 2022 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
2025
0
1
2
3
4
1
1
1
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Formal Aspects Comput., 2025
2024
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024
2023
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems.
CoRR, 2022