Travelled to:
1 × USA
Collaborated with:
A.J.Venet
Talks about:
interpret (1) ellipsoid (1) dimension (1) extrapol (1) abstract (1) higher (1) conic (1)
Person: Mendes Oulamara
DBLP: Oulamara:Mendes
Contributed to:
Wrote 1 papers:
- CAV-2015-OulamaraV #abstract interpretation
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation (MO, AJV), pp. 415–430.