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. 2018
  5. Generalised Reactive Processes in Isabelle/UTP

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

    Research output: Working paper

  6. Theory of Designs in Isabelle/UTP

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

    Research output: Working paper

  7. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

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

  9. 2016
  10. 2012
  11. 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

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

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