Search research publications and outputs

  1. Conference contribution › Research
  2. Analysing RoboChart with probabilities

    Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer Verlag, p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

  3. Bragg Diffraction Patterns as Graph Characteristics

    Escolano, F. & Hancock, E. R., 22 Mar 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer Nature , Vol. 10746. p. 59-72 13 p. (Lecture Notes in Computer Science).

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

  4. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer-Verlag, Vol. 9715 LNCS. p. 151-187 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9715 LNCS).

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

  5. Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2 Mar 2018, Proceedings 21st European Conference on Genetic Programming (EuroGP 2018). Springer, 16 p. (Lecture Notes in Computer Science; vol. 10781).

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

  6. GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic

    Algahtani, E. & Kazakov, D. L., 2018, CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings

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

  7. Indifferentiable Authenticated Encryption

    Barbosa, M. & Farshim, P., 25 Jul 2018, Advances in Cryptology – CRYPTO 2018. Vol. 10991. p. 187-220 24 p.

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

  8. Towards a framework for writing executable natural language rules

    Barmpis, K., Kolovos, D. & Hingorani, J., 29 May 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 251-263 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  9. Towards efficient loading of change-based models

    Yohannis, A., Rodriguez, H. H., Polack, F. & Kolovos, D., 29 May 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  10. eSport vs irlSport

    McCutcheon, C., Hitchens, M. & Drachen, A., 21 Feb 2018, Advances in Computer Entertainment Technology: 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings. Vol. 10714. p. 531-542 12 p. (Lecture Notes in Computer Science).

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

  11. Editorial › Research › Peer-reviewed
  12. Article › Research › Peer-reviewed
  13. 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

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

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

  16. Errors and discrepancies in the administration of intravenous infusions: a mixed methods multihospital observational study

    Lyons, I., Furniss, D., Blandford, A., Chumbley, G., Iacovides, I., Wei, L., Cox, A. L., Mayer, A., Vos, J., Galal-Edeen, G. H., Schnock, K. O., Dykes, P. C., Bates, D. W. & Franklin, B. D., 7 Apr 2018

    Article in BMJ Quality & Safety

  17. Local-global nested graph kernels using nested complexity traces

    Bai, L., Cui, L., Rossi, L., xu, L., Xiao, B. & Hancock, E. R., 19 Jun 2018

    Article in Pattern Recognition Letters

  18. Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems

    Chen, J-J., Nelissen, G., Huang, W-H. K., Yang, M., Brandenburg, B., Bletsas, K., Liu, C., Richard, P., Ridouard, F., Audsley, N. C., Rajkumar, R., de Niz, D. & von der Bruggen, G., 11 Sep 2018

    Article in Real-Time Systems

  19. Quantum-based subgraph convolutional neural networks

    Zhang, Z., Chen, D., Wang, J., Bai, L. & Hancock, E. R., 6 Nov 2018

    Article in Pattern recognition

  20. The Anatomical Society's core anatomy syllabus for undergraduate nursing

    Connolly, S. A., Gillingwater, T. H., Chandler, C., Grant, A. W., Greig, J., Meskell, M., Ross, M. T., Smith, C. F., Wood, A. F. & Finn, G. M., 7 Feb 2018

    Article in Journal of Anatomy