Pierre-Alain Reynier
Author
Alternate names P.‐A. Reynier, P. Reynier, Pierre‐Alain Reynier
Past institutions Aix-Marseille Université, Laboratoire d’Informatique et Systèmes, Centre National de la Recherche Scientifique, Université de Toulon, Laboratoire d’Informatique Fondamentale de Marseille +3 more
H-index: 17
I10-index: 24
Works count: 117
Citations count: 834
Active replication in Delta-4
2003 · Marc Chérèque, David Powell, et al.
Transducers, logic and algebra for functions of finite words
2016 · Emmanuel Filiot, Pierre-Alain Reynier · ACM SIGLOG News
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
2009 · Franck Cassez, J. J. Jessen, et al. · Lecture notes in computer science