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
Publications
1 items
A Zone-Based Algorithm for Timed Parity Games
2025
Cited
0
Co-authors
7 total
B Srivathsan
Chennai Mathematical Institute, Associate Professor of Computer Science
Grégoire Sutre
Research Fellow, CNRS, University of Bordeaux
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
Olivier H. Roux
Professor - Ecole Centrale Nantes, LS2N (CNRS) - France
Franck Cassez
Independent researcher
