Arnaud Carayol

Recursion Schemes and Logical Reflection

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

Tree Language, Reflective W.r.t, Engineering +14

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

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

Engineering, Recursion Schemes, Verification +19

C-SHORe

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague et al. · 2013 · 26 citations · Full text

Hors Model-checking, Formal Specification, Engineering +14

Winning Regions of Higher-Order Pushdown Games

Arnaud Carayol, Matthew Hague, Antoine Meyer et al. · Proceedings - Symposium on Logic in Computer Science · 2008 · 25 citations

Mathematical Programming, Engineering, Combinatorial Game +23

On the representation of McCarthy's<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="italic">amb</mml:mi></mml:math>in the<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si2.gif" overflow="scroll"><mml:mi>π</mml:mi></mml:math>-calculus

Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi · Theoretical Computer Science · 2004 · 25 citations