Matteo Sammartino

According to our database1, Matteo Sammartino authored at least 14 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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


  Loading...