A Fortran technique for simplifying input to report generators. - John G. Cleary (Commun. ACM, 1966)

A data structure model of the B6700 computer system. - Elliott I. Organick; John G. Cleary (ACM SIGPLAN Notices, 1971)

Analysis of an Algorithm for Finding Nearest Neighbors in Euclidean Space. - John G. Cleary (ACM Trans. Math. Softw., 1979)

An introduction to the architecture of the Intel iAPX 432. - Ian H. Witten; John G. Cleary (Softw. Microsystems, 1983)

Jade: A Distributed Software Prototyping Environment. - Ian H. Witten; Graham M. Birtwistle; John G. Cleary; David R. Hill; Danny Levinson; Greg Lomow; Radford M. Neal; Murray Peterson; Brian W. Unger; Brian Wyvill (ACM SIGOPS Oper. Syst. Rev., 1983)

On Frequency-Based Menu-Splitting Algorithms. - Ian H. Witten; John G. Cleary; Saul Greenberg (Int. J. Man Mach. Stud., 1984)

Compact Hash Tables Using Bidirectional Linear Probing. - John G. Cleary (IEEE Trans. Computers, 1984)

Data Compression Using Adaptive Coding and Partial String Matching. - John G. Cleary; Ian H. Witten (IEEE Trans. Commun., 1984)

A comparison of enumerative and adaptive codes. - John G. Cleary; Ian H. Witten (IEEE Trans. Inf. Theory, 1984)

Multiprocessor Ray Tracing. - John G. Cleary; Brian Wyvill; Graham M. Birtwistle; Reddy Vatti (Comput. Graph. Forum, 1986)

Graphical Display of Complex Information within a Prolog Debugger. - Alan D. Dewar; John G. Cleary (Int. J. Man Mach. Stud., 1986)

Arithmetic Coding for Data Compression. - Ian H. Witten; Radford M. Neal; John G. Cleary (Commun. ACM, 1987)

Acquisition of Uncertain Rules in a Probabilistic Logic. - John G. Cleary (Int. J. Man Mach. Stud., 1987)

On the privacy afforded by adaptive text compression. - Ian H. Witten; John G. Cleary (Comput. Secur., 1988)

Analysis of an algorithm for fast ray tracing using uniform space subdivision. - John G. Cleary; Geoff Wyvill (Vis. Comput., 1988)

Modeling for Text Compression. - Timothy C. Bell; Ian H. Witten; John G. Cleary (ACM Comput. Surv., 1989)

