|
Search the dblp DataBase
Thierry Cachat:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thierry Cachat
Controller Synthesis and Ordinal Automata. [Citation Graph (0, 0)][DBLP] ATVA, 2006, pp:215-228 [Conf]
- Thierry Cachat, Jacques Duparc, Wolfgang Thomas
Solving Pushdown Games with a Sigma3 Winning Condition. [Citation Graph (0, 0)][DBLP] CSL, 2002, pp:322-336 [Conf]
- Thierry Cachat
Two-Way Tree Automata Solving Pushdown Games. [Citation Graph (0, 0)][DBLP] Automata, Logics, and Infinite Games, 2001, pp:303-317 [Conf]
- Thierry Cachat
The Power of One-Letter Rational Languages. [Citation Graph (0, 0)][DBLP] Developments in Language Theory, 2001, pp:145-154 [Conf]
- Thierry Cachat
Tree Automata Make Ordinal Theory Easy. [Citation Graph (0, 0)][DBLP] FSTTCS, 2006, pp:285-296 [Conf]
- Thierry Cachat
Symbolic Strategy Synthesis for Games on Pushdown Graphs. [Citation Graph (0, 0)][DBLP] ICALP, 2002, pp:704-715 [Conf]
- Thierry Cachat
Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games. [Citation Graph (0, 0)][DBLP] ICALP, 2003, pp:556-569 [Conf]
- Thierry Cachat
Uniform Solution of Parity Games on Prefix-Recognizable 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:81-94 [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.003secs, Finished in 0.004secs
|