Thierry Cachat

According to our database, Thierry Cachat authored at least 12 papers between 2001 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

The Complexity of Games on Higher Order Pushdown Automata

Thierry Cachat, Igor Walukiewicz

CoRR, 2007

Tree Automata Make Ordinal Theory Easy.

Thierry Cachat

Proceedings of the Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007, 2007

Attenuation Regulation as a Term Rewriting System.

Eugene Asarin, Thierry Cachat, Alexander V. Seliverstov, Tayssir Touili, Vassily A. Lyubetsky

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Controller synthesis & Ordinal Automata

Thierry Cachat

CoRR, 2006

Controller Synthesis and Ordinal Automata.

Thierry Cachat

Proceedings of the Automated Technology for Verification and Analysis, 2006

2003

Games on pushdown graphs and extensions.

Thierry Cachat

PhD thesis, 2003

Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games.

Thierry Cachat

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002

Uniform Solution of Parity Games on Prefix-Recognizable Graphs.

Thierry Cachat

Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), 2002

Symbolic Strategy Synthesis for Games on Pushdown Graphs.

Thierry Cachat

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Solving Pushdown Games with a Sigma₃ Winning Condition.

Thierry Cachat, Jacques Duparc, Wolfgang Thomas

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

The Power of One-Letter Rational Languages.

Thierry Cachat

Proceedings of the Developments in Language Theory, 5th International Conference, 2001

Two-Way Tree Automata Solving Pushdown Games.

Thierry Cachat

Proceedings of the Automata, 2001