Roberto Bagnara

Roberto Bagnara

Università degli Studi di Parma - Parma / Italy
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1856375
University of Parma
person_outline Roberto Bagnara's MOST POPULAR ARTICLES
1-) Precise widening operators for convex polyhedra Science of Computer Programming 58 (1-2), 28-56, 2005
2-) Possibly not closed convex polyhedra and the Parma Polyhedra Library International Static Analysis Symposium, 213-229, 2002
3-) Widening operators for powerset domains International Workshop on Verification, Model Checking, and Abstract …, 2004
4-) A unified proof for the convergence of Jacobi and Gauss–Seidel methods SIAM review 37 (1), 93-97, 1995
5-) A unified proof for the convergence of Jacobi and Gauss–Seidel methodsR BagnaraSIAM review 37 (1), 93-97, 1995841995