A

Alexander-Craig, I.D. (1995) The formal specification of ELEKTRA. Technical Report. Department of Computer Science, Coventry, UK.

B

Beynon, W.M., Cartwright, A. and Yung, Y.P. (1995) Databases from an agent-oriented perspective. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Russ, S.B. (1995) Empirical modelling of requirements. Technical Report. Department of Computer Science, Coventry, UK.

Bokma, A., Jarvis, S.A., Huiban, M. and Slade, A. (1995) Handling Communication in Concurrent KBS. In: Proceedings of the 8th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 6-8 June, 1995, Melbourne, Australia.

C

Cross, N. and Wilson, R.G. (1995) Neural networks for object recognition. Technical Report. Department of Computer Science, Coventry, UK.

J

Jarvis, S.A., Poria, S. and Morgan, R.G. (1995) Understanding LOLITA: Experiences of Teaching Large-Scale Functional Programming. Lectures Notes in Computer Science (LNCS), 1022.

Joy, M.S. and Luck, M. (1995) On-line Submission and Testing of Programming Assignments. In: Innovations in the Teaching of Computing. SEDA Papers, 1 (88). SEDA, London, pp. 95-103. ISBN 0-946815-93-3

Joy, M.S. and Rayward-Smith, V.J. (1995) NP-Completeness of a Combinator Optimisation Problem. Notre Dame Journal of Formal Logic, 36 (2). pp. 319-335. ISSN 0029-4527

L

Levy, I. and Wilson, R.G. (1995) A hybrid fractal-wavelet transform image data compression algorithm. Technical Report. Department of Computer Science, Coventry, UK.

Li, C.T. and Wilson, R.G. (1995) Image segmentation using multiresolution Fourier transform. Technical Report. Department of Computer Science, Coventry, UK.

Luck, M. and Joy, M.S. (1995) Automatic Submission in an Evolutionary Approach to Computer Science Teaching. Computers and Education, 25 (3). pp. 105-111. ISSN 0360-1315

Luck, M.M. and d'Inverno, M. (1995) Agency and autonomy: a formal framework. Technical Report. Department of Computer Science, Coventry, UK.

M

Meulemans, P.R. and Wilson, R.G. (1995) Feature extraction for very low bit rate video coding. Technical Report. Department of Computer Science, Coventry, UK.

Morgan, R.G. and Jarvis, S.A. (1995) Profiling Large-Scale Lazy Functional Programs. In: High Performance Functional Computing, 9-11 April, 1995, Denver, USA.

O

O'Neill, S.J. (1995) Two topologies are better than one. Technical Report. Department of Computer Science, Coventry, UK.

P

Papaefstathiou, E., Kerbyson, D.J., Nudd, G.R. and Atherton, T.J. (1995) An introduction to the CHIP3S language for characterising parallel systems in performance studies. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Przytycka, T. (1995) On the complexity of string folding. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Srinavasan, A. (1995) Contention resolution with bounded delay. Technical Report. Department of Computer Science, Coventry, UK.

R

Ravindran, S., Gibbons, A.M. and Paterson, M.S. (1995) Dense edge-disjoint embedding of complete binary trees in interconnection networks. Technical Report. Department of Computer Science, Coventry, UK.

Z

Zemerly, M.J., Papay, J. and Nudd, G.R. (1995) Characterisation based bottleneck analysis of parallel systems. Technical Report. Department of Computer Science, Coventry, UK.