Search research publications and outputs

  1. Article › Research › Peer-reviewed
  2. Other contribution › Research
  3. 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

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

  6. Decompositional Quantum Graph Neural Network

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

    Research output: Other contribution

  7. The Data Type of Spatial Objects

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

    Research output: Other contribution

  8. Working paper › Research
  9. Generalised Reactive Processes in Isabelle/UTP

    Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 p.

    Research output: Working paper

  10. Isabelle/UTP: Mechanised Theory Engineering for the UTP

    Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 4 Apr 2018, (Unpublished) 162 p.

    Research output: Working paper

  11. Kleene Algebra in Unifying Theories of Programming

    Foster, S. D., 5 Apr 2018, (Unpublished) 6 p.

    Research output: Working paper

  12. Theory of Designs in Isabelle/UTP

    Foster, S. D., Nemouchi, Y. & Zeyda, F., 6 Apr 2018, (Unpublished) 47 p.

    Research output: Working paper