Emmanuel Haucourt (CEA LIST)

Identifiers

• name variant Emmanuel Haucourt (CEA LIST) 0.60 · backfill

Papers (1)

1. Trace Spaces: an Efficient New Technique for State-Space Reduction cs.DC · 2012 · author #3

Mentions

• 1204.0414 #3 · backfill · confidence 0.70 Emmanuel Haucourt (CEA LIST)

Frequent Coauthors

• Eric Goubault (CEA LIST) 1 shared papers
• Lisbeth Fajstrup 1 shared papers
• Martin Raussen 1 shared papers
• Samuel Mimram (CEA LIST) 1 shared papers