publications

2020

  1. Algebras for Tree Decomposable Graphs
    Bruni, Roberto, Montanari, Ugo, and Sammartino, Matteo
    In Graph Transformation - 13th International Conference (ICGT) 2020
  2. Residual Nominal Automata
    Moerman, Joshua, and Sammartino, Matteo
    In 31st International Conference on Concurrency Theory (CONCUR) 2020
  3. Learning Automata with Side-Effects
    Heerdt, Gerco, Sammartino, Matteo, and Silva, Alexandra
    In Coalgebraic Methods in Computer Science - 15th International Workshop (CMCS) 2020
  4. Implementation correctness for Replicated Data Types, categorically
    Gadducci, Fabio, Melgratti, Hernan, Roldan, Christian, and Sammartino, Matteo
    In 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) 2020
  5. Actor-Based Model Checking for SDN Networks
    Albert, Elvira, Gómez-Zamalloa, Miguel, Isabel, Miguel, Rubio, Albert, Sammartino, Matteo, and Silva, Alexandra
    Journal of Logical and Algebraic Methods in Programming 2020

2019

  1. Symbolic Register Automata
    D’Antoni, Loris, Ferreira, Tiago, Sammartino, Matteo, and Silva, Alexandra
    In 31st International Conference on Computer-Aided Verification (CAV) 2019
  2. A (co)algebraic theory of succinct automata
    Heerdt, Gerco, Moerman, Joshua, Sammartino, Matteo, and Silva, Alexandra
    Journal of Logical and Algebraic Methods in Programming 2019
  3. Tree Automata as Algebras: Minimisation and Determinisation
    Heerdt, Gerco, Kappe, Tobias, Rot, Jurriaan, Sammartino, Matteo, and Silva, Alexandra
    In 8th Conference on Algebra and Coalgebra in Computer Science (CALCO) 2019
  4. A Categorical Account of Replicated Data Types
    Gadducci, Fabio, Melgratti, Hernan, Roldan, Christian, and Sammartino, Matteo
    In 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2019

2018

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

2017

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

2015

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

2014

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

2013

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

2012

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