Thierry Cachat

Publication Activity (10 Years)

Years Active: 2001-2007
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Thierry Cachat, Igor Walukiewicz
The Complexity of Games on Higher Order Pushdown Automata CoRR (2007)
Thierry Cachat
Tree Automata Make Ordinal Theory Easy. Algorithmic-Logical Theory of Infinite Structures (2007)
Eugene Asarin, Thierry Cachat, Alexander V. Seliverstov, Tayssir Touili, Vassily A. Lyubetsky
Attenuation Regulation as a Term Rewriting System. AB (2007)
Thierry Cachat
Controller synthesis & Ordinal Automata CoRR (2006)
Thierry Cachat
Tree Automata Make Ordinal Theory Easy. FSTTCS (2006)
Thierry Cachat
Controller Synthesis and Ordinal Automata. ATVA (2006)
Thierry Cachat
Tree Automata Make Ordinal Theory Easy CoRR (2006)
Thierry Cachat
Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games. ICALP (2003)
Thierry Cachat
Uniform Solution of Parity Games on Prefix-Recognizable Graphs. INFINITY (2002)
Thierry Cachat
Symbolic Strategy Synthesis for Games on Pushdown Graphs. ICALP (2002)
Thierry Cachat, Jacques Duparc, Wolfgang Thomas
Winning Condition. CSL (2002)
Thierry Cachat
Two-Way Tree Automata Solving Pushdown Games. Automata, Logics, and Infinite Games (2001)
Thierry Cachat
The Power of One-Letter Rational Languages. Developments in Language Theory (2001)