Thierry Cachat

14 papers A* 2B 2C 1Journal 3Unranked 5

Year	Rank	Type	Title / Venue / Authors
2007	—	`conf`	Attenuation Regulation as a Term Rewriting System. AB Eugene Asarin, Thierry Cachat, Alexander V. Seliverstov, Tayssir Touili, Vassily A. Lyubetsky
2007	J	`jnl`	The Complexity of Games on Higher Order Pushdown Automata CoRR Thierry Cachat, Igor Walukiewicz
2007	—	`conf`	Tree Automata Make Ordinal Theory Easy. Algorithmic-Logical Theory of Infinite Structures Thierry Cachat
2006	B	`conf`	Controller Synthesis and Ordinal Automata. ATVA Thierry Cachat
2006	J	`jnl`	Controller synthesis & Ordinal Automata CoRR Thierry Cachat
2006	J	`jnl`	Tree Automata Make Ordinal Theory Easy CoRR Thierry Cachat
2006	—	`conf`	Tree Automata Make Ordinal Theory Easy. FSTTCS Thierry Cachat
2003	—	`—`	Games on pushdown graphs and extensions. Thierry Cachat
2003	A*	`conf`	Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games. ICALP Thierry Cachat
2002	B	`conf`	Solving Pushdown Games with a Sigma CSL Thierry Cachat, Jacques Duparc, Wolfgang Thomas
2002	A*	`conf`	Symbolic Strategy Synthesis for Games on Pushdown Graphs. ICALP Thierry Cachat
2002	—	`conf`	Uniform Solution of Parity Games on Prefix-Recognizable Graphs. INFINITY Thierry Cachat
2001	C	`conf`	The Power of One-Letter Rational Languages. Developments in Language Theory Thierry Cachat
2001	—	`conf`	Two-Way Tree Automata Solving Pushdown Games. Automata, Logics, and Infinite Games Thierry Cachat