Search research publications and outputs

  1. 2010
  2. A Synchronous Approach to Threaded Program Verification

    Johnson, K. H. A., Besnard, L., Gautier, T. & Talpin, J-P., 2010, (Unpublished) 32 p.

    Research output: Other contribution

  3. 2009
  4. 2008
  5. The Data Type of Spatial Objects

    Johnson, K. H. A. & Tucker, J. V., 2008, (Unpublished) 39 p.

    Research output: Other contribution

  6. 2007
  7. Evolutionary scheduling

    Dahal, K., Tan, K. C. & Cowling, P. I., 2007, Springer Science Business Media.

    Research output: Other contribution

  8. 2006
  9. Eliciting Perceptual Ground Truth for Image Segmentation

    Hodge, V. J., Eakins, J. & Austin, J., 1 Feb 2006, 78 p. Department of Computer Science, University of York, UK

    Research output: Other contribution

  10. 2004
  11. Enabling Technologies for the Interoperable Enterprise

    Morin, J. H., Pawlak, M. & Oriol, M., 2004, Citeseer.

    Research output: Other contribution

  12. MCLA: Multi-label Classification Learning Algorithm

    Thabtah, F., Cowling, P. & PENG, Y., 2004, ACIT.

    Research output: Other contribution

  13. 2003
  14. Key Concepts and Characteristics of Systems of Systems (SoS)

    Despotou, G., Alexander, R. & Hall-May, M., 2003, University of York, United Kingdom.

    Research output: Other contribution

  15. 2001
  16. An Evaluation of Phonetic Spell Checkers

    Hodge, V. J. & Austin, J., 1 Sep 2001, Department of Computer Science, University of York, UK

    Research output: Other contribution

Previous 1 2 Next