John G. Cleary

Affiliations:
  • University of Waikato, Hamilton, New Zealand


According to our database1, John G. Cleary authored at least 60 papers between 1966 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2014
The JStar language philosophy.
Parallel Comput., 2014

Joint Variant and <i>De Novo</i> Mutation Identification on Pedigrees from High-Throughput Sequencing Data.
J. Comput. Biol., 2014

2010
Simplifying Negative Goals Using Typed Existence Properties
CoRR, 2010

2005
Suregene, a Scalable System for Automated Term Disambiguation of Gene and Protein Names.
J. Bioinform. Comput. Biol., 2005

2004
AZuRE, a Scalable System for Automated Term Disambiguation of Gene and Protein Names.
Proceedings of the 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, 2004

2002
High precision traffic measurement.
IEEE Commun. Mag., 2002

Parallel and distributed simulation: fast cell level ATM network simulation.
Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, 2002

Tabling Structures for Bottom-Up Logic Programming.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2000
Parallel shared-memory simulator performance for large ATM networks.
ACM Trans. Model. Comput. Simul., 2000

1999
An Operational Semantics of Starlog.
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation.
Proceedings of the Thirteenth Workshop on Parallel and Distributed Simulation, 1999

A Regular Type Analysis of Logic Programs.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Open Interface for Probabilistic Models of Text.
Proceedings of the Data Compression Conference, 1999

1998
An Emptiness Algorithm for Regular Types with Set Operators
CoRR, 1998

On Dart-Zobel Algorithm for Testing Regular Type Inclusion
CoRR, 1998

Constructive Negation Using Typed Existence Properties.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Correcting English Text Using PPM Models.
Proceedings of the Data Compression Conference, 1998

Tag Based Models of English Text.
Proceedings of the Data Compression Conference, 1998

1997
Integrating error detection into arithmetic coding.
IEEE Trans. Commun., 1997

Constructive Negation of Arithmetic Constraints Using Dataflow Graphs.
Constraints An Int. J., 1997

Unbounded Length Contexts for PPM.
Comput. J., 1997

Multiplexed State Saving for Bounded Rollback.
Proceedings of the 29th conference on Winter simulation, 1997

State Saving for Interactive Optimistic Simulation.
Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Performance of a Conservative Simulator of ATM Networks.
Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Timestamp Representations for Virtual Sequences.
Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Applying Time Warp to CPU design.
Proceedings of the Fourth International on High-Performance Computing, 1997

Models of English Text.
Proceedings of the 7th Data Compression Conference (DCC '97), 1997

1996
Language Based State Saving Extensions for Optimistic Parallel Simulation.
Proceedings of the 28th conference on Winter simulation, 1996

Conservative Parallel Simulation of ATM Networks.
Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, 1996

MetaData for Database Mining.
Proceedings of the 1st IEEE Metadata Conference 1996, MD 1996, Silver Spring, 1996

The Entropy of English Using PPM-based Models.
Proceedings of the 6th Data Compression Conference (DCC '96), Snowbird, Utah, USA, March 31, 1996

1995
On the insecurity of arithmetic coding.
Comput. Secur., 1995

Infrastructure for Rapid Execution of Strike-Planning Systems.
Proceedings of the 27th conference on Winter simulation, 1995

SimKit: A High Performance Logical Process Simulation Class Library in C++.
Proceedings of the 27th conference on Winter simulation, 1995

A fast asynchronous GVT algorithm for shared memory multiprocessor architectures.
Proceedings of the Ninth Workshop on Parallel and Distributed Simulation, 1995

K<sup>*</sup>: An Instance-based Learner Using and Entropic Distance Measure.
Proceedings of the Machine Learning, 1995

The architecture of an optimistic CPU: the WarpEngine.
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Unbounded Length Contexts for PPM.
Proceedings of the IEEE Data Compression Conference, 1995

1994
Cost of state saving & rollback.
Proceedings of the Eighth Workshop on Parallel and Distributed Simulation, 1994

1993
Bonsai: a Compact Representation of Trees.
Softw. Pract. Exp., 1993

Commentary - Practical Parallel Discrete Event Simulation.
INFORMS J. Comput., 1993

An external state management system for optimistic parallel simulation.
Proceedings of the 25th Winter Simulation Conference, 1993

1992
Virtual time and virtual space.
Int. J. Parallel Program., 1992

AND-Parallel Prolog on a Transputer-Based System.
Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

1989
Modeling for Text Compression.
ACM Comput. Surv., 1989

1988
Analysis of an algorithm for fast ray tracing using uniform space subdivision.
Vis. Comput., 1988

On the privacy afforded by adaptive text compression.
Comput. Secur., 1988

1987
Acquisition of Uncertain Rules in a Probabilistic Logic.
Int. J. Man Mach. Stud., 1987

Arithmetic Coding for Data Compression.
Commun. ACM, 1987

1986
Graphical Display of Complex Information within a Prolog Debugger.
Int. J. Man Mach. Stud., 1986

Multiprocessor Ray Tracing.
Comput. Graph. Forum, 1986

1984
A comparison of enumerative and adaptive codes.
IEEE Trans. Inf. Theory, 1984

Data Compression Using Adaptive Coding and Partial String Matching.
IEEE Trans. Commun., 1984

Compact Hash Tables Using Bidirectional Linear Probing.
IEEE Trans. Computers, 1984

On Frequency-Based Menu-Splitting Algorithms.
Int. J. Man Mach. Stud., 1984

1983
Jade: A Distributed Software Prototyping Environment.
ACM SIGOPS Oper. Syst. Rev., 1983

An introduction to the architecture of the Intel iAPX 432.
Softw. Microsystems, 1983

1979
Analysis of an Algorithm for Finding Nearest Neighbors in Euclidean Space.
ACM Trans. Math. Softw., 1979

1971
A data structure model of the B6700 computer system.
ACM SIGPLAN Notices, 1971

1966
A Fortran technique for simplifying input to report generators.
Commun. ACM, 1966


  Loading...