Olivier Serre

Identifiers

• name variant Olivier Serre 0.60 · backfill

Papers (6)

1. Emptiness of Stack Automata is NEXPTIME-complete: A Correction cs.FL · 2018 · author #4
2. Two-way Two-tape Automata cs.FL · 2017 · author #3
3. C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation cs.LO · 2017 · author #4
4. Pure Strategies in Imperfect Information Stochastic Games cs.FL · 2015 · author #3
5. Counting Branches in Trees Using Games cs.FL · 2015 · author #3
6. Streaming Property Testing of Visibly Pushdown Languages cs.DS · 2015 · author #4

Mentions

• 1506.09140 #3 · backfill · confidence 0.70 Olivier Serre
• 1505.03852 #3 · backfill · confidence 0.70 Olivier Serre
• 1505.03334 #4 · backfill · confidence 0.70 Olivier Serre

Frequent Coauthors

• Arnaud Carayol 4 shared papers
• Christopher Broadbent 2 shared papers
• Matthew Hague 2 shared papers
• Axel Haddad 1 shared papers
• Christof L\"oding 1 shared papers
• Fr\'ed\'eric Magniez 1 shared papers
• L\'eo Exibard 1 shared papers
• Michel de Rougemont 1 shared papers
• Nathana\"el Fran\c{c}ois 1 shared papers
• Olivier Carton 1 shared papers