Refereed Publications

[1] Olthof, I., and Cleary, J.G.(accepted in press) "The Design of an Optimistic AND-parallel Prolog," Journal of Logic Programming.

[2] Xiao, Z., Cleary, J., Gomes, F., and Unger, B.(1995) "A Fast Asynchronous GVT Algorithm for Shared Memory Multiprocessor Architectures," 9th Workshop on Parallel and Distributed Simulation, Lake Placid, NY, pp. 203-208, June.

[3] West, D., Mellon, L., Cleary, J., Ramsey, J., and Hofman, J.(1995) "Infrastructure for Rapid Execution of Strike-planning Systems," Winter Simulation Conference, Washington, D.C., December.

[4] Liu, M., and Cleary, J.(accepted 1995) "Declarative Updates in Deductive Object-Oriented Databases," J. Microcomputers.

[5] Gomes, F., Cleary, J., Covington, A., Franks,S. , Unger, B. , and Xiao, Z. (1995) "SimKit: A High Performance Logical Process Simulation Class Library in C++," Winter Simulation Conference, Washington, D.C., December.

[6] Cleary, J. G., and Trigg, L.(1995) "K*: An Instance-based Learner Using an Entropic Distance Measure," Machine Learning 95, Lake Tahoe, CA, pp. 108-114, July.

[7] Cleary, J. G., Teahan, W. J., and Witten, I. H.(1995) "Unbounded length contexts for PPM," Data Compression Conference, Salt Lake City, UT, pp. 52-61, April.

[8] Cleary, J. G., and Teahan, W. J.(1995) "Experiments on the zero frequency problem," Data Compression Conference, Salt Lake City, UT, p.480, April.

[9] Cleary, J. G., Pearson, M., and Kinawi, H.(1995) "The Architecture of an Optimistic CPU: The WarpEngine," Proc. Hawaian Int. Conf. of System Science, Hawaii, vol. 1, pp. 163-172, January.

[10] Cleary, J. G., Irvine, S., and Rinsma-Melchert, I.(accepted 1995) "On the Insecurity of Arithmetic Coding," Computers & Security.

[11] Smith, T., Witten, I., Cleary, J. G., and Legg, S.(1994) "Objective Evaluation of Inferred Context-Free Grammars," Proc. 2nd Australian and New Zealand Conf. Intelligent Information Systems, pp. 392-396, November.

[12] Liu, M., and Cleary, J.G.(1994) "Declarative Updates in Deductive Databases," Journal of Computing and Information, 1, pp. 1435-1446.

[13] Cleary, J.G., Gomes, F., Unger, B.W., Xiao Zhonge, and Thudt, R.(1994) "Cost of State Saving and Rollback," Parallel and Distributed Simulation, Edinburgh, pp. 94-101, June.

[14] Cleary, J.G., Franks, S., Gomes, F., Kinawi, H., Unger, B.W., and Xiao Zhonge(1994) "Experience with Implementing TimeWarp on Shared Memory Computers," Supercomputing Systems, Toronto, pp. 192-199, June.

[15] Unger, B. W., Cleary, J. G., Covington, A., and West, D.(1993) "An External State Management System for Optimistic Parallel Simulation," Winter Simulation Conference, Los Angeles, pp. 750-755, December.

[16] Unger, B. W., and Cleary, J. G.(1993) "Practical Parallel Discrete Event Simulation ," ORSA Journal on Computing, 5(3), pp. 242-244, March.

[17] Darragh, J.J., Cleary, J.G., and Witten, I.H.(1993) "Bonsai: A Compact Representation of Trees," Software Practice and Experience, 23(3), pp. 277-291, March.

[18] Cleary, J.G.(1993) "Proving the Existence of Solutions in Logical Arithmetic," NATO Advanced Study Institute: Constraint Programming, Pärnu, Estonia, pp. 52-63, August.

[19] Liu, M., and Cleary, J.G.(1992) "Object Identity in Databases," Fourth International Conference in Computers and Information, Toronto, Ontario, pp. 373-376, May.

