Matteo Sammartino
Royal Holloway, University of London
H-index: 8
Europe-United Kingdom
Top articles of Matteo Sammartino
Compositional automata learning of synchronous systems
2023/4/20
Thomas Neele
H-Index: 5
Matteo Sammartino
H-Index: 6
Guarded Kleene Algebra with Tests: Automata Learning
Electronic Notes in Theoretical Informatics and Computer Science
2023/2/28
Alexandra Silva
H-Index: 19
Matteo Sammartino
H-Index: 6
Alarm: Active learning of rowhammer mitigations
2022/10/1
A Categorical Framework for Learning Generalised Tree Automata
2022/4/2
Gerco Van Heerdt
H-Index: 6
Tobias Kappé
H-Index: 7
Jurriaan Rot
H-Index: 11
Matteo Sammartino
H-Index: 6
Alexandra Silva
H-Index: 19
Categorical specification and implementation of Replicated Data Types
Theoretical Computer Science
2022/2/8
Residuality and Learning for Nondeterministic Nominal Automata
Logical Methods in Computer Science
2022/2/3
Matteo Sammartino
H-Index: 6
Canonical automata via distributive law homomorphisms
arXiv preprint arXiv:2104.13421
2021/4/27
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming
2021/1/1
Algebras for Tree Decomposable Graphs
2020/6/23
Matteo Sammartino
H-Index: 6
Learning automata with side-effects
2020/4/25
Actor-Based Model Checking for SDN Networks
arXiv preprint arXiv:2001.10022
2020/1/27
Residual nominal automata
2020
Matteo Sammartino
H-Index: 6
Implementation correctness for replicated data types, categorically
2020/11/25
Generators and Bases for Monadic Closures
arXiv preprint arXiv:2010.10223
2020/10/20
Alexandra Silva
H-Index: 19
Matteo Sammartino
H-Index: 6
Generators and bases for algebras over a monad
arXiv preprint arXiv:2010.10223
2020/10
Alexandra Silva
H-Index: 19
Matteo Sammartino
H-Index: 6
Bases for algebras over a monad
arXiv preprint arXiv:2010.10223
2020/10
Alexandra Silva
H-Index: 19
Matteo Sammartino
H-Index: 6
Residuality and Learning for Register Automata
2020/9/18
Matteo Sammartino
H-Index: 6