Moerman, Joshua; Sammartino, Matteo Residuality and learning for nondeterministic nominal automata. (English) Zbl 07471718 Log. Methods Comput. Sci. 18, No. 1, Paper No. 29, 28 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Moerman} and \textit{M. Sammartino}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 29, 28 p. (2022; Zbl 07471718) Full Text: arXiv Link
Moerman, Joshua; Sammartino, Matteo Residual nominal automata. (English) Zbl 07559500 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 44, 21 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Moerman} and \textit{M. Sammartino}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 44, 21 p. (2020; Zbl 07559500) Full Text: DOI
van Heerdt, Gerco; Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra A (co)algebraic theory of succinct automata. (English) Zbl 1423.68300 J. Log. Algebr. Methods Program. 105, 112-125 (2019). MSC: 68Q70 18B20 PDFBibTeX XMLCite \textit{G. van Heerdt} et al., J. Log. Algebr. Methods Program. 105, 112--125 (2019; Zbl 1423.68300) Full Text: DOI arXiv
Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał Learning nominal automata. (English) Zbl 1380.68243 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 613-625 (2017). MSC: 68Q32 68N18 68Q45 PDFBibTeX XMLCite \textit{J. Moerman} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 613--625 (2017; Zbl 1380.68243) Full Text: DOI arXiv