Searching for authors named Roberto Bagnara – sorted by Relevance.
41 documents found, showing 1 through 10.
Next 10 →
-
Structural Information Analysis for CLP Languages
- …Structural Information Analysis for CLP Languages Roberto Bagnara School of Computer Studies…
- Cited by 2 (2 self) – Add To MetaCart
-
A Unified Proof For The Convergence Of Jacobi And Gauss-Seidel Methods
- …–97, March 1995 008 A UNIFIED PROOF FOR THE CONVERGENCE OF JACOBI AND GAUSS-SEIDEL METHODS * ROBERTO BAGNARA…
- Cited by 1 (0 self) – Add To MetaCart
-
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
- …Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages Roberto Bagnara…
- Cited by 2 (0 self) – Add To MetaCart
-
A hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
- … Roberto Bagnara Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa, Italy…
- Cited by 11 (6 self) – Add To MetaCart
-
A Reactive Implementation of Pos Using ROBDDs
- …A Reactive Implementation of Pos Using ROBDDs Roberto Bagnara Dipartimento di Informatica…
- Cited by 12 (2 self) – Add To MetaCart
-
Checking and bounding the solutions of some recurrence relations
- …Checking and Bounding the Solutions of Some Recurrence Relations # Roberto Bagnara and Alessandro…
- Cited by 1 (1 self) – Add To MetaCart
-
Factorizing equivalent variable pairs in ROBDD-based implementations of Pos
- … Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos Roberto Bagnara1…
- Cited by 19 (6 self) – Add To MetaCart
-
On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs
- …On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs Roberto Bagnara…
- Cited by 6 (5 self) – Add To MetaCart
-
An Application of Constraint Propagation to Data-Flow Analysis
- …An Application of Constraint Propagation to Data-Flow Analysis Roberto Bagnara, Roberto Giacobazzi…
- Cited by 12 (9 self) – Add To MetaCart
-
Static Analysis of CLP Programs over Numeric Domains
- … Programs over Numeric Domains Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi Dipartimento di…
- Cited by 7 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
