Search research publications and outputs

  1. 2018
  2. 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

  3. Expanding Employment Horizons for Young People in Care: An evaluation of York Cares' Bright Futures Project

    Dixon, J. & Ward, J., 22 Feb 2018, (Unpublished) 2 p.

    Research output: Other contribution

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

  5. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

  6. Generalised Reactive Processes in Isabelle/UTP

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

    Research output: Working paper

  7. Theory of Designs in Isabelle/UTP

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

    Research output: Working paper

  8. Effect of sea-salt aerosol on tropospheric bromine chemistry

    Zhu, L., Jacob, D. J., Eastham, S. D., Sulprizio, M. P., Wang, X., Sherwen, T., Evans, M. J., Chen, Q., Alexander, B., Koenig, T. K., Volkamer, R., Huey, L. G., Le Breton, M., Bannan, T. J. & Percival, C. J., 30 Nov 2018, (Unpublished)

    Article in Atmospheric Chemistry and Physics Discussions