Thierry Cachat

	2007
14		Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky: Attenuation Regulation as a Term Rewriting System. AB 2007: 81-94
13		Thierry Cachat: Tree Automata Make Ordinal Theory Easy. Algorithmic-Logical Theory of Infinite Structures 2007
12		Thierry Cachat, Igor Walukiewicz: The Complexity of Games on Higher Order Pushdown Automata CoRR abs/0705.0262: (2007)
	2006
11		Thierry Cachat: Controller Synthesis and Ordinal Automata. ATVA 2006: 215-228
10		Thierry Cachat: Tree Automata Make Ordinal Theory Easy. FSTTCS 2006: 285-296
9		Thierry Cachat: Controller synthesis & Ordinal Automata CoRR abs/cs/0608120: (2006)
8		Thierry Cachat: Tree Automata Make Ordinal Theory Easy CoRR abs/cs/0610166: (2006)
	2003
7		Thierry Cachat: Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games. ICALP 2003: 556-569
6		Thierry Cachat: Games on pushdown graphs and extensions. RWTH Aachen University 2003: 1-146
	2002
5		Thierry Cachat, Jacques Duparc, Wolfgang Thomas: Solving Pushdown Games with a Sigma3 Winning Condition. CSL 2002: 322-336
4		Thierry Cachat: Symbolic Strategy Synthesis for Games on Pushdown Graphs. ICALP 2002: 704-715
3		Thierry Cachat: Uniform Solution of Parity Games on Prefix-Recognizable Graphs. Electr. Notes Theor. Comput. Sci. 68(6): 71-84 (2002)
	2001
2		Thierry Cachat: Two-Way Tree Automata Solving Pushdown Games. Automata, Logics, and Infinite Games 2001: 303-317
1		Thierry Cachat: The Power of One-Letter Rational Languages. Developments in Language Theory 2001: 145-154

Coauthor Index

1	Eugene Asarin	[14]
2	Jacques Duparc	[5]
3	Vassily A. Lyubetsky	[14]
4	Alexander Seliverstov	[14]
5	Wolfgang Thomas	[5]
6	Tayssir Touili	[14]
7	Igor Walukiewicz	[12]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page