Search research publications and outputs

  1. Working paper › Research
  2. Generalised Reactive Processes in Isabelle/UTP

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

    Research output: Working paper

  3. Hausdorff dimensions of very well intrinsically approximable subsets of quadratic hypersurfaces

    Fishman, L., Merrill, K. & Simmons, D., 26 Feb 2015, (Unpublished) 9 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. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

  6. Operations on the Hochschild Bicomplex of a Diagram of Algebras

    Hawkins, E., 3 Feb 2020, (Unpublished).

    Research output: Working paper

  7. Pathways to nuclear disarmament: delegitimising nuclear violence

    Ritchie, N. E., 11 May 2016, (Unpublished) 14 p.

    Research output: Working paper

  8. Rational curves on smooth cubic hypersurfaces over finite fields

    Browning, T. & Vishe, P., 17 Feb 2015, (Unpublished) 12 p.

    Research output: Working paper

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

  10. Theory of Designs in Isabelle/UTP

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

    Research output: Working paper

  11. Entry for encyclopedia/dictionary › Research
  12. Generalizing

    Latimer, J. E. & Munro, R., 2017, (Unpublished) Routledge Handbook of Interdisciplinary Methods. Lury, C., Clough, P., Chung, U., Fensham, R., Lammes, S., Last, A., Michael, M. & Uprichard, E. (eds.). Routledge

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  13. Other contribution › Research
  14. 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

  15. Other › Research › Not peer-reviewed
  16. Abstract › Research › Peer-reviewed
  17. Staircasing errors due to orthogonal meshing of electromagnetic cavities in FDTD

    Bourke, S. A., Dawson, J. F., Flintoft, I. D. & Robinson, M. P., 29 Nov 2016, (Unpublished). 1 p.

    Research output: Contribution to conferenceAbstractpeer-review

  18. Poster › Research › Peer-reviewed
  19. Targeting subgroups to realise value: the cost-effectiveness of omalizumab in severe allergic asthma

    Faria, R., McKenna, C. & Palmer, S. J., 2013, (Unpublished).

    Research output: Contribution to conferencePosterpeer-review

  20. Paper › Research › Peer-reviewed
  21. Blending Public and Private: British Municipal Trading c. 1889-1975

    Tennent, K. D., Gillett, A., Fowler, J. & Turner, D. A., 2020, (Unpublished).

    Research output: Contribution to conferencePaperpeer-review

  22. Exploring doctoral employment in the UK: the value and limits of secondary data analysis

    Hancock, S. E., Aug 2019, (Unpublished).

    Research output: Contribution to conferencePaperpeer-review

Previous 1 2 Next