Pages that link to "Item:Q2269830"
From MaRDI portal
The following pages link to Exact join detection for convex polyhedra and other numerical abstractions (Q2269830):
Displaying 5 items.
- A new look at the automatic synthesis of linear ranking functions (Q714505) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- A note on the inversion join for polyhedral analysis (Q2814111) (← links)
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (Q2891416) (← links)
- An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations (Q5170172) (← links)