dblp.uni-trier.dewww.uni-trier.de

Roberto Bagnara

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
55EERoberto Bagnara, Patricia M. Hill, Enea Zaffanella: Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions CoRR abs/0904.1783: (2009)
2008
54EERoberto Bagnara, Patricia M. Hill, Enea Zaffanella: An Improved Tight Closure Algorithm for Integer Octagonal Constraints. VMCAI 2008: 8-21
53EERoberto 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
52EERoberto Bagnara, Patricia M. Hill, Enea Zaffanella: An Improved Tight Closure Algorithm for Integer Octagonal Constraints CoRR abs/0705.4618: (2007)
51EERoberto Bagnara, Patricia M. Hill, Enea Zaffanella: A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) CoRR abs/0711.0345: (2007)
50EERoberto 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)
49EERoberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella: On the Design of Generic Static Analyzers for Modern Imperative Languages CoRR abs/cs/0703116: (2007)
48EERoberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening operators for powerset domains. STTT 9(3-4): 413-414 (2007)
2006
47EERoberto Bagnara, Katy Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella: Grids: A Domain for Analyzing the Distribution of Numerical Values. LOPSTR 2006: 219-235
46EERoberto 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)
45EERoberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening operators for powerset domains. STTT 8(4-5): 449-466 (2006)
2005
44EERoberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella: Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS 2005: 19-34
43EERoberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions. SAS 2005: 3-18
42EERoberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella: PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis CoRR abs/cs/0512056: (2005)
41EERoberto Bagnara, Patricia M. Hill, Enea Zaffanella: Not necessarily closed convex polyhedra and the double description method. Formal Asp. Comput. 17(2): 222-257 (2005)
40EERoberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella: Precise widening operators for convex polyhedra. Sci. Comput. Program. 58(1-2): 28-56 (2005)
39EERoberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation. TPLP 5(1-2): 1-43 (2005)
38EEFrédéric Mesnard, Roberto Bagnara: cTI: A constraint-based termination inference tool for ISO-Prolog. TPLP 5(1-2): 243-257 (2005)
2004
37EERoberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening Operators for Powerset Domains. VMCAI 2004: 135-148
36EERoberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) CoRR abs/cs/0412043: (2004)
35EEPatricia 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)
34EERoberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation CoRR cs.PL/0401022: (2004)
33EERoberto 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)
32EERoberto 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
30EERoberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella: Precise Widening Operators for Convex Polyhedra. SAS 2003: 337-354
29EEFrédéric Mesnard, Roberto Bagnara: cTI: A constraint-based termination inference tool for ISO-Prolog CoRR cs.PL/0309028: (2003)
2002
28EERoberto 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)
25EERoberto Bagnara, Patricia M. Hill, Enea Zaffanella: Set-sharing is redundant for pair-sharing. Theor. Comput. Sci. 277(1-2): 3-46 (2002)
2001
24EERoberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill: Boolean Functions for Finite-Tree Dependencies. LPAR 2001: 579-594
23EERoberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella: Finite-Tree Analysis for Constraint Logic-Based Languages. SAS 2001: 165-184
22EEEnea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing Non-Redundant Sharing by Complementation CoRR cs.PL/0101025: (2001)
21EEPatricia M. Hill, Roberto Bagnara, Enea Zaffanella: Soundness, Idempotence and Commutativity of Set-Sharing CoRR cs.PL/0102030: (2001)
2000
20EERoberto Bagnara, Patricia M. Hill, Enea Zaffanella: Efficient Structural Information Analysis for Real CLP Languages. LPAR 2000: 189-206
19EERoberto 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
15EEEnea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing Non-redundant Sharing by Complementation. SAS 1999: 69-84
1998
14EERoberto 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
11EEPatricia 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

1Marco Comini [6]
2Katy Dobson [47]
3Roberto Giacobazzi [1]
4Roberta Gori [23] [24] [32] [33]
5Patricia 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]
6Giorgio Levi [1]
7Elena Mazzi [36] [43]
8Frédéric Mesnard [29] [38]
9Matthew Mundell [47]
10Andrea Pescetti [42] [49]
11Elisa Ricci [28] [30] [40]
12Enric Rodríguez-Carbonell [44]
13Peter Schachte [13] [14]
14Francesca Scozzari [6]
15Alessandro Zaccagnini [42]
16Enea 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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)