Vincenzo Mastandrea
According to our database1,
Vincenzo Mastandrea
authored at least 4 papers
between 2016 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Analysis of synchronisation patterns in active object based on behavioural types. (Analyse de synchronisation dans les objets actifs basée sur les types comportementaux).
PhD thesis, 2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
2016
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016