Julien Cristau

	2011
7		Julien Cristau: Automata and temporal logic over arbitrary linear time CoRR abs/1101.1731: (2011)
	2010
6		Julien Cristau, Claire David, Florian Horn: How do we remember the past in randomised strategies? GANDALF 2010: 30-39
	2009
5		Julien Cristau: Automata and temporal logic over arbitrary linear time. FSTTCS 2009: 133-144
	2008
4		Julien Cristau, Florian Horn: Graph Games on Ordinals. FSTTCS 2008: 143-154
3		Julien Cristau, Florian Horn: On Reachability Games of Ordinal Length. SOFSEM 2008: 211-221
	2005
2		Julien Cristau, Christof Löding, Wolfgang Thomas: Deterministic Automata on Unranked Trees. FCT 2005: 68-79
1		Wolfgang Thomas, Julien Cristau, Christof Löding: Deterministic Automata on Unranked Trees. Foundations of Semistructured Data 2005

Coauthor Index

1	Claire David	[6]
2	Florian Horn	[3] [4] [6]
3	Christof Löding	[1] [2]
4	Wolfgang Thomas	[1] [2]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page