Arnaud Carayol

Identifiers

• name variant Arnaud Carayol 0.60 · backfill

Papers (10)

1. Efficient Uniform Sampling of Surjections via their Profiles cs.DS · 2026 · author #1
2. On long words avoiding Zimin patterns cs.DM · 2019 · author #1
3. Emptiness of Stack Automata is NEXPTIME-complete: A Correction cs.FL · 2018 · author #2
4. C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation cs.LO · 2017 · author #2
5. Algebraic Synchronization Trees and Processes cs.LO · 2016 · author #2
6. An analysis of the equational properties of the well-founded fixed point cs.DM · 2015 · author #1
7. Pure Strategies in Imperfect Information Stochastic Games cs.FL · 2015 · author #1
8. Counting Branches in Trees Using Games cs.FL · 2015 · author #1
9. The FC-rank of a context-free language cs.FL · 2012 · author #1
10. Context-Sensitive Languages, Rational Graphs and Determinism cs.LO · 2006 · author #1

Mentions

• 1506.09140 #1 · backfill · confidence 0.70 Arnaud Carayol
• 1505.03852 #1 · backfill · confidence 0.70 Arnaud Carayol
• 2605.24068 #1 · arxiv_oai · confidence 0.70 Arnaud Carayol
• 1202.6275 #1 · backfill · confidence 0.70 Arnaud Carayol

Frequent Coauthors

• Olivier Serre 4 shared papers
• Christopher Broadbent 2 shared papers
• Matthew Hague 2 shared papers
• Zoltan Esik 2 shared papers
• Anna Ing\'olfsd\'ottir 1 shared papers
• Antoine Meyer 1 shared papers
• Axel Haddad 1 shared papers
• Christof L\"oding 1 shared papers
• Luca Aceto 1 shared papers
• Pablo Rotondo 1 shared papers
• Stefan G\"oller 1 shared papers
• Zolt\'an \'Esik 1 shared papers