
Publications
For an uptodate listing of our publications
you should visit the personal web pages of the
group members.
Here below we only list those Technical Reports
that have been published as ``Quaderni''
by the Department of Mathematics
of the University of Parma.



[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2010

The Automatic Synthesis of Linear Ranking Functions:
The Complete Unabridged Version.
Roberto Bagnara, Fred Mesnard, Andrea Pescetti and Enea Zaffanella.
Technical Report.
Quaderno 498 (2010), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2009

Exact Join Detection for Convex Polyhedra
and Other Numerical Abstractions.
Roberto Bagnara, Patricia M. Hill and Enea Zaffanella.
Technical Report.
Quaderno 492 (2009), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2008

On the Design of Generic Static Analyzers for Imperative Languages.
Roberto Bagnara, Patricia M. Hill, Andrea Pescetti and Enea Zaffanella.
Technical Report.
Quaderno 485 (2008), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2007

An Improved Tight Closure Algorithm for Integer Octagonal Constraints.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report.
Quaderno 467 (2007), Department of Mathematics, University of Parma, Italy.
Applications of Polyhedral Computations to the Analysis and Verification
of Hardware and Software Systems.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report.
Quaderno 458 (2007), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2006

The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions
for the Analysis and Verification of Hardware and Software Systems.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report.
Quaderno 457 (2006), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2005

Widening Operators for WeaklyRelational Numeric Abstractions.
Roberto Bagnara, Patricia M. Hill, Elena Mazzi, and Enea Zaffanella.
Technical Report.
Quaderno 399 (2005), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2004

FiniteTree Analysis for Constraint LogicBased Languages:
The Complete Unabridged Version.
Roberto Bagnara, Roberta Gori, Patricia M. Hill, and Enea Zaffanella.
Technical Report.
Quaderno 363 (2004), Department of Mathematics, University of Parma, Italy.
A semantic construction of twoary integers.
Gabriele Ricci.
Technical Report.
Quaderno 359 (2004), Department of Mathematics, University of Parma, Italy.
Widening Operators for Powerset Domains.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report.
Quaderno 349 (2004), Department of Mathematics, University of Parma, Italy.
Checking and Bounding the Solutions of Some Recurrence Relations.
Roberto Bagnara and Alessandro Zaccagnini.
Technical Report.
Quaderno 344 (2004), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2003

The Automatic Solution of Recurrence Relations.
I. Linear Recurrences of Finite Order with Constant Coefficients.
Roberto Bagnara, Alessandro Zaccagnini, and Tatiana Zolo.
Technical Report.
Quaderno 334 (2003), Department of Mathematics, University of Parma, Italy.
Precise Widening Operators for Convex Polyhedra.
Roberto Bagnara, Patricia M. Hill, Elisa Ricci, and Enea Zaffanella.
Technical Report.
Quaderno 312 (2003), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2002

A New Encoding and Implementation of
Not Necessarily Closed Convex Polyhedra.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report.
Quaderno 305 (2002), Department of Mathematics, University of Parma, Italy.
Possibly Not Closed Convex Polyhedra
and the Parma Polyhedra Library.
Roberto Bagnara, Elisa Ricci, Enea Zaffanella, and Patricia M. Hill.
Technical Report.
Quaderno 286 (2002), Department of Mathematics, University of Parma, Italy.
Foreign Language Interfaces for Prolog: A Terse Survey (Version 1).
Roberto Bagnara and Manuel Carro.
Technical Report.
Quaderno 283 (2002), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2001

A Correct, Precise and Efficient Integration
of SetSharing, Freeness and Linearity
for the Analysis of Finite and Rational Tree Languages.
Patricia M. Hill, Enea Zaffanella, and Roberto Bagnara.
Technical Report.
Quaderno 273 (2001), Department of Mathematics, University of Parma, Italy.
Boolean Functions for FiniteTree Dependencies.
Roberto Bagnara, Enea Zaffanella, Roberta Gori, and Patricia M. Hill.
Technical Report.
Quaderno 252 (2001), Department of Mathematics, University of Parma, Italy.
FiniteTree Analysis for Constraint LogicBased Languages.
Roberto Bagnara, Roberta Gori, Patricia M. Hill, and Enea Zaffanella.
Technical Report.
Quaderno 251 (2001), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 2000

A uniform approach to constraintsolving for lists, multisets,
compact lists, and sets.
Agostino Dovier, Carla Piazza, and Gianfranco Rossi.
Quaderno 235 (2000), Department of Mathematics, University of Parma, Italy.
Analytic monoids.
Gabriele Ricci.
Technical Report.
Quaderno 238 (2000), Department of Mathematics, University of Parma, Italy.
{log} User's Manual  Version 3.3.
Gianfranco Rossi.
Technical Report.
Quaderno 233 (2000), Department of Mathematics, University of Parma, Italy.
Efficient Structural Information Analysis for Real CLP Languages.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report.
Quaderno 229 (2000), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 1999

Proceedings of the Workshop on Declarative Programming with Sets.
Gianfranco Rossi and B. Jayaraman, Eds.
Technical Report.
Quaderno 200 (1999), Department of Mathematics, University of Parma, Italy.
Relating Set Constraints and Constraint Logic Programming
with Finite Sets.
Agostino Dovier, Carla Piazza, and Gianfranco Rossi.
Technical Report.
Quaderno 196 (1999), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 1998

A uniform axiomatic view of lists, multisets, and sets
in a logic programming framework.
Agostino Dovier, Alberto Policriti, and Gianfranco Rossi.
Technical Report.
Quaderno 184 (1998), Department of Mathematics, University of Parma, Italy.
Constructive negation and constraint logic programming with sets.
Agostino Dovier, Enrico Pontelli, and Gianfranco Rossi.
Technical Report.
Quaderno 183 (1998), Department of Mathematics, University of Parma, Italy.

[
2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

199x
]

Published in 1993

A Whitehead generator.
Gabriele Ricci.
Technical Report.
Quaderno 86 (1993), Department of Mathematics, University of Parma, Italy.

[Page last updated on January 16, 2013, 21:24:45.]
