Search research publications and outputs

  1. Other contribution › Research
  2. 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

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

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

  5. Decompositional Quantum Graph Neural Network

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

    Research output: Other contribution

  6. The Data Type of Spatial Objects

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

    Research output: Other contribution