Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2019
  2. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Probabilistic Semantics for RoboChart A Weakest Completion Approach

    Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Relational Regulation: The Role of Contract and the Evolution of Habitat Protection Legislation

    Bell, S. J., 1 Nov 2019, (Accepted/In press) Contract Law and the Legislature: Autonomy, expectations and the making of legal doctrine. Steele, J. & Arvind, TT. (eds.). Hart Publishing

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Mélusine voyage, les traductions de romans

    Zeldenrust, L., Nov 2019, (Accepted/In press) Mélusine, Secrets d'une fée. Vieille, K. (ed.). Silvana Editoriale, p. 95-101

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  6. Commodification, Control, and the Contractualisation of the Human Body

    Arvind, T. T. & McMahon, A., 31 Oct 2019, (Accepted/In press) The Limits of the Market: Interdisciplinary perspectives. Bertrand, E., Catto, M-X. & Mornington, A. (eds.). Mare & Martin

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. The Philosophy and Political Economy of Basic Income Revisisted

    Haagh, L. A., 31 Oct 2019, The Palgrave International Handbook of Basic Income. Torry, M. (ed.). Palgrave McMillan, p. 253-299 47 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Systematic Observation Methods

    Hardman, J. & Hardman, F. C., 23 Oct 2019, SAGE Research Methods. Atkinson, P., Delamont, S., Cernat, A., Sakshaug, J. W. & Williams, R. A. (eds.). SAGE Research Methods Foundations, p. 2-12 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Variable stiffness actuators embedded with soft-bodied polycaprolactone and shape memory alloy wires

    Liao, T., Tse, Z. T. H. & Ren, H., 17 Oct 2019, Proceedings of the 2019 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM 2019. Institute of Electrical and Electronics Engineers Inc., p. 108-113 6 p. 8868905. (IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM; vol. 2019-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. “Horror, guilt and shame” – Uncomfortable Experiences in Digital Games

    Gowler, C. P. R. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 325-337 13 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. “One of the baddies all along”: Moments that challenge a player’s perspective

    Whitby, M. A., Deterding, S. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 339-350 12 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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