Selected Scientific Publications

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is N  [Clear All Filters]
2005
Bagnara R, Hill PM, Zaffanella E.  2005.  Not Necessarily Closed Convex Polyhedra and the Double Description Method. Formal Aspects of Computing. 17:222–257.PDF icon BagnaraHZ05FAC.pdf (388.2 KB)
2012
Bagnara R., Mesnard F., Pescetti A., Zaffanella E..  2012.  A New Look at the Automatic Synthesis of Linear Ranking Functions. Information and Computation. 215:47-67.PDF icon BagnaraMPZ12IC.pdf (463.08 KB)