Search research publications and outputs

  1. Article › Research › Not peer-reviewed
  2. Article › Research › Peer-reviewed
  3. A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks

    Feld, T., Biondi, A., Davis, R. I., Buttazzo, G. C. & Slomka, F., 22 Dec 2017

    Article in Journal of Systems and Software

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

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

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

  7. Adaptive Hash Retrieval with Kernel Based Similarity

    Xiao, B., Yan, C., Yang, H., Lu, B., Zhou, J. & Hancock, E. R., 30 Mar 2017

    Article in Pattern Recognition

  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. Analyses of ovarian activity reveal repeated evolution of post-reproductive lifespans in toothed whales

    Ellis, S., Franks, D. W., Nattrass, S., Currie, T., Cant, M. A., Giles, D., Balcomb, K. C. & Croft, D. P., 27 Aug 2018

    Article in Scientific Reports

  11. Analyzing Player Networks in Destiny

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

    Article in Entertainment Computing

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

  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. Cherenkov radiation-based optical fibre diagnostics of fast electrons generated in intense laser-plasma interactions

    Liu, H., Liao, G. Q., Zhang, Y. H., Zhu, B. J., Zhang, Z., Li, Y. T., Scott, G. G., Rusby, D. R., Armstrong, C., Zemaityte, E., Carroll, D. C., Astbury, S., Bradford, P., Woolsey, N. C., McKenna, P. & Neely, D., 8 Aug 2018

    Article in Review of Scientific Instruments

  16. Compositional and Local Livelock Analysis for CSP

    Filho, M. S. C., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 12 Jan 2018

    Article in Information Processing Letters

  17. Conditional channel simulation

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

    Article in Annals of Physics

Previous 1 2 3 4 5 Next