BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Croatia
1 × France
1 × Japan
1 × Switzerland
1 × The Netherlands
2 × Hungary
2 × USA
2 × United Kingdom
Collaborated with:
O.Serre M.Hague C.H.Broadbent L.Braud C.Löding C.Morvan T.Colcombet C.L.Ong A.Haddad L.Aceto Z.Ésik A.Ingólfsdóttir A.Meyer
Talks about:
pushdown (5) order (4) tree (4) collaps (3) infinit (2) equival (2) system (2) scheme (2) recurs (2) higher (2)

Person: Arnaud Carayol

DBLP DBLP: Carayol:Arnaud

Contributed to:

LICS 20152015
AFL 20142014
ICFP 20132013
ICALP (2) 20122012
LICS 20122012
LICS 20112011
ICALP (2) 20102010
LICS 20102010
LICS 20082008
CSL 20072007
CSL 20062006
ICALP 20032003

Wrote 13 papers:

LICS-2015-CarayolS #game studies #how #question
How Good Is a Strategy in a Game with Nature? (AC, OS), pp. 609–620.
AFL-2014-CarayolH #algorithm #automaton #model checking
Saturation algorithms for model-checking pushdown systems (AC, MH), pp. 1–24.
ICFP-2013-BroadbentCHS #approach #higher-order #named #verification
C-SHORe: a collapsible approach to higher-order verification (CHB, AC, MH, OS), pp. 13–24.
ICALP-v2-2012-AcetoCEI #algebra #process
Algebraic Synchronization Trees and Processes (LA, AC, , AI), pp. 30–41.
ICALP-v2-2012-BroadbentCHS #automaton
A Saturation Method for Collapsible Pushdown Systems (CHB, AC, MH, OS), pp. 165–176.
LICS-2012-CarayolS #automaton #effectiveness #equivalence #recursion #safety
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection (AC, OS), pp. 165–174.
Qualitative Tree Languages (AC, AH, OS), pp. 13–22.
ICALP-v2-2010-BraudC #automaton #linear #order
Linear Orders in the Pushdown Hierarchy (LB, AC), pp. 88–99.
LICS-2010-BroadbentCOS #logic #recursion
Recursion Schemes and Logical Reflection (CHB, AC, CHLO, OS), pp. 120–129.
LICS-2008-CarayolHMOS #automaton #game studies #higher-order
Winning Regions of Higher-Order Pushdown Games (AC, MH, AM, CHLO, OS), pp. 193–204.
CSL-2007-CarayolL #infinity #order
MSO on the Infinite Binary Tree: Choice and Order (AC, CL), pp. 161–176.
CSL-2006-CarayolM #on the
On Rational Trees (AC, CM), pp. 225–239.
ICALP-2003-CarayolC #infinity #on the
On Equivalent Representations of Infinite Structures (AC, TC), pp. 599–610.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.