Pierre-Alain Reynier
Scholar

Pierre-Alain Reynier

Google Scholar ID: 4Z79XeQAAAAJ
LIS, Aix-Marseille Université
Formal verificationLogic and automata theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,240
 
H-index
20
 
i10-index
36
 
Publications
20
 
Co-authors
21
list available
Contact
No contact links provided.
Publications
4 items
Minimizing Streaming String Transducers: An algebraic approach
2026
Cited
0
Lexicographic transductions of finite words
2025
Cited
0
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
International Conference on Concurrency Theory · 2022
Cited
3
Playing Stochastically in Weighted Timed Games to Emulate Memory
International Colloquium on Automata, Languages and Programming · 2021
Cited
4
Resume (English only)
Co-authors
21 total
Emmanuel Filiot
Emmanuel Filiot
FNRS - Université Libre de Bruxelles
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Jean-François Raskin
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Co-author 5
Co-author 5
Benjamin Monmege
Benjamin Monmege
Assistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et Systèmes
Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Co-author 8
Co-author 8