Roberto Bagnara

Available identifiers

zbMath Open bagnara.robertoMaRDI QIDQ714502

List of research outcomes

Publication	Date of Publication	Type
Correct approximation of IEEE 754 floating-point arithmetic for program verification	2022-07-07	Paper
Exploiting binary floating-point representations for constraint propagation	2016-05-19	Paper
Coding guidelines for Prolog	2012-12-27	Paper
A new look at the automatic synthesis of linear ranking functions	2012-10-11	Paper
Boolean Functions for Finite-Tree Dependencies	2011-05-06	Paper
Exact join detection for convex polyhedra and other numerical abstractions	2010-03-11	Paper
Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness	2010-02-05	Paper
Applications of polyhedral computations to the analysis and verification of hardware and software systems	2009-11-04	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
An Improved Tight Closure Algorithm for Integer Octagonal Constraints	2008-04-04	Paper
Grids: A Domain for Analyzing the Distribution of Numerical Values	2007-09-10	Paper
Static Analysis	2006-10-31	Paper
Static Analysis	2006-10-31	Paper
Finite-tree analysis for constraint logic-based languages	2006-03-07	Paper
Not necessarily closed convex polyhedra and the double description method	2005-12-13	Paper
Precise widening operators for convex polyhedra	2005-10-10	Paper
Enhanced sharing analysis techniques: a comprehensive evaluation	2005-04-29	Paper
cTI: a constraint-based termination inference tool for ISO-Prolog	2005-04-29	Paper
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages	2005-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4813407	2004-08-13	Paper
Soundness, idempotence and commutativity of set-sharing	2004-03-01	Paper
Decomposing non-redundant sharing by complementation	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4411960	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4778701	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2767017	2002-07-22	Paper
Set-sharing is redundant for pair-sharing	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4494374	2001-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4494373	2000-08-10	Paper
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages	1998-07-19	Paper
A Unified Proof for the Convergence of Jacobi and Gauss–Seidel Methods	1995-11-13	Paper

Research outcomes over time

This page was built for person: Roberto Bagnara