Search research publications and outputs

  1. Working paper › Research
  2. 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

  3. Generalised Reactive Processes in Isabelle/UTP

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

    Research output: Working paper

  4. Information theoretic security of quantum key distribution overcoming the repeaterless secret key capacity bound

    Tamaki, K., Lo, H-K., Wang, W. & Lucamarini, M., 15 May 2018, (arXiv).

    Research output: Working paper

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

  6. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

  7. Sampling real algebraic varieties for topological data analysis

    Dufresne, E., Edwards, P. B., Harrington, H. A. & Hauenstein, J. D., 21 Feb 2018, (Unpublished) (Preprint).

    Research output: Working paper

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

  9. Theory of Designs in Isabelle/UTP

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

    Research output: Working paper

  10. Vertex Representations for Yangians of Kac-Moody algebras

    Guay, N., Regelskis, V. & Wendlandt, C., 11 Apr 2018, (E-pub ahead of print).

    Research output: Working paper