Selected Scientific Publications
Export 3 results:Author Title Type [ Year]
Filters: Keyword is convex polyhedra [Clear All Filters]
Widening Operators for Powerset Domains. Software Tools for Technology Transfer. 8:449–466.. 2006.
Not Necessarily Closed Convex Polyhedra and the Double Description Method. Formal Aspects of Computing. 17:222–257.. 2005.
Precise Widening Operators for Convex Polyhedra. Science of Computer Programming. 58:28–56.. 2005.