Deterministic Automata on Unranked Trees. - Wolfgang Thomas; Julien Cristau; Christof Löding (Foundations of Semistructured Data, 2005)

Graph Games on Ordinals. - Julien Cristau; Florian Horn 001 (FSTTCS, 2008)

On Reachability Games of Ordinal Length. - Julien Cristau; Florian Horn 001 (SOFSEM, 2008)

Automata and temporal logic over arbitrary linear time. - Julien Cristau (FSTTCS, 2009)

How do we remember the past in randomised strategies? - Julien Cristau; Claire David; Florian Horn 001 (GANDALF, 2010)

Jeux et automates sur les ordres. (Games and automata over linear orderings). - Julien Cristau (2010)