2019

  1. Symbolic Register Automata Loris D’Antoni, Tiago Ferreira, Matteo Sammartino, and Alexandra Silva In 31st International Conference on Computer-Aided Verification (CAV) 2019 [Abs] [PDF]
  2. A (co)algebraic theory of succinct automata Gerco Heerdt, Joshua Moerman, Matteo Sammartino, and Alexandra Silva Journal of Logical and Algebraic Methods in Programming 2019 [Abs] [PDF]
  3. Tree Automata as Algebras: Minimisation and Determinisation Gerco Heerdt, Tobias Kappe, Jurriaan Rot, Matteo Sammartino, and Alexandra Silva In 8th Conference on Algebra and Coalgebra in Computer Science (CALCO) 2019 [Abs] [PDF]

2018

  1. Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach Ugo Montanari, Matteo Sammartino, and Alain Tcheukam Siwe In Graph Transformation, Specifications, and Nets 2018 [Abs] [PDF]
  2. SDN-Actors: Modeling and Verification of SDN Programs Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, and Alexandra Silva In Formal Methods - 22nd International Symposium (FM) 2018 [Abs] [PDF]
  3. Symbolic Register Automata Loris D’Antoni, Tiago Ferreira, Matteo Sammartino, and Alexandra Silva CoRR 2018 [Abs] [arXiv]

2017

  1. CALF: Categorical Automata Learning Framework Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva In 26th EACSL Annual Conference Computer Science Logics (CSL) 2017 [Abs] [PDF]
  2. Learning nominal automata Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, and Michal Szynwelski In 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2017 [Abs] [PDF]
  3. Optimizing Automata Learning via Monads Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva CoRR 2017 [Abs] [arXiv]

2015

  1. Revisiting causality, coalgebraically Roberto Bruni, Ugo Montanari, and Matteo Sammartino Acta Informatica 2015 [Abs] [PDF]
  2. Network-Conscious π-calculus - A Model of Pastry Ugo Montanari, and Matteo Sammartino In Ninth Workshop on Logical and Semantic Frameworks, with Applications (LSFA) 2015 [Abs] [PDF]
  3. A coalgebraic semantics for causality in Petri nets Roberto Bruni, Ugo Montanari, and Matteo Sammartino Journal of Logical and Algebraic Methods in Programming 2015 [Abs] [PDF]
  4. Causal Trees, Finally Roberto Bruni, Ugo Montanari, and Matteo Sammartino In Programming Languages with Applications to Biology and Security 2015 [Abs] [PDF]
  5. Dynamic Programming on Nominal Graphs Nicklas Hoch, Ugo Montanari, and Matteo Sammartino In Graphs ad Models 2015 [Abs] [PDF]
  6. Reconfigurable and Software-Defined Networks of Connectors and Components Roberto Bruni, Ugo Montanari, and Matteo Sammartino Book chapter of "Software Engineering for Collective Autonomic Systems: The ASCENS Approach" 2015 [Abs]
  7. From Local to Global Knowledge and Back Nicklas Hoch, Giacoma Valentina Monreale, Ugo Montanari, Matteo Sammartino, and Alain Tcheukam Siwe Book chapter of "Software Engineering for Collective Autonomic Systems: The ASCENS Approach" 2015 [Abs]

2014

  1. A network-conscious π-calculus and its coalgebraic semantics Ugo Montanari, and Matteo Sammartino Theoretical Computer Science 2014 [Abs] [PDF]
  2. A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours Vincenzo Ciancia, and Matteo Sammartino In 9th Symposium on Trustworthy Global Computing (TGC) 2014 [Abs] [PDF]

2013

  1. A decidable class of (nominal) omega-regular languages over an infinite alphabet Vincenzo Ciancia, and Matteo Sammartino CoRR 2013 [Abs] [arXiv]

2012

  1. Network Conscious π-calculus: A Concurrent Semantics Ugo Montanari, and Matteo Sammartino In 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS) 2012 [Abs] [PDF]