Scholar
Olivier H. Roux
Google Scholar ID: Pt0eWJoAAAAJ
Professor - Ecole Centrale Nantes, LS2N (CNRS) - France
Real Time Systems - Formal Methods - Petri Nets
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,125
H-index
35
i10-index
117
Publications
20
Co-authors
18
list available
Co-authors
6 total
Didier Lime
École Centrale de Nantes
Béatrice Bérard
professeur émérite d'informatique, Sorbonne Université
Louis-Marie Traonouez
INRIA Rennes
Étienne André
Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
S Akshay
IIT Bombay
Franck Cassez
Independent researcher
