Thierry Cachat

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
The Complexity of Games on Higher Order Pushdown Automata
CoRR, 2007

Tree Automata Make Ordinal Theory Easy.
Proceedings of the Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007, 2007

Attenuation Regulation as a Term Rewriting System.
Proceedings of the Algebraic Biology, Second International Conference, 2007

2006
Controller synthesis & Ordinal Automata
CoRR, 2006

Controller Synthesis and Ordinal Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2003
Games on pushdown graphs and extensions.
PhD thesis, 2003

Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002
Uniform Solution of Parity Games on Prefix-Recognizable Graphs.
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.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Solving Pushdown Games with a Sigma<sub>3</sub> Winning Condition.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001
The Power of One-Letter Rational Languages.
Proceedings of the Developments in Language Theory, 5th International Conference, 2001

Two-Way Tree Automata Solving Pushdown Games.
Proceedings of the Automata, 2001


  Loading...