| 2013 | PPoPP | The JStar language philosophy. | Mark Utting, Min-Hsien Weng, John G. Cleary |
| 2002 | LOPSTR | Tabling Structures for Bottom-Up Logic Programming. | Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting |
| 2002 | WSC | Parallel and distributed simulation: fast cell level ATM network simulation. | Xiao Zhonge, Rob Simmonds, Brian W. Unger, John G. Cleary |
| 1999 | DCC | An Open Interface for Probabilistic Models of Text. | John G. Cleary, W. J. Teahan |
| 1999 | ICLP | A Regular Type Analysis of Logic Programs. | Lunjin Lu, John G. Cleary |
| 1999 | PADS | Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation. | Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary |
| 1999 | PPDP | An Operational Semantics of Starlog. | Lunjin Lu, John G. Cleary |
| 1998 | DCC | Tag Based Models of English Text. | W. J. Teahan, John G. Cleary |
| 1998 | DCC | Correcting English Text Using PPM Models. | W. J. Teahan, Stuart Inglis, John G. Cleary, Geoffrey Holmes |
| 1997 | DCC | Models of English Text. | W. J. Teahan, John G. Cleary |
| 1997 | HiPC | Applying Time Warp to CPU design. | Murray Pearson, Richard Littin, J. A. David McWha, John G. Cleary |
| 1997 | PADS | Timestamp Representations for Virtual Sequences. | John G. Cleary, J. A. David McWha, Murray Pearson |
| 1997 | PADS | Performance of a Conservative Simulator of ATM Networks. | John G. Cleary, Jya-Jang Tsai |
| 1997 | PADS | State Saving for Interactive Optimistic Simulation. | Steve Franks, Fabian Gomes, Brian W. Unger, John G. Cleary |
| 1997 | WSC | Multiplexed State Saving for Bounded Rollback. | Fabian Gomes, Brian W. Unger, John G. Cleary, Steve Franks |
| 1996 | DCC | The Entropy of English Using PPM-based Models. | W. J. Teahan, John G. Cleary |
| 1996 | PADS | Conservative Parallel Simulation of ATM Networks. | John G. Cleary, Jya-Jang Tsai |
| 1996 | WSC | Language Based State Saving Extensions for Optimistic Parallel Simulation. | Fabian Gomes, Brian W. Unger, John G. Cleary |
| 1995 | DCC | Unbounded Length Contexts for PPM. | John G. Cleary, W. J. Teahan, Ian H. Witten |
| 1995 | ICML | K | John G. Cleary, Leonard E. Trigg |
| 1995 | PADS | A fast asynchronous GVT algorithm for shared memory multiprocessor architectures. | Zhonge Xiao, Fabian Gomes, Brian W. Unger, John G. Cleary |
| 1995 | WSC | SimKit: A High Performance Logical Process Simulation Class Library in C++. | Fabian Gomes, John G. Cleary, Alan Covington, Steve Franks, Brian W. Unger, Xiao Zhonge |
| 1995 | WSC | Infrastructure for Rapid Execution of Strike-Planning Systems. | Darrin West, John G. Cleary, Jim Hofmann, Larry Mellon, Jim Ramsey |
| 1994 | PADS | Cost of state saving & rollback. | John G. Cleary, Fabian Gomes, Brian W. Unger, Zhonge Xiao, Raimar Thudt |
| 1993 | WSC | An external state management system for optimistic parallel simulation. | Brian W. Unger, John G. Cleary, Alan Covington, Darrin West |
| 1992 | ICLP | AND-Parallel Prolog on a Transputer-Based System. | Ian Olthof, John G. Cleary |