# Matteo Sammartino

According to our database

Collaborative distances:

^{1}, Matteo Sammartino authored at least 16 papers between 2012 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

A (co)algebraic theory of succinct automata.

J. Log. Algebr. Meth. Program., 2019

Symbolic Register Automata.

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

SDN-Actors: Modeling and Verification of SDN Programs.

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach.

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Learning nominal automata.

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

CALF: Categorical Automata Learning Framework.

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2015

From Local to Global Knowledge and Back.

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Reconfigurable and Software-Defined Networks of Connectors and Components.

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

A coalgebraic semantics for causality in Petri nets.

J. Log. Algebr. Meth. Program., 2015

Network-Conscious π-calculus - A Model of Pastry.

Electr. Notes Theor. Comput. Sci., 2015

Dynamic Programming on Nominal Graphs.

Proceedings of the Proceedings Graphs as Models, 2015

Revisiting causality, coalgebraically.

Acta Inf., 2015

Causal Trees, Finally.

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

A network-conscious π-calculus and its coalgebraic semantics.

Theor. Comput. Sci., 2014

A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours.

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

2012

Network Conscious π-calculus: A Concurrent Semantics.

Electr. Notes Theor. Comput. Sci., 2012