Search research publications and outputs

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

  2. Kleene Algebra in Unifying Theories of Programming

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

    Research output: Working paper

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

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

  5. Maximum Sustainable Government Debt in the Perpetual Youth Model

    Rankin, N., 2011, (Unpublished) 22 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. Partial mirror symmetry I: reflection monoids

    Everitt, B. & Fountain, J., 2007, (Unpublished).

    Research output: Working paper

  8. Pathways to nuclear disarmament: delegitimising nuclear violence

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

    Research output: Working paper

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

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

    Research output: Working paper

  10. Rational curves on smooth cubic hypersurfaces over finite fields

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

    Research output: Working paper

  11. Reflection algebras for sl(2) and gl(1|1)

    Regelskis, V., 27 Jun 2012, (Unpublished) 31 p.

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

  14. Self-propulsion of V-shape micro-robot

    A. Vladimirov, V., 13 Sep 2012, (Unpublished) 10 p.

    Research output: Working paper

  15. Tactically fun: Playing with meaning in 'fun' organisations

    Hunter, C., 2014, (Unpublished).

    Research output: Working paper

  16. The Combinatorial Topology of Groups

    Everitt, B., 2009, (Unpublished).

    Research output: Working paper