Nombre de documents trouvés : 11 documents

1 - 2

Attenuation Regulation as a Term Rewriting System Asarin E., Cachat T., Seliverstov A., Touili T., Lyubetsky V. Dans Proceedings of the Second International Conference on Algebraic Biology - Conference on Algebraic Biology, AB'07, Autriche (2007) [hal-00154748 − version 1]

The Complexity of Games on Higher Order Pushdown Automata Cachat T., Walukiewicz I. [hal-00144226 − version 1] (02/05/2007)

Tree Automata Make Ordinal Theory Easy Cachat T. Dans Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, 2006, Proceedings. FSTTCS 2006 - (2006) [hal-00110485 − version 1]

Controller synthesis & Ordinal Automata Cachat T. Dans Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06) - (2006) [hal-00019897 − version 3]

Introduction au contrôle des systèmes temps-réel Altisen K., Bouyer P., Cachat T., Cassez F., Gardey G. Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), France (2005) [hal-00019877 − version 1]

Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games Cachat T. Dans Proceedings of the 30th International Colloquium on Automata, Languages, and Programming (ICALP'03) - (2003) [hal-00019874 − version 1]

Two-Way Tree Automata Solving Pushdown Games Cachat T. Automata, Logics, and Infinite Games, Allemagne (2002) [hal-00019914 − version 1]

Uniform Solution of Parity Games on Prefix-Recognizable Graphs Cachat T. Dans Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (Infitnity'02) - (2002) [hal-00019913 − version 1]

Solving Pushdown Games with a Sigma_3 Winning Condition Cachat T., Duparc J., Thomas W. Dans Proceedings of the 11th Annual Conference of the European Association for Computer Science Logic (CSL'02) - (2002) [hal-00019911 − version 1]

The Power of One-Letter Rational Languages Cachat T. Dans Proceedings of the 5th international conference Developments in Language Theory (DLT'01) - (2002) [hal-00019898 − version 1]

1 - 2

L'URL de cette page est : http://hal.archives-ouvertes.fr/aut/Thierry Cachat/