BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
Collaborated with:
A.S.0001 N.Hoch U.Montanari G.v.Heerdt L.D'Antoni T.Ferreira J.Moerman B.Klin Michal Szynwelski
Talks about:
automata (3) nomin (2) learn (2) framework (1) program (1) categor (1) symbol (1) regist (1) graph (1) dynam (1)

Person: Matteo Sammartino

DBLP DBLP: Sammartino:Matteo

Contributed to:

GaM 20152015
CSL 20172017
CAV (1) 20192019
POPL 20172017

Wrote 4 papers:

GaM-2015-HochMS #graph #programming
Dynamic Programming on Nominal Graphs (NH, UM, MS), pp. 80–96.
CSL-2017-HeerdtS0 #automaton #category theory #framework #learning #named
CALF: Categorical Automata Learning Framework (GvH, MS, AS0), p. 24.
CAV-2019-DAntoniFS0 #automaton
Symbolic Register Automata (LD, TF, MS, AS0), pp. 3–21.
POPL-2017-MoermanS0KS #automaton #learning
Learning nominal automata (JM, MS, AS0, BK, MS), pp. 613–625.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.