Thierry Cachat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2001–2006
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ATVA | Controller Synthesis and Ordinal Automata. | Thierry Cachat |
| 2003 | ICALP | Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games. | Thierry Cachat |
| 2002 | CSL | Solving Pushdown Games with a Sigma | Thierry Cachat, Jacques Duparc, Wolfgang Thomas |
| 2002 | ICALP | Symbolic Strategy Synthesis for Games on Pushdown Graphs. | Thierry Cachat |
| 2001 | DLT | The Power of One-Letter Rational Languages. | Thierry Cachat |