| |
| 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 | |
| 1 | Vince Bárány | [8] |
| 2 | Alexis-Julien Bouquet | [3] |
| 3 | Christof Löding | [6] [8] [10] [11] |
| 4 | Carsten Lutz | [11] |
| 5 | P. Madhusudan (Parthasarathy Madhusudan) | [6] |
| 6 | Igor Walukiewicz | [3] |