Search research publications and outputs

  1. 2019
  2. Data sharing: A primer from UKRN

    Bolibaugh, C., Towse, J. N., Rumsey, S., Owen, N., Langford, P. & Jacquiery, M., 30 Sep 2019, (Unpublished).

    Research output: Working paper

  3. Governance of large infrastructure projects in Brazil: Questions for policy and research agenda

    Vera Schattan P., C., Arilson, F., Clasrissa, M., Ana Laticia, S. & Roy, I., 2019, (Unpublished).

    Research output: Working paper

  4. 2018
  5. Generalised Reactive Processes in Isabelle/UTP

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

    Research output: Working paper

  6. Theory of Designs in Isabelle/UTP

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

    Research output: Working paper

  7. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

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

  9. 2017
  10. Local nets of von Neumann algebras in the Sine-Gordon model

    Bahns, D., Fredenhagen, K. & Rejzner, K. A., Dec 2017, (Unpublished).

    Research output: Working paper

  11. Comparing nets and factorization algebras of observables: the free scalar field

    Gwilliam, O. & Rejzner, K. A., Nov 2017, (Unpublished).

    Research output: Working paper

  12. Rural-urban migration in Bihar: implications for social citizenship in contemporary India

    Roy, I., 2017, (Unpublished) International Growth Centre.

    Research output: Working paper

  13. 2016
  14. Pathways to nuclear disarmament: delegitimising nuclear violence

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

    Research output: Working paper

  15. 2015
  16. Branded Subjectivity: Performativity and media professionals

    Hunter, C. & Kivinen, N., Sep 2015, (Unpublished).

    Research output: Working paper

  17. Precarious Writing: Children's authors as networked home-workers

    Hunter, C. & Kivinen, N., Jul 2015, (Unpublished).

    Research output: Working paper

  18. Labor market effects of improved access to credit among the poor: evidence from Cape Verde

    Santos Monteiro, P., Casini, P. & Riera, O., 9 Jun 2015, (Unpublished).

    Research output: Working paper

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

  20. Rational curves on smooth cubic hypersurfaces over finite fields

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

    Research output: Working paper

Previous 1 2 3 Next