Olivier Serre

2009
16	EE	Vincent Gripon, Olivier Serre: Qualitative Concurrent Games with Imperfect Information CoRR abs/0902.2108: (2009)
2008
15	EE	Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun: Tree Pattern Rewriting Systems. ATVA 2008: 332-346
14	EE	Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre: µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348
13	EE	Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre: Winning Regions of Higher-Order Pushdown Games. LICS 2008: 193-204
12	EE	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre: Collapsible Pushdown Automata and Recursion Schemes. LICS 2008: 452-461
2007
11	EE	Christof Löding, Carsten Lutz, Olivier Serre: Propositional dynamic logic with recursive programs. J. Log. Algebr. Program. 73(1-2): 51-69 (2007)
2006
10	EE	Christof Löding, Olivier Serre: Propositional Dynamic Logic with Recursive Programs. FoSSaCS 2006: 292-306
9	EE	Olivier Serre: Parity Games Played on Transition Graphs of One-Counter Processes. FoSSaCS 2006: 337-351
8	EE	Vince Bárány, Christof Löding, Olivier Serre: Regularity Problems for Visibly Pushdown Languages. STACS 2006: 420-431
7	EE	Olivier Serre: Games with winning conditions of high Borel complexity. Theor. Comput. Sci. 350(2-3): 345-372 (2006)
2004
6	EE	Christof Löding, P. Madhusudan, Olivier Serre: Visibly Pushdown Games. FSTTCS 2004: 408-420
5	EE	Olivier Serre: Games with Winning Conditions of High Borel Complexity. ICALP 2004: 1150-1162
4	EE	Olivier Serre: Vectorial languages and linear temporal logic. Theor. Comput. Sci. 310(1-3): 79-116 (2004)
2003
3	EE	Alexis-Julien Bouquet, Olivier Serre, Igor Walukiewicz: Pushdown Games with Unboundedness and Regular Conditions. FSTTCS 2003: 88-99
2	EE	Olivier Serre: Note on winning positions on pushdown games with [omega]-regular conditions. Inf. Process. Lett. 85(6): 285-291 (2003)
2002
1		Olivier Serre: Vectorial Languages and Linear Temporal Logic. IFIP TCS 2002: 576-587

Coauthor Index

1	Benjamin Aminof	[14]
2	Vince Bárány	[8]
3	Alexis-Julien Bouquet	[3]
4	Arnaud Carayol	[13]
5	Blaise Genest	[15]
6	Vincent Gripon	[16]
7	Matthew Hague	[12] [13]
8	Axel Legay	[14]
9	Christof Löding	[6] [8] [10] [11]
10	Carsten Lutz	[11]
11	P. Madhusudan (Parthasarathy Madhusudan)	[6]
12	Antoine Meyer	[13]
13	Aniello Murano	[14]
14	Andrzej S. Murawski	[12]
15	Anca Muscholl	[15]
16	C.-H. Luke Ong	[12] [13]
17	Igor Walukiewicz	[3]
18	Marc Zeitoun	[15]

Colors in the list of coauthors