Michela Quadrini
From MaRDI portal
Person:2001650
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Implementing a CTL model checker with \(\mu \mathcal{G}\), a language for programming graph neural networks | 2024-01-11 | Paper |
| A Spatial Logic for Simplicial Models Logical Methods in Computer Science | 2023-08-26 | Paper |
| Topological Classification of RNA Structures via Intersection Graph Theory and Practice of Natural Computing | 2022-12-09 | Paper |
| An integral equation method for the numerical solution of the Burgers equation Computers & Mathematics with Applications | 2019-07-11 | Paper |
Research outcomes over time
This page was built for person: Michela Quadrini
