St\'ephane Gaubert (INRIA Saclay

Identifiers

• name variant St\'ephane Gaubert (INRIA Saclay 0.60 · backfill

Papers (1)

1. Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis cs.LO · 2011 · author #4

Mentions

• 1111.5223 #4 · backfill · confidence 0.70 St\'ephane Gaubert (INRIA Saclay

Frequent Coauthors

• Assal\'e Adj\'e (LIX 1 shared papers
• CEA LIST) 1 shared papers
• Ecole polytechnique 1 shared papers
• Ecole Polytechnique) 1 shared papers
• Eric Goubault (CEA LIST) 1 shared papers