41 citations · 91 across the 7 of their papers we have counts for
1 paper · 1 filter
Khalil Ghorbal, Eric Goubault, Sylvie Putot
We define and study a new abstract domain which is a fine-grained combination of zonotopes with polyhedric domains such as the interval, octagon, linear templates or polyhedron dom…