Michela Quadrini

From MaRDI portal
Person:2001650

Available identifiers

zbMath Open quadrini.michelaMaRDI QIDQ2001650

List of research outcomes





PublicationDate of PublicationType
Implementing a CTL model checker with \(\mu \mathcal{G}\), a language for programming graph neural networks2024-01-11Paper
A Spatial Logic for Simplicial Models2023-08-26Paper
Topological Classification of RNA Structures via Intersection Graph2022-12-09Paper
An integral equation method for the numerical solution of the Burgers equation2019-07-11Paper

Research outcomes over time

This page was built for person: Michela Quadrini

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2001650&oldid=6149252"
Powered by MediaWiki