Scholar
Frédéric Herbreteau
Google Scholar ID: Uq7DC_MAAAAJ
Univ. Bordeaux, CNRS, LaBRI, UMR 5800
Formal Methods
Logic
Automata
Model-checking
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
272
H-index
10
i10-index
10
Publications
20
Co-authors
11
list available
Contact
No contact links provided.
Publications
1 items
A Zone-Based Algorithm for Timed Parity Games
2025
Cited
0
Resume (English only)
Co-authors
11 total
B Srivathsan
Chennai Mathematical Institute, Associate Professor of Computer Science
Co-author 2
Co-author 3
Lorenzo Clemente
University of Warsaw
Akka ZEMMARI
Professor of Computer Science, LaBRI - Univ. Bordeaux, FRANCE
Partha Roop
Professor, Electrical, Computer and Software Engineering, The University of Auckland
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up