Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2018
  2. Theory of Designs in Isabelle/UTP

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

    Research output: Working paper

  3. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

  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. Accounting for the quality of NHS output

    Bojke, C., Castelli, A., Grasic, K., Mason, A. & Street, A. D., Apr 2018, York, UK: Centre for Health Economics, University of York, p. 1-62, 62 p. (CHE Research Paper; no. 153).

    Research output: Working paperDiscussion paper

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

  7. Productivity of the English National Health Service: 2015/16 update

    Castelli, A., Chalkley, M. J. & Rodriguez Santana, I. D. L. N., Apr 2018, York, UK: Centre for Health Economics, University of York, p. 1-78, 78 p. (CHE Research Paper; no. 152).

    Research output: Working paperDiscussion paper

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

Previous 1...5 6 7 8 9 10 11 12 ...106 Next