1. Bagnara R, Hill PM, Zaffanella E (2003) A new encoding and implementation of not necessarily closed convex polyhedra. In: Leuschel M, Gruner S, Presti SL (eds) Proceedings of the 3rd workshop on automated verification of critical systems (AVoCS’03). University of Southampton, pp 161–176
2. Bagnara R, Hill PM, Ricci E, Zaffanella E (2005) Widening operators for weakly-relational numeric abstractions. In: Hankin C, Siveroni I (eds) Proceedings of the 12th international symposium on static analysis (SAS 2005, London) (Lecture notes in computer science), vol 3672. Springer, Berlin, pp 3–18
3. Bagnara R, Hill PM, Zaffanella E (2005) Not necessarily closed convex polyhedra and the double description method. Form Asp Comput 17:222–257
4. Bagnara R, Hill PM, Zaffanella E (2008) The Parma Polyhedra Library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci Comput Program 72:3–21
5. Bagnara R, Hill PM, Zaffanella E (2009) Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theor Comput Sci 410:4672–4691