Matteo Sammartino

Available identifiers

zbMath Open sammartino.matteoMaRDI QIDQ530840

List of research outcomes

Publication	Date of Publication	Type
Symbolic register automata	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5875346	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5875678	2023-02-03	Paper
A categorical framework for learning generalised tree automata	2022-12-07	Paper
Algebras for Tree Decomposable Graphs	2022-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q5089311	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5028487	2022-02-09	Paper
Categorical specification and implementation of replicated data types	2022-02-01	Paper
Implementation correctness for replicated data types, categorically	2021-07-08	Paper
SDN-actors: modeling and verification of SDN programs	2021-05-04	Paper
Actor-based model checking for software-defined networks	2021-02-26	Paper
Learning automata with side-effects	2021-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q5111197	2020-05-26	Paper
A (co)algebraic theory of succinct automata	2019-06-20	Paper
Decomposition structures for soft constraint evaluation problems: an algebraic approach	2018-04-04	Paper
Learning nominal automata	2017-10-20	Paper
Network-conscious \(\pi\)-calculus -- a model of Pastry	2016-08-01	Paper
Network Conscious π-calculus: A Concurrent Semantics	2016-07-08	Paper
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours	2016-06-09	Paper
Causal Trees, Finally	2016-01-08	Paper
A coalgebraic semantics for causality in Petri nets	2015-11-10	Paper
Revisiting causality, coalgebraically	2015-03-02	Paper
A network-conscious \(\pi\)-calculus and its coalgebraic semantics	2014-07-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matteo Sammartino