Vivien Pelletier

According to our database1, Vivien Pelletier authored at least 4 papers between 2016 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Approximating Any Logic Program by a CS-Program.
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

Transforming Prefix-constrained or Controlled Rewrite Systems.
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


  Loading...