Yannick Chevalier

Identifiers

• name variant Yannick Chevalier 0.60 · backfill

Papers (3)

1. Guarded Variable Automata over Infinite Alphabets cs.FL · 2013 · author #2
2. Fresh-Variable Automata for Service Composition cs.FL · 2013 · author #2
3. Satisfiability of General Intruder Constraints with and without a Set Constructor cs.CR · 2011 · author #2

Mentions

• 1304.6297 #2 · backfill · confidence 0.70 Yannick Chevalier
• 1302.4205 #2 · backfill · confidence 0.70 Yannick Chevalier
• 1103.0220 #2 · backfill · confidence 0.70 Yannick Chevalier

Frequent Coauthors

• Michael Rusinowitch 2 shared papers
• Walid Belkhir 2 shared papers
• Mathieu Turuani 1 shared papers
• Micha\"el Rusinowitch 1 shared papers
• Tigran Avanesov 1 shared papers