Publications of Thierry Cachat
See also PhD Thesis
According to DBLP
According to HAL
BiBTeX file with ABSTRACTS.
T.Cachat, I.Walukiewicz,
The Complexity of Games on Higher Order Pushdown Automata,
a short note, May 2007,
postscript-file,
gzipped-postscript,
pdf-file.
HAL repository,
arXiv repository.
E.Asarin,
T.Cachat,
A.Seliverstov,
T.Touili
and V.Lyubetsky,
Attenuation Regulation as a Term Rewriting System, proceedings of
AB 2007,
LNCS 4545, pp. 81-94,
postscript and pdf-file here.
T.Cachat, Tree Automata Make Ordinal Theory Easy,
proceedings of FSTTCS 2006,
LNCS 4337, pp. 286-297,
postscript and pdf-file here.
Slides of a seminar postscript,
pdf
T.Cachat, Controller Synthesis and Ordinal Automata,
proceedings of ATVA 2006,
LNCS 4218, pp. 215-228,
full version with appendix
postscript and pdf-file here.
Slides of the talk: postscript-file,
pdf-file (revised 6 nov. 2006).
K.Altisen,
P.Bouyer,
T.Cachat,
F.Cassez and
G.Gardey,
Introduction au contrôle des systèmes temps-réel,
Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs
MSR'05,
Journal Européen des Systèmes Automatisés, vol. 39, pp. 367-380, Hermès 2005
postscript-file,
gzipped-postscript,
pdf-file.
T.Cachat, Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs
and Parity Games,
proceedings of ICALP 2003,
LNCS 2719, pp. 556-569,
full version with appendix:
postscript-file,
gzipped-postscript,
pdf-file.
(c) Springer.
Full version of the slides of the talk.
Slides of a (longer) seminar.
T.Cachat,
Two-Way Tree Automata Solving Pushdown Games,
in
Automata, Logics, and Infinite Games, E. Grädel, W. Thomas, and T. Wilke, eds.,
LNCS 2500, ch. 17, pp. 303-317, 2002,
postscript-file,
gzipped-postscript,
pdf-file.
(c) Springer.
T.Cachat,
J.Duparc and
W.Thomas,
Solving Pushdown Games with a Sigma_3 Winning Condition,
proceedings of CSL 2002,
LNCS 2471, pp. 322-336, NEW corrected version with appendix:
postscript-file,
gzipped-postscript,
pdf-file.
(c) Springer.
T.Cachat,
Uniform Solution of Parity Games on Prefix-Recognizable Graphs,
proceedings of
INFINITY 2002,
ENTCS 68 (6),
postscript-file,
gzipped-postscript,
pdf-file.
Some slides.
T.Cachat, Symbolic Strategy Synthesis for Games on Pushdown Graphs,
proceedings of
ICALP 2002, LNCS 2380, pp. 704-715,
full version with appendix:
postscript-file,
gzipped-postscript,
pdf-file.
(c) Springer.
Slides of the talk.
T.Cachat, The Power of One-Letter Rational Languages, proceedings
of DLT 2001,
LNCS 2295, pp. 145-154, NEW corrected version:
postscript-file,
gzipped-postscript,
pdf-file,
(c) Springer.
Slides of the talk.
Some other slides
Petite introduction à la théorie des jeux (in French)
postscript-file,
gzipped-postscript,
pdf-file.
Different examples of game-reduction
postscript-file,
gzipped-postscript,
pdf-file, or:
Quelques aspects de la jeu-simulation (in French)
postscript-file,
gzipped-postscript,
pdf-file,
Jeux sur des graphes infinis (in French)
postscript-file,
gzipped-postscript,
pdf-file,
Méthodes symboliques pour les jeux à pile (in French)
postscript-file,
gzipped-postscript,
pdf-file,
back to my homepage
Last modified: Wed Sep 19 16:40:30 CEST 2007
