Search research publications and outputs

  1. 2022
  2. Decompositional Quantum Graph Neural Network

    Ai, X., Zhang, Z., Sun, L., Yan, J. & Hancock, E., 13 Jan 2022, (Unpublished)

    Research output: Other contribution

  3. Connected tech: Smart or sinister? A call for evidence from the Department of Digital, Culture, Media, and Sport

    Townsend, B., Hyde, R., Lindley, J., Stead, M., Coulton, P., Lisinska, J., Moffat, L., Mousavi, M. R., Ramchurn, G., Shukla, P. & Williams, J., 2022, (Unpublished)

    Research output: Other contribution

  4. 2019
  5. Decentralised Gambling: The York Combined Transaction Set

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

    Research output: Other contribution

  6. 2016
  7. Distance Metric Ensemble Learning and the Andrews-Curtis Conjecture

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

    Research output: Other contribution

  8. 2012
  9. 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

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

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

  13. 2009
  14. 2008
  15. The Data Type of Spatial Objects

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

    Research output: Other contribution

  16. 2007
  17. Evolutionary scheduling

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

    Research output: Other contribution

  18. 2004
  19. Enabling Technologies for the Interoperable Enterprise

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

    Research output: Other contribution

  20. MCLA: Multi-label Classification Learning Algorithm

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

    Research output: Other contribution

  21. 2003
  22. 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

  23. 2001
  24. 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

  25. 1997
  26. 1993
  27. Formalising and Validating Complex Security Rights

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

    Research output: Other contribution

  28. 1987
  29. A Gleam in the Eye

    McDermid, J. A., 1987

    Research output: Other contribution

  30. 1984
  31. 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

  32. 1980
  33. The FLEX Computer System

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

    Research output: Other contribution