Olivier Serre

Collapsible Pushdown Automata and Recursion Schemes

Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong et al. · Proceedings - Symposium on Logic in Computer Science · 2008 · 147 citations

Computing, Computer Science, Algorithms +16

Recursion Schemes and Logical Reflection

Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong et al. · 2010 · 44 citations

Humanities, Computer Science, Logic +13

Note on winning positions on pushdown games with ω-regular conditions

Olivier Serre · Information Processing Letters · 2003 · 40 citations · Full text

Natural Sciences, Mathematics, Combinatorics +5

Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection

Arnaud Carayol, Olivier Serre · 2012 · 39 citations · Full text

Computing, Computer Science, Algorithms +15

Propositional dynamic logic with recursive programs

Christof Löding, Carsten Lutz, Olivier Serre · The Journal of Logic and Algebraic Programming · 2007 · 30 citations · Full text

Computing, Computer Science, Mathematics +14