Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2018
  2. Vertex Representations for Yangians of Kac-Moody algebras

    Guay, N., Regelskis, V. & Wendlandt, C., 11 Apr 2018.

    Research output: Working paper

  3. Generalised Reactive Processes in Isabelle/UTP

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

    Research output: Working paper

  4. Theory of Designs in Isabelle/UTP

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

    Research output: Working paper

  5. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

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

  7. Evaluating the Aggregate Effects of Tax and Benefit Reforms

    Horvath, M., Senaj, M., Siebertova, Z., Svarda, N. & Valachyova, J., Apr 2018, Council for Budget Responsibility, Slovakia, 32 p. (Working Papers).

    Research output: Working paper

Previous 1 2 3 4 5 6 7 8 ...82 Next