Mendes Oulamara

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 1

Top Topics

Higher Dimensional

Abstract Interpretation

Top Venues

Publications

Mendes Oulamara, Alex Auvolat
An algorithm for geo-distributed and redundant storage in Garage. CoRR (2023)
Mendes Oulamara, Arnaud Venet
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation. CoRR (2015)
Mendes Oulamara, Arnaud J. Venet
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation. CAV (1) (2015)