Matteo Sammartino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement. | Lo Henry, Mohammad Reza Mousavi, Thomas Neele, Matteo Sammartino |
| 2023 | CALCO | Generators and Bases for Monadic Closures. | Stefan Zetzsche, Alexandra Silva, Matteo Sammartino |
| 2023 | FASE | Compositional Automata Learning of Synchronous Systems. | Thomas Neele, Matteo Sammartino |
| 2020 | CONCUR | Residual Nominal Automata. | Joshua Moerman, Matteo Sammartino |
| 2020 | ICTAC | Implementation Correctness for Replicated Data Types, Categorically. | Fabio Gadducci, Hernn C. Melgratti, Christian Roldn, Matteo Sammartino |
| 2019 | CALCO | Tree Automata as Algebras: Minimisation and Determinisation. | Gerco van Heerdt, Tobias Kapp, Jurriaan Rot, Matteo Sammartino, Alexandra Silva |
| 2019 | CAV | Symbolic Register Automata. | Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva |
| 2018 | FM | SDN-Actors: Modeling and Verification of SDN Programs. | Elvira Albert, Miguel Gmez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva |
| 2017 | CSL | CALF: Categorical Automata Learning Framework. | Gerco van Heerdt, Matteo Sammartino, Alexandra Silva |
| 2017 | POPL | Learning nominal automata. | Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski |