Enea Zaffanella

2009
49	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions CoRR abs/0904.1783: (2009)
2008
48	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: An Improved Tight Closure Algorithm for Integer Octagonal Constraints. VMCAI 2008: 8-21
47	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
46	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: An Improved Tight Closure Algorithm for Integer Octagonal Constraints CoRR abs/0705.4618: (2007)
45	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) CoRR abs/0711.0345: (2007)
44	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)
43	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)
42	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening operators for powerset domains. STTT 9(3-4): 413-414 (2007)
2006
41	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
40	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)
39	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening operators for powerset domains. STTT 8(4-5): 449-466 (2006)
2005
38	EE	Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella: Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS 2005: 19-34
37	EE	Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions. SAS 2005: 3-18
36	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)
35	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)
34	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)
33	EE	Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation. TPLP 5(1-2): 1-43 (2005)
2004
32	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening Operators for Powerset Domains. VMCAI 2004: 135-148
31	EE	Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) CoRR abs/cs/0412043: (2004)
30	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)
29	EE	Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation CoRR cs.PL/0401022: (2004)
28	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)
27	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)
26		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
25	EE	Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella: Precise Widening Operators for Convex Polyhedra. SAS 2003: 337-354
2002
24	EE	Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill: Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. SAS 2002: 213-229
23		Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: Soundness, idempotence and commutativity of set-sharing. TPLP 2(2): 155-201 (2002)
22		Enea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing non-redundant sharing by complementation. TPLP 2(2): 233-261 (2002)
21	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
20	EE	Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill: Boolean Functions for Finite-Tree Dependencies. LPAR 2001: 579-594
19	EE	Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella: Finite-Tree Analysis for Constraint Logic-Based Languages. SAS 2001: 165-184
18	EE	Enea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing Non-Redundant Sharing by Complementation CoRR cs.PL/0101025: (2001)
17	EE	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: Soundness, Idempotence and Commutativity of Set-Sharing CoRR cs.PL/0102030: (2001)
2000
16	EE	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Efficient Structural Information Analysis for Real CLP Languages. LPAR 2000: 189-206
15	EE	Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation. PPDP 2000: 103-114
1999
14		Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhancing Sharing for Precision. APPIA-GULP-PRODE 1999: 213-228
13		Enea Zaffanella, Roberto Bagnara, Patricia M. Hill: Widening Sharing. APPIA-GULP-PRODE 1999: 559-574
12		Enea Zaffanella, Roberto Bagnara, Patricia M. Hill: Widening Sharing. PPDP 1999: 414-432
11	EE	Enea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing Non-redundant Sharing by Complementation. SAS 1999: 69-84
1998
10		Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: The Correctness of Set-Sharing. APPIA-GULP-PRODE 1998: 255-268
9	EE	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: The Correctness of Set-Sharing. SAS 1998: 99-114
1997
8		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Sharing Revisited. APPIA-GULP-PRODE 1997: 69-80
7		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Set-Sharing is Redundant for Pair-Sharing. SAS 1997: 53-67
6		Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. Journal of Functional and Logic Programming 1997(6): (1997)
1996
5		Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella: The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE 1996: 355-366
4		Enea Zaffanella: Modular Analysis of Suspension Free cc Programs. APPIA-GULP-PRODE 1996: 367-378
1995
3		Enea Zaffanella: Domain Independent Ask Approximation in CCP. CP 1995: 362-379
2		Enea Zaffanella: Domain Independent Ask Approximation in CCP. GULP-PRODE 1995: 89-100
1994
1		Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. PLILP 1994: 57-72

Coauthor Index

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