Eric Goubault (CEA LIST)

Identifiers

• name variant Eric Goubault (CEA LIST) 0.60 · backfill

Papers (3)

1. Trace Spaces: an Efficient New Technique for State-Space Reduction cs.DC · 2012 · author #2
2. Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis cs.LO · 2011 · author #6
3. Formal Relationships Between Geometrical and Classical Models for Concurrency cs.DC · 2010 · author #1

Mentions

• 1204.0414 #2 · backfill · confidence 0.70 Eric Goubault (CEA LIST)
• 1111.5223 #6 · backfill · confidence 0.70 Eric Goubault (CEA LIST)
• 1004.2818 #1 · backfill · confidence 0.70 Eric Goubault (CEA LIST)

Frequent Coauthors

• Samuel Mimram (CEA LIST) 2 shared papers
• Assal\'e Adj\'e (LIX 1 shared papers
• CEA LIST) 1 shared papers
• Ecole polytechnique 1 shared papers
• Ecole Polytechnique) 1 shared papers
• Emmanuel Haucourt (CEA LIST) 1 shared papers
• Lisbeth Fajstrup 1 shared papers
• Martin Raussen 1 shared papers
• St\'ephane Gaubert (INRIA Saclay 1 shared papers