[20] Li, X., Cleary, J.G., and Unger, B.(1992) "Virtual Time and Virtual Space," Int. J. Parallel Programming, 21(2), pp. 123-150.

[21] Li, X., Cleary, J.G., and Unger, B.(1992) "CSP* - The model and the language," ACM Trans. Modelling and Comp. Simulations, October.

[22] Williams, S., and Cleary, J.G.(1990) "VLSI Implementation of the Sigma Architecture," International Workshop on VLSI for Artificial Intelligence and Neural Networks, Int. Workshop on VLSI for Artificial Intelligence and Neural Networks, September.

[23] Unger, B., Cleary, J., Dewar, A., and Zhong-e, X.(1990) "A Multilingual Optimistic Distributed Simulator," Tran. of Society for Computer Simulation, 7(2), pp. 121-151, June.

[24] Liu, M., and Cleary, J.G.(1990) "Deductive Databases: Where to Now?," Far-East Workshop on Deductive Databases, Melbourne, April.

[25] Li. X., Cleary, J.G., and Unger, B.W.(1990) "Distributed Simulation in Logic," Proc. of the Summer Computer Simulation Conference, Calgary, pp. 1-6, July.

[26] Conklin, D., Cleary, J.G., and Unger, B.(1990) "Shark's World - A Study in Distributed Simulation.," Proc. Distributed Simulation Conference, San Diego, California, January.

[27] Cleary, J.G.(1990) "Colliding Pucks Solved in a Temporal Logic," Proc. Distributed Simulation Conference, San Diego, California, January.

[28] Bell, T., Witten, I.H., and Cleary, J.G.(1990) "Modeling for text compression," ACM Computing Surveys, 21(4), pp. 557-591, December.

[29] Leung, E., Cleary, J.G., Lomow, G., Baezner, D., and Unger, B.(1989) "The effects of feedback on the performance of conservative algorithms," Eastern Simulation Conference, Tampa, Florida, vol. 21, pp. 44-49, March.

[30] Baezner, D., Cleary, J., Lomow, G., and Unger, B.(1989) "Algorithmic Optimizations of Simulations on TimeWarp," Eastern Simulation Conference, Tampa, Florida, vol. 21, pp. 73-78, March.

[31] Witten, I., and Cleary, J.(1988) "On the Privacy Afforded by Adaptive Text Compression," Computers & Security, 7(4), pp. 397-407, August.

[32] Lomow, G., Cleary, J.G., Unger, B., and West, D.(1988) "A Performance Study of TimeWarp," Proc. Distributed Simulation Conference, San Diego, California, vol. 19, pp. 50-55, February.

[33] Li, X., Unger, B., and Cleary, J.G.(1988) "Communicating Sequential Prolog," Proc. Distributed Simulation Conference, San Diego, California, February.

[34] Cleary, J.G., and Wyvill, G.(1988) "Analysis of an Algorithm for Fast Ray Tracing Using Uniform Space Subdivision," Visual Computer, 4, pp. 65-83.

[35] Cleary, J.G., and Conklin, D.(1988) "Modelling and Generating Music Using Multiple Viewpoints," Proc. First AAAI Workshop on Artificial Intelligence and Music, Minneapolis/St. Paul, pp. 125-137, August.

[36] Cleary, J.G, Unger, B., and Li, X.(1988) "A Distributed and-parallel Backtracking Algorithm Using Virtual Time," Proc. Distributed Simulation Conference, San Diego, California, pp. 177-182, February.

[37] Xiao, Z., Unger, B., Cleary, J., Lomow, G., Slind, K., and Xining, L.(1987) "Jade's IPC for distributed simulation," Society for Computer Simulation Multi-Conference , San Diego, California, January.

[38] Witten, I.H., Neal, R., and Cleary, J.G.(1987) "Arithmetic coding for data compression," Comm. A.C.M., 30(6), pp. 520-540, June.

