John G. Cleary

Publication Activity (10 Years)

Years Active: 1966-2014
Publications (10 Years): 0

Top Topics

Language Generation

Declarative Language

Computational Linguistics

Top Venues

J. Comput. Biol.

Parallel Comput.

Publications

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, Francisco M. de la Vega
Mutation Identification on Pedigrees from High-Throughput Sequencing Data. J. Comput. Biol. 21 (6) (2014)
Mark Utting, Min-Hsien Weng, John G. Cleary
The JStar language philosophy. Parallel Comput. 40 (2) (2014)
Mark Utting, Min-Hsien Weng, John G. Cleary
The JStar language philosophy. PMAM (2013)
Lunjin Lu, John G. Cleary
Simplifying Negative Goals Using Typed Existence Properties CoRR (2010)
Raf M. Podowski, John G. Cleary, Nicholas T. Goncharoff, Gregory Amoutzias, William S. Hayes
Suregene, a Scalable System for Automated Term Disambiguation of Gene and Protein Names. J. Bioinform. Comput. Biol. 3 (3) (2005)
Raf M. Podowski, John G. Cleary, Nicholas T. Goncharoff, Gregory Amoutzias, William S. Hayes
AZuRE, a Scalable System for Automated Term Disambiguation of Gene and Protein Names. CSB (2004)
John G. Cleary, Ian Graham, Tony McGregor, Murray Pearson, Ilze Ziedins, James Curtis, Stephen Donnelly, Jed Martens, Stele Martin
High precision traffic measurement. IEEE Commun. Mag. 40 (3) (2002)
Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting
Tabling Structures for Bottom-Up Logic Programming. LOPSTR (2002)
Xiao Zhonge, Rob Simmonds, Brian W. Unger, John G. Cleary
Parallel and distributed simulation: fast cell level ATM network simulation. WSC (2002)
Brian W. Unger, Zhonge Xiao, John G. Cleary, Jya-Jang Tsai, Carey L. Williamson
Parallel shared-memory simulator performance for large ATM networks. ACM Trans. Model. Comput. Simul. 10 (4) (2000)
Lunjin Lu, John G. Cleary
An Operational Semantics of Starlog. PPDP (1999)
Lunjin Lu, John G. Cleary
A Regular Type Analysis of Logic Programs. ICLP (1999)
John G. Cleary, W. J. Teahan
An Open Interface for Probabilistic Models of Text. Data Compression Conference (1999)
Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation. Workshop on Parallel and Distributed Simulation (1999)
John G. Cleary, Lunjin Lu
Constructive Negation Using Typed Existence Properties. PLILP/ALP (1998)
W. J. Teahan, Stuart Inglis, John G. Cleary, Geoffrey Holmes
Correcting English Text Using PPM Models. Data Compression Conference (1998)
W. J. Teahan, John G. Cleary
Tag Based Models of English Text. Data Compression Conference (1998)
Lunjin Lu, John G. Cleary
On Dart-Zobel Algorithm for Testing Regular Type Inclusion CoRR (1998)
Lunjin Lu, John G. Cleary
An Emptiness Algorithm for Regular Types with Set Operators CoRR (1998)
John G. Cleary, Jya-Jang Tsai
Performance of a Conservative Simulator of ATM Networks. Workshop on Parallel and Distributed Simulation (1997)
Fabian Gomes, Brian W. Unger, John G. Cleary, Steve Franks
Multiplexed State Saving for Bounded Rollback. WSC (1997)
Steve Franks, Fabian Gomes, Brian W. Unger, John G. Cleary
State Saving for Interactive Optimistic Simulation. Workshop on Parallel and Distributed Simulation (1997)
John G. Cleary, W. J. Teahan
Unbounded Length Contexts for PPM. Comput. J. 40 (2/3) (1997)
John G. Cleary
Constructive Negation of Arithmetic Constraints Using Dataflow Graphs. Constraints An Int. J. 2 (2) (1997)
Colin Boyd, John G. Cleary, Sean A. Irvine, Ingrid Rinsma-Melchert, Ian H. Witten
Integrating error detection into arithmetic coding. IEEE Trans. Commun. 45 (1) (1997)
Murray Pearson, Richard Littin, J. A. David McWha, John G. Cleary
Applying Time Warp to CPU design. HiPC (1997)
John G. Cleary, J. A. David McWha, Murray Pearson
Timestamp Representations for Virtual Sequences. Workshop on Parallel and Distributed Simulation (1997)
W. J. Teahan, John G. Cleary
Models of English Text. Data Compression Conference (1997)
John G. Cleary, Jya-Jang Tsai
Conservative Parallel Simulation of ATM Networks. Workshop on Parallel and Distributed Simulation (1996)
Fabian Gomes, Brian W. Unger, John G. Cleary
Language Based State Saving Extensions for Optimistic Parallel Simulation. WSC (1996)
John G. Cleary, Geoffrey Holmes, Sally Jo Cunningham, Ian H. Witten
MetaData for Database Mining. MD (1996)
W. J. Teahan, John G. Cleary
The Entropy of English Using PPM-based Models. Data Compression Conference (1996)
Darrin West, John G. Cleary, Jim Hofmann, Larry Mellon, Jim Ramsey
Infrastructure for Rapid Execution of Strike-Planning Systems. WSC (1995)
Zhonge Xiao, Fabian Gomes, Brian W. Unger, John G. Cleary
A fast asynchronous GVT algorithm for shared memory multiprocessor architectures. PADS (1995)
John G. Cleary, Leonard E. Trigg
: An Instance-based Learner Using and Entropic Distance Measure. ICML (1995)
John G. Cleary, Murray Pearson, Husam Kinawi
The architecture of an optimistic CPU: the WarpEngine. HICSS (1) (1995)
Fabian Gomes, John G. Cleary, Alan Covington, Steve Franks, Brian W. Unger, Xiao Zhonge
SimKit: A High Performance Logical Process Simulation Class Library in C++. WSC (1995)
John G. Cleary, W. J. Teahan, Ian H. Witten
Unbounded Length Contexts for PPM. Data Compression Conference (1995)
John G. Cleary, Sean A. Irvine, Ingrid Rinsma-Melchert
On the insecurity of arithmetic coding. Comput. Secur. 14 (2) (1995)
John G. Cleary, Fabian Gomes, Brian W. Unger, Zhonge Xiao, Raimar Thudt
Cost of state saving & rollback. PADS (1994)
Brian W. Unger, John G. Cleary
Commentary - Practical Parallel Discrete Event Simulation. INFORMS J. Comput. 5 (3) (1993)
Brian W. Unger, John G. Cleary, Alan Covington, Darrin West
An external state management system for optimistic parallel simulation. WSC (1993)
John J. Darragh, John G. Cleary, Ian H. Witten
Bonsai: a Compact Representation of Trees. Softw. Pract. Exp. 23 (3) (1993)
Xining Li, John G. Cleary, Brian W. Unger
Virtual time and virtual space. Int. J. Parallel Program. 21 (2) (1992)
Ian Olthof, John G. Cleary
AND-Parallel Prolog on a Transputer-Based System. IJCSLP Workshop on Concurrent and Parallel Implementations (1992)
Timothy C. Bell, Ian H. Witten, John G. Cleary
Modeling for Text Compression. ACM Comput. Surv. 21 (4) (1989)
Ian H. Witten, John G. Cleary
On the privacy afforded by adaptive text compression. Comput. Secur. 7 (4) (1988)
John G. Cleary, Geoff Wyvill
Analysis of an algorithm for fast ray tracing using uniform space subdivision. Vis. Comput. 4 (2) (1988)
John G. Cleary
Acquisition of Uncertain Rules in a Probabilistic Logic. Int. J. Man Mach. Stud. 27 (2) (1987)
Ian H. Witten, Radford M. Neal, John G. Cleary
Arithmetic Coding for Data Compression. Commun. ACM 30 (6) (1987)
Alan D. Dewar, John G. Cleary
Graphical Display of Complex Information within a Prolog Debugger. Int. J. Man Mach. Stud. 25 (5) (1986)
John G. Cleary, Brian Wyvill, Graham M. Birtwistle, Reddy Vatti
Multiprocessor Ray Tracing. Comput. Graph. Forum 5 (1) (1986)
John G. Cleary, Ian H. Witten
Data Compression Using Adaptive Coding and Partial String Matching. IEEE Trans. Commun. 32 (4) (1984)
John G. Cleary
Compact Hash Tables Using Bidirectional Linear Probing. IEEE Trans. Computers 33 (9) (1984)
John G. Cleary, Ian H. Witten
A comparison of enumerative and adaptive codes. IEEE Trans. Inf. Theory 30 (2) (1984)
Ian H. Witten, John G. Cleary, Saul Greenberg
On Frequency-Based Menu-Splitting Algorithms. Int. J. Man Mach. Stud. 21 (2) (1984)
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
Jade: A Distributed Software Prototyping Environment. ACM SIGOPS Oper. Syst. Rev. 17 (3) (1983)
Ian H. Witten, John G. Cleary
An introduction to the architecture of the Intel iAPX 432. Softw. Microsystems 2 (2) (1983)
John G. Cleary
Analysis of an Algorithm for Finding Nearest Neighbors in Euclidean Space. ACM Trans. Math. Softw. 5 (2) (1979)
Elliott I. Organick, John G. Cleary
A data structure model of the B6700 computer system. ACM SIGPLAN Notices 6 (2) (1971)
John G. Cleary
A Fortran technique for simplifying input to report generators. Commun. ACM 9 (6) (1966)