Eventual Linear Ranking Functions
Title | Eventual Linear Ranking Functions |
Publication Type | Conference Paper |
Authors | Bagnara R, Mesnard F |
Editor | Peña R, Schrijvers T |
Coding Guidelines for {Prolog}
Title | Coding Guidelines for {Prolog} |
Publication Type | Journal Article |
Authors | Covington MA, Bagnara R, O’Keefe RA, Wielemaker J, Price S |
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
Title | The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version |
Publication Type | Journal Article |
Authors | Bagnara R, Mesnard F, Pescetti A, Zaffanella E |
A New Look at the Automatic Synthesis of Linear Ranking Functions
Title | A New Look at the Automatic Synthesis of Linear Ranking Functions |
Publication Type | Journal Article |
Authors | Bagnara R., Mesnard F., Pescetti A., Zaffanella E. |
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions
Title | Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions |
Publication Type | Journal Article |
Authors | Bagnara R, Hill PM, Zaffanella E |
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems
Title | Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems |
Publication Type | Journal Article |
Authors | Bagnara R, Hill PM, Zaffanella E |
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness
Title | Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness |
Publication Type | Journal Article |
Authors | Bagnara R, Hill PM, Zaffanella E |
- 1 of 5
- next ›