[39] Witten, I.H., and Cleary, J.G.(1987) "Inductive Modeling for Data Compression," Proc. Fourth International Symposium on Modelling and Simulation Methodology, Tucson, Arizona, January.

[40] Dewar, A., and Cleary, J.G.(1987) "Display of complex information in a PROLOG debugger," Int. J. Man-Machine Studies, 25, pp. 503-521.

[41] Cleary, J.G.(1987) "A Simple VLSI Connectionist Architecture," Proc. International Conference on Neural Networks, San Diego, California, vol. 3, pp. 419-426, June.

[42] Cleary, J.G.(1987) "Acquisition of Uncertain Rules in a Probabilistic Logic," Int. J. Man-Machine Studies, 27, pp. 145-154.

[43] Cleary, J.G.(1987) "Logical Arithmetic," Future Computing Systems, 2(2), pp. 125-149.

[44] Unger, B., Dewar, A., Cleary, J.G., and Birtwistle, G.(1986) "The Jade approach to distributed software development," Conf. on AI in Simulation, Ghent, Belgium, September.

[45] Unger, B., Dewar, A., Cleary, J.G., and Birtwistle, G.(1986) "A distributed software prototyping and simulation environment: Jade," SCS Conf. on Intelligent Simulation Environments, San Diego, California, January.

[46] Cleary, J.G., Wyvill, B.L.M., Birtwistle, G., and Vatti, R.(1986) "Multi-processor ray tracing," Computer Graphics Forum, 5(1), pp. 3-12, March.

[47] Cleary, J.G, Kramer, L.L., and Wingham, M.P.(1986) "Knowledge-based system for the interpretation of seismic data," in Coupling Symbolic and Numeric Computing in Expert Systems, (Kowalik, J. ed.), North-Holland , pp. 231-246.

[48] Jansonius, C., Cleary, J.G., and Wyvill, B.L.M.(1985) "A parameterized model of an animated 3-d Martian," CIPS Conference, Montreal, Quebec.

[49] Cleary, J.G., Unger, B., and Goh, A.(1985) "A PROLOG system for simulation," Conf. on Simulation and AI, San Diego, California, January.

[50] Cleary, J.G., Lomow, G., Unger, B.W., and Xiao, Z.(1985) "Jade's IPC kernel for distributed simulation," Proc. Association of Simula Users, Calgary, Alberta, August.

[51] Witten, I.H., Cleary, J.G., and Greenberg, S.(1984) "On frequency-based menu-splitting algorithms," Int. J. Man-Machine Studies, 21(2), pp. 135-148, August.

[52] Unger, B.W., Birtwistle, G.M., Cleary, J.G., Hill, D.R., Lomow, G., Neal, R., Peterson, M., Witten, I.H., and Wyvill, B.(1984) "Jade: a simulation and software protoyping environment," Conf. on Simulation in Strongly Typed Languages, San Diego, California, February.

[53] Cleary, J.G., Wyvill, B., Birtwistle, G., and Vatti, R.(1984) "Design and analysis of a parallel ray tracing computer," Proc. XI Simula Users Conference, Paris, pp. 77-80, September.

[54] Cleary, J.G., and Witten, I.H.(1984) "Data compression using adaptive coding and partial string matching," IEEE Trans. Communications, 32(4), pp. 396-402.

[55] Cleary, J.G., and Witten, I.H.(1984) "A comparison of enumerative and adaptive coding," IEEE Trans. Information Theory, 30(20), pp. 306-315, March.

[56] Cleary, J.G., and Dewar, A.(1984) "Interpreters for Logic Programming - a Powerful Tool for Simulation," Conf. on Simulation in Strongly Typed Languages, San Diego, California, February.

[57] Cleary, J.G.(1984) "Compact hash tables using bidirectional linear probing," IEEE Trans. Computers, 33(9), pp. 828-834, September.

[58] Birtwistle, G., Cleary, J.G., Liblong, B., Unger, B., and Witten, I.(1984) "Simulation Environments," CIPS Conference, Calgary.

