Roberto Bagnara

2009
55	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions CoRR abs/0904.1783: (2009)
2008
54	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: An Improved Tight Closure Algorithm for Integer Octagonal Constraints. VMCAI 2008: 8-21
53	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1-2): 3-21 (2008)
2007
52	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: An Improved Tight Closure Algorithm for Integer Octagonal Constraints CoRR abs/0705.4618: (2007)
51	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) CoRR abs/0711.0345: (2007)
50	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems CoRR abs/cs/0701122: (2007)
49	EE	Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella: On the Design of Generic Static Analyzers for Modern Imperative Languages CoRR abs/cs/0703116: (2007)
48	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening operators for powerset domains. STTT 9(3-4): 413-414 (2007)
2006
47	EE	Roberto Bagnara, Katy Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella: Grids: A Domain for Analyzing the Distribution of Numerical Values. LOPSTR 2006: 219-235
46	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems CoRR abs/cs/0612085: (2006)
45	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening operators for powerset domains. STTT 8(4-5): 449-466 (2006)
2005
44	EE	Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella: Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS 2005: 19-34
43	EE	Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions. SAS 2005: 3-18
42	EE	Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella: PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis CoRR abs/cs/0512056: (2005)
41	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Not necessarily closed convex polyhedra and the double description method. Formal Asp. Comput. 17(2): 222-257 (2005)
40	EE	Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella: Precise widening operators for convex polyhedra. Sci. Comput. Program. 58(1-2): 28-56 (2005)
39	EE	Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation. TPLP 5(1-2): 1-43 (2005)
38	EE	Frédéric Mesnard, Roberto Bagnara: cTI: A constraint-based termination inference tool for ISO-Prolog. TPLP 5(1-2): 243-257 (2005)
2004
37	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening Operators for Powerset Domains. VMCAI 2004: 135-148
36	EE	Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) CoRR abs/cs/0412043: (2004)
35	EE	Patricia M. Hill, Enea Zaffanella, Roberto Bagnara: A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages CoRR cs.PL/0401021: (2004)
34	EE	Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation CoRR cs.PL/0401022: (2004)
33	EE	Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella: Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version CoRR cs.PL/0404055: (2004)
32	EE	Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella: Finite-tree analysis for constraint logic-based languages. Inf. Comput. 193(2): 84-116 (2004)
31		Patricia M. Hill, Enea Zaffanella, Roberto Bagnara: A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. TPLP 4(3): 289-323 (2004)
2003
30	EE	Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella: Precise Widening Operators for Convex Polyhedra. SAS 2003: 337-354
29	EE	Frédéric Mesnard, Roberto Bagnara: cTI: A constraint-based termination inference tool for ISO-Prolog CoRR cs.PL/0309028: (2003)
2002
28	EE	Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill: Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. SAS 2002: 213-229
27		Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: Soundness, idempotence and commutativity of set-sharing. TPLP 2(2): 155-201 (2002)
26		Enea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing non-redundant sharing by complementation. TPLP 2(2): 233-261 (2002)
25	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Set-sharing is redundant for pair-sharing. Theor. Comput. Sci. 277(1-2): 3-46 (2002)
2001
24	EE	Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill: Boolean Functions for Finite-Tree Dependencies. LPAR 2001: 579-594
23	EE	Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella: Finite-Tree Analysis for Constraint Logic-Based Languages. SAS 2001: 165-184
22	EE	Enea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing Non-Redundant Sharing by Complementation CoRR cs.PL/0101025: (2001)
21	EE	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: Soundness, Idempotence and Commutativity of Set-Sharing CoRR cs.PL/0102030: (2001)
2000
20	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Efficient Structural Information Analysis for Real CLP Languages. LPAR 2000: 189-206
19	EE	Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation. PPDP 2000: 103-114
1999
18		Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhancing Sharing for Precision. APPIA-GULP-PRODE 1999: 213-228
17		Enea Zaffanella, Roberto Bagnara, Patricia M. Hill: Widening Sharing. APPIA-GULP-PRODE 1999: 559-574
16		Enea Zaffanella, Roberto Bagnara, Patricia M. Hill: Widening Sharing. PPDP 1999: 414-432
15	EE	Enea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing Non-redundant Sharing by Complementation. SAS 1999: 69-84
1998
14	EE	Roberto Bagnara, Peter Schachte: Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. AMAST 1998: 471-485
13		Roberto Bagnara, Peter Schachte: Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. APPIA-GULP-PRODE 1998: 227-240
12		Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: The Correctness of Set-Sharing. APPIA-GULP-PRODE 1998: 255-268
11	EE	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: The Correctness of Set-Sharing. SAS 1998: 99-114
10		Roberto Bagnara: A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages. Sci. Comput. Program. 30(1-2): 119-155 (1998)
1997
9		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Sharing Revisited. APPIA-GULP-PRODE 1997: 69-80
8		Roberto Bagnara: Structural Information Analysis for CLP Languages. APPIA-GULP-PRODE 1997: 81-92
7		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Set-Sharing is Redundant for Pair-Sharing. SAS 1997: 53-67
1996
6		Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella: The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE 1996: 355-366
5		Roberto Bagnara: Straight ROBDDs are not the Best for Pos. APPIA-GULP-PRODE 1996: 493-498
4		Roberto Bagnara: A Reactive Implementation of Pos Using ROBDDs. PLILP 1996: 107-121
1995
3		Roberto Bagnara: Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. GULP-PRODE 1995: 581-592
1994
2		Roberto Bagnara: On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs. GULP-PRODE (1) 1994: 312-326
1992
1		Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi: Static Analysis of CLP Programs over Numeric Domains. WSA 1992: 43-50

Coauthor Index

1	Marco Comini	[6]
2	Katy Dobson	[47]
3	Roberto Giacobazzi	[1]
4	Roberta Gori	[23] [24] [32] [33]
5	Patricia M. Hill	[7] [9] [11] [12] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [31] [32] [33] [34] [35] [36] [37] [39] [40] [41] [43] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55]
6	Giorgio Levi	[1]
7	Elena Mazzi	[36] [43]
8	Frédéric Mesnard	[29] [38]
9	Matthew Mundell	[47]
10	Andrea Pescetti	[42] [49]
11	Elisa Ricci	[28] [30] [40]
12	Enric Rodríguez-Carbonell	[44]
13	Peter Schachte	[13] [14]
14	Francesca Scozzari	[6]
15	Alessandro Zaccagnini	[42]
16	Enea Zaffanella	[6] [7] [9] [11] [12] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [31] [32] [33] [34] [35] [36] [37] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55]

Colors in the list of coauthors