Concepedia

Roberto Bagnara

RB

23

Publications

1.1K

Citations

16

H-Index

1992

Active since

Affiliations

University of Parma(Current)

University of Leeds

University of Pisa

Roberto Bagnara is an author at University of Parma specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

Publications per year

1992–2013

23

Publications

23

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · Science of Computer Programming · 2008 · 460 citations

, , +15

Widening operators for powerset domains

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · International Journal on Software Tools for Technology Transfer · 2007 · 64 citations · Full text

, , +2

Precise widening operators for convex polyhedra

Roberto Bagnara, Patricia M. Hill, Elisa Ricci et al. · Science of Computer Programming · 2005 · 64 citations

, , +6

A Unified Proof for the Convergence of Jacobi and Gauss–Seidel Methods

Roberto Bagnara · SIAM Review · 1995 · 53 citations

Data-Flow Analysis for Constraint Logic-Based Languages

Roberto Bagnara, Antonio Bassi, D. Bollini et al. · 1999 · 43 citations

, , +9

Rows per page

1–5 of 23