Search research publications and outputs

  1. Generalised Reactive Processes in Isabelle/UTP

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

    Research output: Working paper

  2. Hausdorff dimensions of very well intrinsically approximable subsets of quadratic hypersurfaces

    Fishman, L., Merrill, K. & Simmons, D., 26 Feb 2015, (Unpublished) 9 p.

    Research output: Working paper

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

  4. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

  5. Operations on the Hochschild Bicomplex of a Diagram of Algebras

    Hawkins, E., 3 Feb 2020, (Unpublished).

    Research output: Working paper

  6. Pathways to nuclear disarmament: delegitimising nuclear violence

    Ritchie, N. E., 11 May 2016, (Unpublished) 14 p.

    Research output: Working paper

  7. Rational curves on smooth cubic hypersurfaces over finite fields

    Browning, T. & Vishe, P., 17 Feb 2015, (Unpublished) 12 p.

    Research output: Working paper

  8. Theory of Designs in Isabelle/UTP

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

    Research output: Working paper