Scholar

Frédéric Herbreteau

Google Scholar ID: Uq7DC_MAAAAJ

Univ. Bordeaux, CNRS, LaBRI, UMR 5800

Formal MethodsLogicAutomataModel-checking

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

Chennai Mathematical Institute, Associate Professor of Computer Science

Lorenzo Clemente

University of Warsaw

Professor of Computer Science, LaBRI - Univ. Bordeaux, FRANCE

Professor, Electrical, Computer and Software Engineering, The University of Auckland