Vivien Pelletier
According to our database1,
Vivien Pelletier
authored at least 4 papers
between 2016 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
2017
Sur-approximations non régulières et terminaison pour l'analyse d'accessibilité. (Non-regular over-approximations and termination for reachability analysis).
PhD thesis, 2017
Proceedings of the SCSS 2017, 2017
2016
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems.
Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016