Graph explorer

Matteo Sammartino

Matteo Sammartino contributes to research discovery and scholarly infrastructure.

5 nodes4 linksoverview mapMatteo Sammartino
5 nodes4 links
Matteo Sammartino5 visible / 5 total nodes / 4 links
AuthorshipAuthorshipAuthorshipAuthorshipAMatteo SammartinoResearcherWA decidable class of (n...preprint / 2013WDynamic Programming on ...preprint / 2015WA coalgebraic semantics...preprint / 2015WActor-Based Model Check...preprint / 2020
PersonSignal 104 links

Matteo Sammartino

Researcher

Open