Two-Way Tree Automata Solving Pushdown Games. - Thierry Cachat (Automata, Logics, and Infinite Games, 2001)

The Power of One-Letter Rational Languages. - Thierry Cachat (Developments in Language Theory, 2001)

Solving Pushdown Games with a Sigma3 Winning Condition. - Thierry Cachat; Jacques Duparc; Wolfgang Thomas (CSL, 2002)

Symbolic Strategy Synthesis for Games on Pushdown Graphs. - Thierry Cachat (ICALP, 2002)

Uniform Solution of Parity Games on Prefix-Recognizable Graphs. - Thierry Cachat (INFINITY, 2002)

Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games. - Thierry Cachat (ICALP, 2003)

Games on pushdown graphs and extensions. - Thierry Cachat (2003)

Controller Synthesis and Ordinal Automata. - Thierry Cachat (ATVA, 2006)

Controller synthesis & Ordinal Automata - Thierry Cachat (CoRR, 2006)

Attenuation Regulation as a Term Rewriting System. - Eugene Asarin; Thierry Cachat; Alexander V. Seliverstov; Tayssir Touili; Vassily A. Lyubetsky (AB, 2007)

Tree Automata Make Ordinal Theory Easy. - Thierry Cachat (Algorithmic-Logical Theory of Infinite Structures, 2007)

The Complexity of Games on Higher Order Pushdown Automata - Thierry Cachat; Igor Walukiewicz (CoRR, 2007)