Am\'elie Stainer

Identifiers

• name variant Am\'elie Stainer 0.60 · backfill

Papers (2)

1. Synthesising Succinct Strategies in Safety Games cs.LO · 2014 · author #3
2. Reachability of Communicating Timed Processes cs.LO · 2012 · author #3

Mentions

• 1404.6228 #3 · backfill · confidence 0.70 Am\'elie Stainer
• 1209.0571 #3 · backfill · confidence 0.70 Am\'elie Stainer

Frequent Coauthors

• Fr\'ed\'eric Herbreteau 1 shared papers
• Gilles Geeraerts 1 shared papers
• Gr\'egoire Sutre 1 shared papers
• Jo\"el Goossens 1 shared papers
• Lorenzo Clemente 1 shared papers