Eric Goubault (CEA LIST)
Identifiers
- name variant Eric Goubault (CEA LIST) 0.60 · backfill
Papers (3)
- Trace Spaces: an Efficient New Technique for State-Space Reduction cs.DC · 2012 · author #2
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis cs.LO · 2011 · author #6
- Formal Relationships Between Geometrical and Classical Models for Concurrency cs.DC · 2010 · author #1
Mentions
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