Julien Cristau

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Julien Cristau
Automata and temporal logic over arbitrary linear time CoRR (2011)
Julien Cristau, Claire David, Florian Horn
How do we remember the past in randomised strategies? GANDALF (2010)
Julien Cristau
Automata and temporal logic over arbitrary linear time. FSTTCS (2009)
Julien Cristau, Florian Horn
Graph Games on Ordinals. FSTTCS (2008)
Julien Cristau, Florian Horn
On Reachability Games of Ordinal Length. SOFSEM (2008)
Julien Cristau, Christof Löding, Wolfgang Thomas
Deterministic Automata on Unranked Trees. FCT (2005)
Wolfgang Thomas, Julien Cristau, Christof Löding
Deterministic Automata on Unranked Trees. Foundations of Semistructured Data (2005)