Elements of Task Theory. - Matteo Belenchia; Kristinn R. Thórisson; Leonard M. Eberding; Arash Sheikhlar (AGI, 2021)

About the Intricacy of Tasks. - Leonard M. Eberding; Matteo Belenchia; Arash Sheikhlar; Kristinn R. Thórisson (AGI, 2021)

Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks. - Matteo Belenchia; Flavio Corradini; Michela Quadrini; Michele Loreti (FORTE, 2023)

The μG Language for Programming Graph Neural Networks. - Matteo Belenchia; Flavio Corradini; Michela Quadrini; Michele Loreti (CoRR, 2024)

libmg: A Python library for programming graph neural networks in μG. - Matteo Belenchia; Flavio Corradini; Michela Quadrini; Michele Loreti (Sci. Comput. Program., 2024)