CEA LIST)

Identifiers

• name variant CEA LIST) 0.60 · backfill

Papers (2)

1. Saturating directed spaces math.GN · 2012 · author #3
2. Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis cs.LO · 2011 · author #3

Mentions

• 1212.1074 #3 · backfill · confidence 0.70 CEA LIST)
• 1111.5223 #3 · backfill · confidence 0.70 CEA LIST)

Frequent Coauthors

• Andr\'e Hirschowitz (JAD) 1 shared papers
• Assal\'e Adj\'e (LIX 1 shared papers
• Ecole polytechnique 1 shared papers
• Ecole Polytechnique) 1 shared papers
• Eric Goubault (CEA LIST) 1 shared papers
• Michel Hirschowitz (LIX 1 shared papers
• St\'ephane Gaubert (INRIA Saclay 1 shared papers
• Tom Hirschowitz (LAMA) 1 shared papers