Search research publications and outputs

  1. Software › Research
  2. The Epsilon Languages and Tools Framework

    Kolovos, D., Rose, L. M. & Paige, R. F., 2013

    Research output: Non-textual formSoftware

  3. Article › Research › Not peer-reviewed
  4. Article › Research › Peer-reviewed
  5. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

    Maiza, C., Rihani, H., Rivas, J., goossens, J., Altmeyer, S. & Davis, R. I., Jul 2019

    Article in ACM Comput. Surv.

  6. A review of literature on parallel constraint solving

    Gent, I. P., McCreesh, C., Miguel, I. J., Moore, N., Nightingale, P. W., Prosser, P. & Unsworth, C., Sep 2018

    Article in Theory and Practice of Logic Programming

  7. Active versus expectant management for women in the third stage of labour

    Begley, C. M., Gyte, G. M., Devane, D., McGuire, W., Weeks, A. & Biesty, L. M., 13 Feb 2019

    Article in Cochrane Database of Systematic Reviews

  8. An analytical framework in LEO mobile satellite systems servicing batched Poisson traffic

    Moscholios, I., Vasilakis, V., Sarigiannidis, P., Sagias, N. & Logothetis, M., 5 Jan 2018

    Article in Iet communications

  9. An extensible framework for multicore response time analysis

    Davis, R. I., Altmeyer, S., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., 18 Jul 2017

    Article in Real-Time Systems

  10. Analyzing Player Networks in Destiny

    Pirker, J., Rattinger, A., Drachen, A. & Sifa, R., Mar 2018

    Article in Entertainment Computing

  11. Automatically improving constraint models in Savile Row

    Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. J. & Spracklen, P., Oct 2017

    Article in Artificial Intelligence

  12. BRDF Representation and Acquisition

    Guarnera, D., Guarnera, C., Ghosh, A., Denk, C. & Glencross, M., 27 May 2016

    Article in Computer graphics forum

  13. Bayesian spatial NBDA for diffusion data with home-base coordinates

    Nightingale, G. F., Laland, K. N., Hoppitt, W. J. E. & Nightingale, P., 2 Jul 2015

    Article in PLoS ONE

  14. CAINE: A Context-Aware Information-Centric Network Ecosystem

    Kamel, G., Wang, N., Vasilakis, V., Sun, Z., Navaratnam, P., Wang, C., Dong, L. & Tafazolli, R., 5 Aug 2015

    Article in IEEE Communications Magazine

  15. Co-created evaluation: Identifying how games support police learning

    Adams, A., Hart, J., Iacovides, I., Beavers, S., Oliveira, M. & Magroudi, M., 1 Dec 2019

    Article in International Journal of Human Computer Studies

  16. Conditional channel simulation

    Pirandola, S., Laurenza, R. & Banchi, L., Jan 2019

    Article in Annals of Physics

  17. Convex optimization of programmable quantum computers

    Banchi, L., Pereira, J., Lloyd, S. & Pirandola, S., 19 May 2020

    Article in npj Quantum Information

Previous 1 2 3 4 5 6 7 8 9 Next