| 2024 | QRS | The ACPATH Structural Complexity Metric. | Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill |
| 2018 | SAS | The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. | Roberto Bagnara, Abramo Bagnara, Patricia M. Hill |
| 2008 | VMCAI | An Improved Tight Closure Algorithm for Integer Octagonal Constraints. | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
| 2006 | LOPSTR | Grids: A Domain for Analyzing the Distribution of Numerical Values. | Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella |
| 2005 | SAS | Widening Operators for Weakly-Relational Numeric Abstractions. | Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella |
| 2004 | VMCAI | Widening Operators for Powerset Domains. | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
| 2003 | PADL | Logic Programs as Compact Denotations. | Patricia M. Hill, Fausto Spoto |
| 2003 | SAS | Precise Widening Operators for Convex Polyhedra. | Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella |
| 2002 | SAS | Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. | Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill |
| 2002 | VMCAI | A Refinement of the Escape Property. | Patricia M. Hill, Fausto Spoto |
| 2001 | LPAR | Boolean Functions for Finite-Tree Dependencies. | Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill |
| 2001 | SAS | Finite-Tree Analysis for Constraint Logic-Based Languages. | Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
| 2000 | ESOP | Abstract Domains for Universal and Existential Properties. | Andrew Heaton, Patricia M. Hill, Andy King |
| 2000 | LPAR | Efficient Structural Information Analysis for Real CLP Languages. | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
| 2000 | PPDP | Enhanced sharing analysis techniques: a comprehensive evaluation. | Roberto Bagnara, Enea Zaffanella, Patricia M. Hill |
| 1999 | ESOP | Quotienting | Andy King, Jan-Georg Smaus, Patricia M. Hill |
| 1999 | FLOPS | An Interval Lattice-Based Constraint Solving Framework for Lattices. | Antonio J. Fernndez, Patricia M. Hill |
| 1999 | LOPSTR | Mode Analysis Domains for Typed Logic Programs. | Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1999 | PPDP | Widening Sharing. | Enea Zaffanella, Roberto Bagnara, Patricia M. Hill |
| 1999 | SAS | Freeness Analysis Through Linear Refinement. | Patricia M. Hill, Fausto Spoto |
| 1999 | SAS | Decomposing Non-redundant Sharing by Complementation. | Enea Zaffanella, Patricia M. Hill, Roberto Bagnara |
| 1998 | CP | An Impartial Efficiency Comparison of FD Constraint Systems. | Antonio J. Fernndez, Patricia M. Hill |
| 1998 | LOPSTR | Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. | Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1998 | SAS | The Correctness of Set-Sharing. | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
| 1997 | ICLP | Domain Construction for Mode Analysis of Typed Logic Programs. | Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1997 | LOPSTR | Analysis of Logic Programs with Delay. | Andrew Heaton, Patricia M. Hill, Andy King |
| 1997 | SAS | Set-Sharing is Redundant for Pair-Sharing. | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
| 1994 | LOPSTR | A Module System for Meta-Programming. | Patricia M. Hill |
| 1993 | IJCAI | A Parameterised Module System for Constructing Typed Logic Programs. | Patricia M. Hill |
| 1993 | LPAR | The Completion of Typed Logic Programs and SLDNF-Resolution. | Patricia M. Hill |
| 1992 | ECAI | Data Structures and Typed Logic Programs. | Patricia M. Hill |