Search research publications and outputs

  1. 1980
  2. The FLEX Computer System

    McDermid, J. A. & Dowson, M. (ed.), 1980, Springer-verlag.

    Research output: Other contribution

  3. 1984
  4. Programming Support Environments: A Model: The State of the Art; A View of the Future

    McDermid, J. A. & Jackson, K., 1984, Pergamon Infotech.

    Research output: Other contribution

  5. 1987
  6. A Gleam in the Eye

    McDermid, J. A., 1987

    Research output: Other contribution

  7. 1993
  8. Formalising and Validating Complex Security Rights

    Morris, P., McDermid, J. A., Landwehr, C. (ed.) & Jajodia, S. (ed.), 1993, North Holland.

    Research output: Other contribution

  9. 1997
  10. 2001
  11. Young disabled people and sport

    Finch, N., Lawton, D., Williams, J. & Sloper, P., 2001, University of York, York : Social Policy Research Unit.

    Research output: Other contribution

  12. 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

  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. 2004
  16. Enabling Technologies for the Interoperable Enterprise

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

    Research output: Other contribution

  17. MCLA: Multi-label Classification Learning Algorithm

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

    Research output: Other contribution

  18. 2006
  19. 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

  20. 2007
  21. Evolutionary scheduling

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

    Research output: Other contribution

  22. 2008
  23. The Data Type of Spatial Objects

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

    Research output: Other contribution

  24. 2009
  25. 2010
  26. 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

  27. 2012
  28. A Model of Computing as a Service for Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Unpublished) 10 p.

    Research output: Other contribution

  29. Specification and Refinement of Type Interfaces in Scientific Software

    Galloway, A. J., Harris, P., Woodcock, J. & Paige, R. F., Jun 2012, University of York.

    Research output: Other contribution

  30. Discretisation of Data in a Binary Neural k-Nearest Neighbour Algorithm

    Hodge, V. J. & Austin, J., 1 Jun 2012, Department of Computer Science, University of York, UK

    Research output: Other contribution

  31. 2013
  32. A HADOOP-Based Framework for Parallel and Distributed Feature Selection

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

    Research output: Other contribution

  33. 2016
  34. Distance Metric Ensemble Learning and the Andrews-Curtis Conjecture

    Krawiec, K. & Swan, J., 2016, 11 p.

    Research output: Other contribution

  35. 2017
  36. 2019
  37. Decentralised Gambling: The York Combined Transaction Set

    Scholten, O. J., Zendle, D. & Walker, J. A., 11 Jul 2019

    Research output: Other contribution