Matteo Belenchia
Orcid: 0000-0003-4988-0566
According to our database1,
Matteo Belenchia
authored at least 5 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
2
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., 2024
2023
Implementing a CTL Model Checker with μ <i>G</i>, a Language for Programming Graph Neural Networks.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023
2021
Proceedings of the Artificial General Intelligence - 14th International Conference, 2021
Proceedings of the Artificial General Intelligence - 14th International Conference, 2021