Search research publications and outputs

  1. 2008
  2. The Data Type of Spatial Objects

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

    Research output: Other contribution

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

  5. 2012
  6. 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