| A low overhead method for recovering unused memory inside regions | 0 | 0.34 | 2013 |
| Towards region-based memory management for Go | 1 | 0.38 | 2012 |
| Region-based memory management for Mercury programs. | 1 | 0.35 | 2012 |
| Controlling loops in parallel mercury code | 0 | 0.34 | 2012 |
| Half reification and flattening | 11 | 0.62 | 2011 |
| Estimating the overlap between dependent computations for automatic parallelization. | 2 | 0.41 | 2011 |
| Minimizing the overheads of dependent {AND}-parallelism. | 4 | 0.48 | 2011 |
| Profiling parallel Mercury programs with ThreadScope | 1 | 0.37 | 2011 |
| DCGs + memoing = packrat parsing but is it worth it? | 7 | 0.69 | 2008 |
| Runtime support for region-based memory management in Mercury | 2 | 0.41 | 2008 |
| Tabling in mercury: design and implementation | 16 | 0.82 | 2006 |
| Controlling search space materialization in a practical declarative debugger | 1 | 0.35 | 2006 |
| Adding constraint solving to mercury | 7 | 0.68 | 2006 |
| The G12 Project: Mapping Solver Independent Models to Efficient Solutions | 21 | 1.40 | 2005 |
| Divide-and-query and subterm dependency tracking in the mercury declarative debugger | 3 | 0.40 | 2005 |
| Idempotent I/O for safe time travel | 2 | 0.40 | 2003 |
| Constraint-based mode analysis of mercury | 12 | 0.90 | 2002 |
| Using the heap to eliminate stack accesses | 0 | 0.34 | 2002 |
| Compiling Mercury to High-Level C Code | 8 | 0.69 | 2002 |
| Type classes in Mercury | 14 | 1.41 | 2000 |
| Run Time Type Information in Mercury | 6 | 0.75 | 1999 |
| The Implementation Technology of the Mercury Debugger | 11 | 0.63 | 1999 |
| MCORBA: A CORBA Binding for Mercury | 8 | 2.87 | 1999 |
| Making Mercury Programs Tail Recursive | 2 | 0.41 | 1999 |
| Termination Analysis for Mercury | 38 | 2.05 | 1997 |
| Database Transactions in a Purely Declarative Logic Programming Language | 16 | 18.46 | 1997 |
| The execution algorithm of mercury, an efficient purely declarative logic programming language | 201 | 9.88 | 1996 |
| Code Generation for Mercury | 10 | 0.72 | 1995 |
| Subsumption-free bottom-up evaluation of logic programs with partially instantiated data structures | 7 | 11.40 | 1994 |
| The implementation of Mercury, an efficient purely declarative logic programming language | 4 | 0.44 | 1994 |
| The Aditi Deductive Datebase System | 59 | 25.25 | 1994 |
| Status of the Aditi deductive database system | 1 | 0.92 | 1993 |
| Design overview of the Aditi deductive database system | 33 | 20.10 | 1991 |
| An introduction to Aditi deductive database system | 5 | 1.40 | 1991 |
| Right-, left-, and multi-linear rule transformations that maintain context information | 36 | 29.70 | 1990 |
| A backtracking algorithm for the stream AND-parallel execution of logic programs | 2 | 0.40 | 1988 |
| A Stream AND-Parallel Execution Algorithm with Backtracking | 3 | 0.44 | 1988 |
| A System of Precise Models for Logic Programs | 16 | 4.28 | 1987 |
