Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Browse by Department at the University of Warwick

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Author | No Grouping
Number of items: 21.

Axford, T. H. and Joy, Mike (1993) List processing in parallel languages. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Axford, Tom and Joy, Mike (1993) List processing primitives for parallel computation. Computer Languages, Volume 19 (Number 1). pp. 1-17. doi:10.1016/0096-0551(93)90036-Z

Craig, Iain D. (1993) A new interpretation of the blackboard architecture. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Farkas, Monica, Beynon, Meurig and Yung, Yun Pui (1993) Agent-oriented modelling for a billiards simulation. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gent, Ian (1993) Analytic proof systems for classical and modal logics of restricted quantification. PhD thesis, University of Warwick.

Joy, Mike (1993) Ginger : a simple functional language. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

King, Andrew and Wilson, Roland (1993) Multiresolution image analysis based on local symmetries. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Koizumi, Hirotaka, Maruoka, Akira and Paterson, Michael S. (1993) Consistency of natural relations on sets. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

McKinlay, Andy, Arnott, John, Procter, Rob, Masting, Oliver and Woodburn, Robin (1993) A study of turn-taking in a computer-supported group task. In: HCI'93, Loughborough, UK, Sep 1993. Published in: People and computers VIII : proceedings of HCI 93, Loughborough, September 1993 pp. 383-394. ISBN 9780521466332.

Milner, Robin, Parrow, Joachim and Walker, David (1993) Modal logics for mobile processes. Theoretical Computer Science, Volume 114 (Number 1). pp. 149-171. doi:10.1016/0304-3975(93)90156-N

Miltersen, Peter Bro (1993) Lower bounds for union-split-find related problems on random access machines. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Papaefstathiou, E., Papay, J., Nudd, G. R., Atherton, T. J., Clarke, C. T., Kerbyson, D. J., Stratton, A., Ziani, R. and Zemerly, M. J. (1993) A layered approach to modelling parallel systems for performance prediction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. (1993) Computer science seminars 1992/93. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ryan, M. S. and Nudd, G. R. (1993) Dynamic character recognition using hidden Markov models. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ryan, M. S. and Nudd, G. R. (1993) The Viterbi algorithm. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Shuttleworth, T. and Wilson, Roland (1993) Note recognition in polyphonic music using neural networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J. (1993) Hardware characterisation of multi-processor systems. Coventry: University of Warwick. Department of Computer Science. (Unpublished)

Zemerly, M. J. and Papaefstathiou, E. (1993) Characterisation survey. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J., Papaefstathiou, E., Atherton, T. J., Kerbyson, D. J. and Nudd, G. R. (1993) Characterising computational kernels : a case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J., Papaefstathiou, E., Atherton, T. J., Kerbyson, D. J. and Nudd, G. R. (1993) Smart integration : a test case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zwick, Uri and Paterson, Michael S. (1993) The memory game. Theoretical Computer Science, Volume 110 (Number 1). pp. 169-196. doi:10.1016/0304-3975(93)90355-W

This list was generated on Sat Jul 2 00:33:07 2022 BST.
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us