Matteo Belenchia

dblp:310/7781 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2026
0000-0003-4988-0566ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 3 first-author · 3 since 2021Computer networks · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2026 The μG language for programming graph neural networks
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
J. Log. Algebraic Methods Program.1
2024 libmg: A Python library for programming graph neural networks in μG
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
Sci. Comput. Program.1
2023 Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
FORTE1