Scholar
Pierre-Alain Reynier
Google Scholar ID: 4Z79XeQAAAAJ
LIS, Aix-Marseille Université
Formal verification
Logic and automata theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,240
H-index
20
i10-index
36
Publications
20
Co-authors
21
list available
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
Co-authors
11 total
Emmanuel Filiot
FNRS - Université Libre de Bruxelles
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Benjamin Monmege
Assistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et Systèmes
Kim G. Larsen
Director, Professor Aalborg University
Ocan Sankur
CNRS, Université de Rennes
Ismaël Jecker
Institute of Science and Technology, Austria
Léo Exibard
Assistant professor at LIGM, Université Gustave Eiffel
S Akshay
IIT Bombay
