A

Alexander-Craig, I.D. (1996) Multi-agent systems: a risk to freedom. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1996) A review of 'Android Epistemology'. Technical Report. Department of Computer Science, Coventry, UK.

Amos, M., Gibbons, A.M. and Hodgson, D. (1996) Error-resistant implementation of DNA computations. Technical Report. Department of Computer Science, Coventry, UK.

Anand, S.S., Bell, D.A. and Hughes, J.G. (1996) EDM: A General Framework for Data Mining based on Evidence Theory. Data and Knowledge Engineering, 18. pp. 189-223.

Axford, T.H. and Joy, M.S. (1996) Aladin: An Abstract Machine for Integrating Functional and Procedural Programming. Journal of Programming Languages, 4. pp. 63-76. ISSN 0963-9306

B

Beynon, W.M., Cartwright, R.I., Cartwright, A. and Yung, Y.P. (1996) Abstract geometry for design in an empirical modelling context. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Ness, P.E. and Russ, S.B. (1996) Worlds before and beyond words. Technical Report. Department of Computer Science, Coventry, UK.

D

de Rijke, M. (1996) Bisimulations for temporal logic. Technical Report. Department of Computer Science, Coventry, UK.

de Rijke, M. (1996) A note on graded modal logic. Technical Report. Department of Computer Science, Coventry, UK.

G

Goldberg, L.A., Goldberg, P.W., Phillips, C.A. and Sorking, G.B. (1996) Constructing computer virus phylogenies. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A., Hart, W.E. and Wilson, D.B. (1996) Learning foraging thresholds for lizards. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A. and Jerrum, M. (1996) Randomly sampling molecules. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A., Paterson, M.S., Srinavasan, A. and Sweedyk, E. (1996) Better approximation guarantees for job-shop scheduling. Technical Report. Department of Computer Science, Coventry, UK.

H

Hsu, T.I. and Wilson, R.G. (1996) A two-component model of texture for analysis and synthesis. Technical Report. Department of Computer Science, Coventry, UK.

J

Janowski, T. and Joseph, M. (1996) Dynamic scheduling in the presence of faults: specification and verification. Technical Report. Department of Computer Science, Coventry, UK.

Jarvis, S.A. and Morgan, R.G. (1996) The Results of Profiling Large-Scale Lazy Functional Programs. Lecture Notes in Computer Science (Selected Papers of the Implementation of Functional Languages 8th International Workshop), 1268. pp. 200-211. ISSN 3-540-63237-9

Joy, M.S. and Luck, M. (1996) Software Standards in Undergraduate Computing Courses. Journal Of Computer Assisted Learning, 12 (2). pp. 103-113. ISSN 0026-4909

Joy, M.S. and Luck, M. (1996) A User-Friendly On-line Submissions System. In: 4th Annual Conference on the Teaching of Computing, 27-29 Aug 1996, Dublin, Eire.

K

Kerbyson, D.J., Harper, J.S., Craig, A. and Nudd, G.R. (1996) PACE: A Toolset to Investigate and Predict Performance in Parallel Systems. In: European Parallel Tools Meeting, ONERA, Paris.

Kurtonina, N. and de Rijke, M. (1996) Directed simulations. Technical Report. Department of Computer Science, Coventry, UK.

L

Levy, I. and Wilson, R.G. (1996) Advances in predictive wavelet transform image coding. Technical Report. Department of Computer Science, Coventry, UK.

M

McCluskey, W., Dyson, K., McFall, D. and Anand, S.S. (1996) Mass Appraisal for Property Taxation: An Artificial Intelligence Approach. Australian Land Economics Review, 2 (1).

P

Pu, I. and Gibbons, A.M. (1996) Matricial space-economy with constant access-time. Technical Report. Department of Computer Science, Coventry, UK.

V

van der Hoek, W. and de Rijke, M. (1996) Interleaved contractions. Technical Report. Department of Computer Science, Coventry, UK.

W

Wahab, M. (1996) The semantics of TLA on the PVS theorem prover. Technical Report. Department of Computer Science, Coventry, UK.