Search research publications and outputs

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

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