BAGNARA, Roberto

BAGNARA, Roberto  

Dipartimento di Scienze Matematiche, Fisiche e Informatiche  

Mostra records
Risultati 1 - 20 di 118 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 1-gen-2001 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 1-gen-2004 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis offinite and rational tree languages 1-gen-2004 Hill, Pm; Zaffanella, E; Bagnara, R
A General Event Handling System for the Valet-Plus 1-gen-1988 Bagnara, Roberto
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages 1-gen-1998 Bagnara, Roberto
A Linear Domain for Analyzing the Distribution of Numerical Values 1-gen-2005 Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A New Encoding of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A New Look at the Automatic Synthesis of Linear Ranking Functions 1-gen-2012 Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea
A Practical Approach to Interval Refinement for math.h/cmath Functions 1-gen-2016 Bagnara, Roberto; Michele, Chiari; Roberta, Gori; Abramo, Bagnara
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 1-gen-2020 Bagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo
A Prolog-Based Environment for Reasoning About Programming Languages 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A Rationale-Based Classification of MISRA C Guidelines 1-gen-2022 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
A Rationale-Based Classification of MISRA C Guidelines 1-gen-2021 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
A Reactive Implementation of Pos using ROBDDs 1-gen-1996 Bagnara, Roberto
A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods 1-gen-1995 Bagnara, Roberto
An Application of Constraint Propagation to Data-Flow Analysis 1-gen-1993 Bagnara, Roberto; Giacobazzi, R.; Levi, G.
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2008 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Analysing with China 1-gen-1999 Bagnara, Roberto