Searching for authors named "Thierry Cachat" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

Uniform solution of parity games on prefix-recognizable graphs
by Thierry Cachat — 2002 — ENTCS
…Uniform Solution of Parity Games on Prefix-Recognizable Graphs Thierry Cachat Lehrstuhl für…
Cited by 8 (0 self) – Add To MetaCart

Controller synthesis and ordinal automata
by Thierry Cachat — 2006 — In ATVA’06, Lecture Notes in Computer Science
…arXiv:cs/0608120v2 [cs.GT] 30 Oct 2006 Controller synthesis & Ordinal Automata ⋆ Thierry Cachat…
Cited by 2 (0 self) – Add To MetaCart

The Power of One-Letter Rational Languages
by Thierry Cachat, Thierry Cachat — 2001 — in [12
… Thierry Cachat ISSN 0935-3232 Aachener Informatik Berichte AIB-2001-03 RWTH Aachen Department…
Cited by 1 (0 self) – Add To MetaCart

The complexity of games on higher order pushdown automata
by Thierry Cachat, Igor Walukiewicz — 2007 — CoRR
…The Complexity of Games on Higher Order Pushdown Automata ⋆ Thierry Cachat 1 and Igor Walukiewicz…
Cited by 3 (0 self) – Add To MetaCart

Attenuation regulation as a term rewriting system
by Eugene Asarin, Thierry Cachat, Er Seliverstov, Tayssir Touili, Vassily Lyubetsky — In Hirokazu Anai, Katsuhisa Horimoto, and Temur Kutsia, editors, Proceedings of the Second International Conference on Algebraic Biology, AB’07, volume 4545 of Lecture
… ⋆ Eugene Asarin 1 , Thierry Cachat 1 , Alexander Seliverstov 2 , Tayssir Touili 1 , and Vassily Lyubetsky 2…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB