Search research publications and outputs

  1. 2018
  2. FIFO with Offsets: High Schedulability with Low Overheads

    Nasri, M., Davis, R. I. & Brandenburg, B. 11 Apr 2018 12 p.

    Research output: Contribution to conferencePaper

  3. Mixed Criticality Systems with Varying Context Switch Costs

    Davis, R. I., Altmeyer, S. & Burns, A. 11 Apr 2018 12 p.

    Research output: Contribution to conferencePaper

  4. Generalised Reactive Processes in Isabelle/UTP

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

    Research output: Working paper

  5. Theory of Designs in Isabelle/UTP

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

    Research output: Working paper

  6. Kleene Algebra in Unifying Theories of Programming

    Foster, S. D. 5 Apr 2018 6 p.

    Research output: Working paper

  7. Isabelle/UTP: Mechanised Theory Engineering for the UTP

    Foster, S. D., Zeyda, F., Nemouchi, Y., Ribeiro, P. & Wolff, B. 4 Apr 2018 162 p.

    Research output: Working paper

  8. What Moves Players? Visual Data Exploration of Twitter and Gameplay Data

    Drescher, C., Wallner, G., Krieglstein, S., Sifa, R., Drachen, A. & Pohl, M. Apr 2018 Proceedings of the CHI Conference Human Factors in Computing Systems. (Proceedings of the CHI Conference Human Factors in Computing Systems)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Emotion in Video Game Soundtracking

    Williams, D. A. H. & Lee, N. 21 Mar 2018 1 ed. New York: Springer. 180 p. (International Series on Computer Entertainment and Media Technology)

    Research output: Book/ReportBook

  10. How the Business Model of Customisable Card Games Influences Player Engagement

    Hodge, V. J., Sephton, N. J., Devlin, S. M., Cowling, P. I., Goumagias, N., Shao, J., Purvis, K., Cabras, I., Fernandes, K. & Li, F. 12 Mar 2018

    Article in IEEE Transactions on Games

  11. Quantum enhanced measurements without entanglement

    Braun, D., Adesso, G., Benatti, F., Floreanini, R., Marzolino, U., Mitchell, M. W. & Pirandola, S. 8 Mar 2018

    Article in Reviews of Modern Physics

  12. Postreproductive lifespans are rare in mammals

    Ellis, S., Franks, D. W., Nattrass, S., Cant, M. A., Bradley, D. L., Giles, D., Balcomb, K. C. & Croft, D. 5 Mar 2018

    Article in Ecology and Evolution

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