AND-Parallel Prolog on a Transputer-Based System. - Ian Olthof; John G. Cleary (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

Virtual time and virtual space. - Xining Li; John G. Cleary; Brian W. Unger (Int. J. Parallel Program., 1992)

An external state management system for optimistic parallel simulation. - Brian W. Unger; John G. Cleary; Alan Covington; Darrin West (WSC, 1993)

Commentary - Practical Parallel Discrete Event Simulation. - Brian W. Unger; John G. Cleary (INFORMS J. Comput., 1993)

Bonsai: a Compact Representation of Trees. - John J. Darragh; John G. Cleary; Ian H. Witten (Softw. Pract. Exp., 1993)

Cost of state saving & rollback. - John G. Cleary; Fabian Gomes; Brian W. Unger; Zhonge Xiao; Raimar Thudt (PADS, 1994)

Unbounded Length Contexts for PPM. - John G. Cleary; W. J. Teahan; Ian H. Witten (Data Compression Conference, 1995)

The architecture of an optimistic CPU: the WarpEngine. - John G. Cleary; Murray Pearson; Husam Kinawi (HICSS (1), 1995)

K*: An Instance-based Learner Using and Entropic Distance Measure. - John G. Cleary; Leonard E. Trigg (ICML, 1995)

A fast asynchronous GVT algorithm for shared memory multiprocessor architectures. - Zhonge Xiao; Fabian Gomes; Brian W. Unger; John G. Cleary (PADS, 1995)

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 (WSC, 1995)

Infrastructure for Rapid Execution of Strike-Planning Systems. - Darrin West; John G. Cleary; Jim Hofmann; Larry Mellon; Jim Ramsey (WSC, 1995)

On the insecurity of arithmetic coding. - John G. Cleary; Sean A. Irvine; Ingrid Rinsma-Melchert (Comput. Secur., 1995)

The Entropy of English Using PPM-based Models. - W. J. Teahan; John G. Cleary (Data Compression Conference, 1996)

MetaData for Database Mining. - John G. Cleary; Geoffrey Holmes 001; Sally Jo Cunningham; Ian H. Witten (MD, 1996)

Conservative Parallel Simulation of ATM Networks. - John G. Cleary; Jya-Jang Tsai (Workshop on Parallel and Distributed Simulation, 1996)

Language Based State Saving Extensions for Optimistic Parallel Simulation. - Fabian Gomes; Brian W. Unger; John G. Cleary (WSC, 1996)

Models of English Text. - W. J. Teahan; John G. Cleary (Data Compression Conference, 1997)

Applying Time Warp to CPU design. - Murray Pearson; Richard Littin; J. A. David McWha; John G. Cleary (HiPC, 1997)

Timestamp Representations for Virtual Sequences. - John G. Cleary; J. A. David McWha; Murray Pearson (Workshop on Parallel and Distributed Simulation, 1997)

Performance of a Conservative Simulator of ATM Networks. - John G. Cleary; Jya-Jang Tsai (Workshop on Parallel and Distributed Simulation, 1997)

State Saving for Interactive Optimistic Simulation. - Steve Franks; Fabian Gomes; Brian W. Unger; John G. Cleary (Workshop on Parallel and Distributed Simulation, 1997)

Multiplexed State Saving for Bounded Rollback. - Fabian Gomes; Brian W. Unger; John G. Cleary; Steve Franks (WSC, 1997)

Unbounded Length Contexts for PPM. - John G. Cleary; W. J. Teahan (Comput. J., 1997)

Constructive Negation of Arithmetic Constraints Using Dataflow Graphs. - John G. Cleary (Constraints An Int. J., 1997)

Integrating error detection into arithmetic coding. - Colin Boyd; John G. Cleary; Sean A. Irvine; Ingrid Rinsma-Melchert; Ian H. Witten (IEEE Trans. Commun., 1997)

Tag Based Models of English Text. - W. J. Teahan; John G. Cleary (Data Compression Conference, 1998)

Correcting English Text Using PPM Models. - W. J. Teahan; Stuart Inglis; John G. Cleary; Geoffrey Holmes 001 (Data Compression Conference, 1998)

Constructive Negation Using Typed Existence Properties. - John G. Cleary; Lunjin Lu (PLILP/ALP, 1998)

On Dart-Zobel Algorithm for Testing Regular Type Inclusion - Lunjin Lu; John G. Cleary (CoRR, 1998)

An Emptiness Algorithm for Regular Types with Set Operators - Lunjin Lu; John G. Cleary (CoRR, 1998)

An Open Interface for Probabilistic Models of Text. - John G. Cleary; W. J. Teahan (Data Compression Conference, 1999)

A Regular Type Analysis of Logic Programs. - Lunjin Lu; John G. Cleary (ICLP, 1999)

Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation. - Xiao Zhonge; Brian W. Unger; Rob Simmonds; John G. Cleary (Workshop on Parallel and Distributed Simulation, 1999)

An Operational Semantics of Starlog. - Lunjin Lu; John G. Cleary (PPDP, 1999)

Parallel shared-memory simulator performance for large ATM networks. - Brian W. Unger; Zhonge Xiao; John G. Cleary; Jya-Jang Tsai; Carey L. Williamson (ACM Trans. Model. Comput. Simul., 2000)

Tabling Structures for Bottom-Up Logic Programming. - Roger Clayton; John G. Cleary; Bernhard Pfahringer; Mark Utting (LOPSTR, 2002)

Parallel and distributed simulation: fast cell level ATM network simulation. - Xiao Zhonge; Rob Simmonds; Brian W. Unger; John G. Cleary (WSC, 2002)

High precision traffic measurement. - John G. Cleary; Ian Graham; Tony McGregor; Murray Pearson; Ilze Ziedins 001; James Curtis; Stephen Donnelly; Jed Martens; Stele Martin (IEEE Commun. Mag., 2002)

AZuRE, a Scalable System for Automated Term Disambiguation of Gene and Protein Names. - Raf M. Podowski; John G. Cleary; Nicholas T. Goncharoff; Gregory Amoutzias; William S. Hayes (CSB, 2004)

Suregene, a Scalable System for Automated Term Disambiguation of Gene and Protein Names. - Raf M. Podowski; John G. Cleary; Nicholas T. Goncharoff; Gregory Amoutzias; William S. Hayes (J. Bioinform. Comput. Biol., 2005)

Simplifying Negative Goals Using Typed Existence Properties - Lunjin Lu; John G. Cleary (CoRR, 2010)

Joint Variant and De Novo Mutation Identification on Pedigrees from High-Throughput Sequencing Data. - John G. Cleary; Ross Braithwaite; Kurt Gaastra; Brian S. Hilbush; Stuart Inglis; Sean A. Irvine; Alan Jackson; Richard Littin; Sahar Nohzadeh-Malakshah; Mehul Rathod; David Ware; Len Trigg; et al. (J. Comput. Biol., 2014)

The JStar language philosophy. - Mark Utting; Min-Hsien Weng; John G. Cleary (Parallel Comput., 2014)