
Search the dblp DataBase
Thierry Cachat:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Thierry Cachat
Controller Synthesis and Ordinal Automata. [Citation Graph (0, 0)][DBLP] ATVA, 2006, pp:215228 [Conf]
 Thierry Cachat, Jacques Duparc, Wolfgang Thomas
Solving Pushdown Games with a Sigma_{3} Winning Condition. [Citation Graph (0, 0)][DBLP] CSL, 2002, pp:322336 [Conf]
 Thierry Cachat
TwoWay Tree Automata Solving Pushdown Games. [Citation Graph (0, 0)][DBLP] Automata, Logics, and Infinite Games, 2001, pp:303317 [Conf]
 Thierry Cachat
The Power of OneLetter Rational Languages. [Citation Graph (0, 0)][DBLP] Developments in Language Theory, 2001, pp:145154 [Conf]
 Thierry Cachat
Tree Automata Make Ordinal Theory Easy. [Citation Graph (0, 0)][DBLP] FSTTCS, 2006, pp:285296 [Conf]
 Thierry Cachat
Symbolic Strategy Synthesis for Games on Pushdown Graphs. [Citation Graph (0, 0)][DBLP] ICALP, 2002, pp:704715 [Conf]
 Thierry Cachat
Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games. [Citation Graph (0, 0)][DBLP] ICALP, 2003, pp:556569 [Conf]
 Thierry Cachat
Uniform Solution of Parity Games on PrefixRecognizable Graphs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:6, pp: [Journal]
 Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky
Attenuation Regulation as a Term Rewriting System. [Citation Graph (0, 0)][DBLP] AB, 2007, pp:8194 [Conf]
 Thierry Cachat, Igor Walukiewicz
The Complexity of Games on Higher Order Pushdown Automata [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp: [Journal]
 Thierry Cachat
Tree Automata Make Ordinal Theory Easy [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp: [Journal]
 Thierry Cachat
Controller synthesis & Ordinal Automata [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp: [Journal]
Tree Automata Make Ordinal Theory Easy. [Citation Graph (, )][DBLP]
Search in 0.146secs, Finished in 0.148secs