[59] Witten, I.H., Greenberg, S., and Cleary, J.G.(1983) "Personalizable directories: a case study in automatic user modelling," Proc. Graphics Interface '83, Edmonton, Alberta, pp. 183-189, May.

[60] Witten, I.H., Cleary, J.G., and Darragh, J.J.(1983) "The reactive keyboard: a new technology for text entry," Proc. Canadian Information Processing Society Conference, Ottawa, Ontario, pp. 151-156, May.

[61] Witten, I.H., and Cleary, J.G.(1983) "Picture coding and transmission using adaptive modelling of quad trees," Proc. International Electrical, Electronics Conference, Toronto, Ontario, vol. 1, pp. 222-225, September.

[62] Witten, I.H., Birtwistle, G.M., Cleary, J.G., Hill, D.R., Levinson, D., Lomow, G., Neal, R., Peterson, M., Unger, B.W., and Wyvill, B.(1983) "Jade: a distributed software prototyping environment," ACM Operating Systems Review, 17(3), pp. 10-23, July.

[63] Witten, I.H, and Cleary, J.G.(1983) "An introduction to the architecture of theIntel iAPX 432," Software and Microsystems, 2(2), pp. 29-34, April.

[64] Witten, I. H., Cleary, J.G., Darragh, J.J., and Hill, D.R(1982) "Reducing keystroke counts with a predictive computer interface," Proc. IEEE Computer Society Conf. on Computing to Aid the Handicapped, University of Virginia, Charlottesville, November.

[65] Cleary, J.G.(1979) "An Analysis of an Algorithm for Finding Nearest Neighbours in Euclidean Space," ACM Trans. on Mathematical Software, 5(2), pp. 183-192.

[66] Andreae, J.H., and Cleary, J.G.(1976) "A New Mechanism for a Brain," Int. J. Man-Machine Studies, 8, pp. 89-119.

[67] Cleary, J.G., and Weybourne, B.G.(1972) "Statistical Group Theory and the Distribution of Angular Momentum States," J. Math. Physics, 12(1), pp. 45-52.

Non-Refereed Publications

[68] Irvine, S., Cleary, J., and Rinsma-Melchert, I.(1995) "The Subset Sum Problem and Arithmetic Coding". Research Report, 95/7, Dept. Computer Science, University of Waikato, March.

[69] Boyd, C., Cleary, J., Irvine, S., and Rinsma-Melchert, I. Witten, I.(1995) "Integrating Error Detection into Arithmetic Coding," Submitted to IEEE Trans. Comm., March.

[70] Cleary, J. G.(1993) "Informal Introduction to Starlog". Research Report, 93/10, Dept. Computer Science, University of Waikato, October.

[71] Cleary, J.G., and Kaushik, V.N.(1991) "Updates in a Temporal Logic Programming Language". Research Report, 91/427/11, Dept. Computer Science, University of Calgary, April.

[72] Mengchi Liu,, and Cleary, J.G.(1990) "S-logic: A Higher Order Logic for Deductive Datbases". Research Report, 90/379/03, Dept. Computer Science, University of Calgary.

[73] Dewar, A.D., and Cleary, J.G.(1990) "A Low-cost High Accuracy Intelligent Backtracking Algorithm". Research Report, 90/381/05, Dept. Computer Science, University of Calgary, March.

[74] Bell, T., Cleary, J.G., and Witten, I.H. (1990) Text Compression, Prentice-Hall.

[75] Cleary, J.G.(1989) "Experience with Sim ++ ; the Jade Distributed Discrete Event Simulation System," Internal Report Jade Simulations International, Calgary, Alberta.

[76] Gaines, B.R., and Cleary, J.G.(1987) "Stochastic Computing in Neural Networks". Research Report, 87/276/24, Dept. Computer Science, University of Calgary, August.

[77] Cleary, J.G.(1987) "A Multi-valued Logic for Programming". Research Report, 87/261/09, Dept. Computer Science, University of Calgary, February.