Axel Legay (INRIA)

Identifiers

• name variant Axel Legay (INRIA) 0.60 · backfill

Papers (4)

1. On the Expressiveness of Joining cs.LO · 2015 · author #2
2. *-Continuous Kleene $\omega$-Algebras cs.FL · 2015 · author #3
3. SoS contract verification using statistical model checking cs.SE · 2013 · author #4
4. A Robust Specification Theory for Modal Event-Clock Automata cs.LO · 2012 · author #2

Mentions

• 1508.04854 #2 · backfill · confidence 0.70 Axel Legay (INRIA)
• 1501.01118 #3 · backfill · confidence 0.70 Axel Legay (INRIA)
• 1311.3632 #4 · backfill · confidence 0.70 Axel Legay (INRIA)
• 1207.4268 #2 · backfill · confidence 0.70 Axel Legay (INRIA)

Frequent Coauthors

• Uli Fahrenberg (INRIA) 2 shared papers
• Alessandro Mignogna (ALES S.r.l.) 1 shared papers
• Alexandre Arnold (EADS) 1 shared papers
• Beno\^it Boyer (INRIA) 1 shared papers
• Leonardo Mangeruca (ALES S.r.l.) 1 shared papers
• Thomas Given-Wilson (Inria) 1 shared papers
• Zolt\'an \'Esik 1 shared papers