Matteo Sammartino


AuthID: R-00H-477

Publications Awaiting Confirmation

11
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
INDEXED IN: DBLP
12
TITLE: Learning Automata with Side-Effects PDF
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.08055
INDEXED IN: DBLP arXiv
13
TITLE: Learning Nominal Automata PDF
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1607.06268
INDEXED IN: Scopus DBLP arXiv CrossRef: 13
Page 2 of 2. Total results: 13.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service