Matteo Sammartino

According to our database1, Matteo Sammartino
  • authored at least 17 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Learning Automata with Side-Effects.
CoRR, 2017

CALF: Categorical Automata Learning Framework.
CoRR, 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

2016
Learning Nominal Automata.
CoRR, 2016

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

A coalgebraic semantics for causality in Petri nets.
CoRR, 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

2013
A decidable class of (nominal) omega-regular languages over an infinite alphabet.
CoRR, 2013

2012
Network Conscious π-calculus: A Concurrent Semantics.
Electr. Notes Theor. Comput. Sci., 2012


  Loading...