Matteo Sammartino
AuthID: R-00H-477
1
TITLE: Generators and Bases for Monadic Closures
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2023, SOURCE: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, VOLUME: 270
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2023, SOURCE: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, VOLUME: 270
INDEXED IN: 
DBLP
DBLP2
TITLE: Guarded Kleene Algebra with Tests: Automata Learning
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.14153
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.14153
INDEXED IN: DBLP
DBLP3
TITLE: A Categorical Framework for Learning Generalised Tree Automata
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2022, SOURCE: Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings, VOLUME: 13225
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2022, SOURCE: Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings, VOLUME: 13225
INDEXED IN: DBLP
DBLP4
TITLE: Canonical automata via distributive law homomorphisms
AUTHORS: Stefan Zetzsche; Gerco van Heerdt; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.13421
AUTHORS: Stefan Zetzsche; Gerco van Heerdt; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.13421
INDEXED IN: DBLP
DBLP5
TITLE: A Categorical Framework for Learning Generalised Tree Automata
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.05786
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.05786
INDEXED IN: DBLP
DBLP6
TITLE: Learning Automata with Side-Effects
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, VOLUME: 12094
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, VOLUME: 12094
INDEXED IN: DBLP
DBLP7
TITLE: Bases for algebras over a monad
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.10223
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.10223
INDEXED IN: DBLP
DBLP8
TITLE: Tree Automata as Algebras: Minimisation and Determinisation
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., VOLUME: 139
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., VOLUME: 139
INDEXED IN: DBLP
DBLP9
TITLE: Tree Automata as Algebras: Minimisation and Determinisation PDF
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1904.08802
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1904.08802
INDEXED IN: DBLP 
arXiv
DBLP arXiv10
TITLE: Learning nominal automata
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
PUBLISHED: 2017, SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
PUBLISHED: 2017, SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
INDEXED IN: DBLP
DBLP