Search research publications and outputs

  1. Bounded orbits of Diagonalizable Flows on finite volume quotients of products of SL2(R)

    An, J., Ghosh, A., Guan, L. & Ly, T., 20 Mar 2018.

    Research output: Working paper

  2. Generalised Reactive Processes in Isabelle/UTP

    Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 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. Smoking Inequality across Genders and Socioeconomic Classes. Evidence from Longitudinal Italian Data

    Di Novi, C., Jacobs, R. & Migheli, M., 1 Feb 2018, Pavia, Italy: Università di Pavia, 24 p. ( DEM Working Paper Series; vol. 02-18, no. 152).

    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. Vertex Representations for Yangians of Kac-Moody algebras

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

    Research output: Working paper