Search research publications and outputs

  1. 2020
  2. How Players Learn Team-versus-Team Esports: First Results from A Grounded Theory Study

    Hesketh, J., Deterding, C. S. & Gow, J., 31 Jan 2020, DiGRA'20 Abstract - Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  3. InverseRenderNet: Learning single image inverse rendering

    Yu, Y. & Smith, W. A. P., 9 Jan 2020, IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). p. 3150-3159 10 p.

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

  4. Importance-Driven Deep Learning System Testing

    Gerasimou, S., Eniser, H. F. & Sen, A., 2020, 42nd International Conference on Software Engineering.

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

  5. 2019
  6. Work-In-Progress: Real-Time RPC for Hybrid Dual-OS System

    Pan, D., Jiang, Z., Burns, A., Ding, Y. & Ma, J., 15 Dec 2019, 2019 IEEE Real-Time Systems Symposium (RTSS). IEEE, p. 1-4 4 p. (Real-Time Systems Symposium (RTSS)).

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

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

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

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

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

  11. Integrating Existing Safety Analyses into SysML

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature , Vol. 11842. p. 63-77 15 p.

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

  12. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

    Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I. J., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 30 Sep 2019, Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer, p. 20-36 17 p.

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

Previous 1 2 3 4 5 6 7 8 ...30 Next