Follow
Matteo Sammartino
Matteo Sammartino
Royal Holloway University of London, University College London
Verified email at rhul.ac.uk - Homepage
Title
Cited by
Cited by
Year
Learning nominal automata
J Moerman, M Sammartino, A Silva, B Klin, M Szynwelski
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
682017
CALF: categorical automata learning framework
G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:1704.05676, 2017
172017
Symbolic register automata
L D’Antoni, T Ferreira, M Sammartino, A Silva
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
162019
SDN-Actors: modeling and verification of SDN programs
E Albert, M Gómez-Zamalloa, A Rubio, M Sammartino, A Silva
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
142018
Network conscious π-calculus: A concurrent semantics
U Montanari, M Sammartino
Electronic Notes in Theoretical Computer Science 286, 291-306, 2012
142012
Learning automata with side-effects
G Van Heerdt, M Sammartino, A Silva
Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International …, 2020
122020
A network-conscious π-calculus and its coalgebraic semantics
U Montanari, M Sammartino
Theoretical Computer Science 546, 188-224, 2014
112014
Revisiting causality, coalgebraically
R Bruni, U Montanari, M Sammartino
Acta Informatica 52, 5-33, 2015
92015
Reconfigurable and software-defined networks of connectors and components
R Bruni, U Montanari, M Sammartino
Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015
82015
Residual nominal automata
J Moerman, M Sammartino
Leibniz International Proceedings in Informatics, LIPIcs 171, 441-4421, 2020
72020
Optimizing automata learning via monads
G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:1704.08055, 2017
62017
Dynamic Programming on Nominal Graphs
N Hoch, U Montanari, M Sammartino
EPTCS, Proceedings of Graphs as Models 181, 80-96, 2015
62015
From Local to Global Knowledge and Back.
N Hoch, GV Monreale, U Montanari, M Sammartino, AT Siwe
The ASCENS Approach, 185-220, 2015
62015
A network-aware process calculus for global computing and its categorical framework
M Sammartino
PhD thesis, University of Pisa, 2013
62013
Canonical automata via distributive law homomorphisms
S Zetzsche, G van Heerdt, M Sammartino, A Silva
arXiv preprint arXiv:2104.13421, 2021
52021
A coalgebraic semantics for causality in Petri nets
R Bruni, U Montanari, M Sammartino
Journal of Logical and Algebraic Methods in Programming 84 (6), 853-883, 2015
52015
Software engineering for self-aware sces
J Combaz, A Lluch Lafuente, U Montanari, R Pugliese, M Sammartino, ...
Technical report, ASCENS Project, 2013. Deliverable JD3. 1, 2013
52013
Actor-based model checking for Software-Defined Networks
E Albert, M Gomez-Zamalloa, M Isabel, A Rubio, M Sammartino, A Silva
Journal of Logical and Algebraic Methods in Programming 118, 100617, 2021
42021
Tree automata as algebras: minimisation and determinisation
G van Heerdt, T Kappé, J Rot, M Sammartino, A Silva
arXiv preprint arXiv:1904.08802, 2019
42019
A categorical account of replicated data types
F Gadducci, H Melgratti, C Roldán, M Sammartino
LIPIcs: Leibniz International Proceedings in Informatics-volume 150 150, 42, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20