The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems R Bagnara, PM Hill, E Zaffanella Science of Computer Programming 72 (1-2), 3-21, 2008 | 501 | 2008 |

Precise widening operators for convex polyhedra R Bagnara, PM Hill, E Ricci, E Zaffanella Science of Computer Programming 58 (1-2), 28-56, 2005 | 198 | 2005 |

Possibly not closed convex polyhedra and the Parma Polyhedra Library R Bagnara, E Ricci, E Zaffanella, PM Hill International Static Analysis Symposium, 213-229, 2002 | 176 | 2002 |

Widening operators for powerset domains R Bagnara, PM Hill, E Zaffanella International Workshop on Verification, Model Checking, and Abstract …, 2004 | 132* | 2004 |

Data-flow analysis for constraint logic-based languages R Bagnara Università di Pisa. Dipartimento di Informatica, 1997 | 62 | 1997 |

A unified proof for the convergence of Jacobi and Gauss–Seidel methods R Bagnara SIAM review 37 (1), 93-97, 1995 | 59 | 1995 |

Not necessarily closed convex polyhedra and the double description method R Bagnara, PM Hill, E Zaffanella Formal Aspects of Computing 17 (2), 222-257, 2005 | 54 | 2005 |

Generation of basic semi-algebraic invariants using convex polyhedra R Bagnara, E Rodríguez-Carbonell, E Zaffanella International Static Analysis Symposium, 19-34, 2005 | 51 | 2005 |

Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness R Bagnara, PM Hill, E Zaffanella Formal Methods in System Design 35 (3), 279-323, 2009 | 50 | 2009 |

Symbolic path-oriented test data generation for floating-point programs R Bagnara, M Carlier, R Gori, A Gotlieb 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 47 | 2013 |

Applications of polyhedral computations to the analysis and verification of hardware and software systems R Bagnara, PM Hill, E Zaffanella Theoretical Computer Science 410 (46), 4672-4691, 2009 | 47 | 2009 |

Set-sharing is redundant for pair-sharing R Bagnara, PM Hill, E Zaffanella International Static Analysis Symposium, 53-67, 1997 | 45 | 1997 |

A new look at the automatic synthesis of linear ranking functions R Bagnara, F Mesnard, A Pescetti, E Zaffanella Information and Computation 215, 47-67, 2012 | 44 | 2012 |

Factorizing equivalent variable pairs in ROBDD-based implementations of Pos R Bagnara, P Schachte International Conference on Algebraic Methodology and Software Technology …, 1999 | 43 | 1999 |

An improved tight closure algorithm for integer octagonal constraints R Bagnara, PM Hill, E Zaffanella International Workshop on Verification, Model Checking, and Abstract …, 2008 | 39 | 2008 |

Set-sharing is redundant for pair-sharing R Bagnara, PM Hill, E Zaffanella Theoretical Computer Science 277 (1-2), 3-46, 2002 | 35 | 2002 |

Eventual linear ranking functions R Bagnara, F Mesnard Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 33 | 2013 |

cTI: A constraint-based termination inference tool for ISO-Prolog F Mesnard, R Bagnara Theory and Practice of Logic Programming 5 (1-2), 243-257, 2005 | 33 | 2005 |

A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages R Bagnara Science of Computer Programming 30 (1-2), 119-155, 1998 | 32 | 1998 |

Widening operators for weakly-relational numeric abstractions R Bagnara, PM Hill, E Mazzi, E Zaffanella International Static Analysis Symposium, 3-18, 2005 | 30 | 2005 |