Matteo Sammartino
Identifiers
- name variant Matteo Sammartino 0.60 · backfill
Papers (6)
- A (co)algebraic theory of succinct automata cs.FL · 2019 · author #3
- Symbolic Register Automata cs.FL · 2018 · author #3
- CALF: Categorical Automata Learning Framework cs.FL · 2017 · author #2
- Learning Nominal Automata cs.FL · 2016 · author #2
- A coalgebraic semantics for causality in Petri nets cs.LO · 2015 · author #3
- A decidable class of (nominal) omega-regular languages over an infinite alphabet cs.FL · 2013 · author #2
Mentions
- 1507.06462 #3 · backfill · confidence 0.70 Matteo Sammartino
- 1310.3945 #2 · backfill · confidence 0.70 Matteo Sammartino
Frequent Coauthors
- Alexandra Silva 4 shared papers
- Gerco van Heerdt 2 shared papers
- Joshua Moerman 2 shared papers
- Bartek Klin 1 shared papers
- Loris D'Antoni 1 shared papers
- Micha{\l} Szynwelski 1 shared papers
- Roberto Bruni 1 shared papers
- Tiago Ferreira 1 shared papers
- Ugo Montanari 1 shared papers
- Vincenzo Ciancia 1 shared papers