Matteo Sammartino

Available identifiers

zbMath Open sammartino.matteoMaRDI QIDQ530840

List of research outcomes

Publication	Date of Publication	Type
Canonical automata via distributive law homomorphisms	2024-12-17	Paper
Generators and bases for monadic closures	2024-11-26	Paper
Symbolic register automata	2024-02-16	Paper
Compositional automata learning of synchronous systems	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5875678	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5875346	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

This page was built for person: Matteo Sammartino