Search research publications and outputs

  1. 3D Modeling of craniofacial ontogeny and sexual dimorphism in children

    Smith, O. A. M., Nashed, Y. S. G., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 26 Dec 2020, (E-pub ahead of print)

    Article in Anatomical Record

  2. A Comparison of Self-Play Algorithms Under a Generalized Framework

    Hernandez, D., Denamganai, K., Devlin, S., Samothrakis, S. & Walker, J. A., 11 Feb 2021, (E-pub ahead of print)

    Article in IEEE Transactions on Games

  3. A Comprehensive Survey of Industry Practice in Real-time Systems

    Akesson, B., Nasri, M., Nelissen, G., Altmeyer, S. & Davis, R. I., 11 Nov 2021, (E-pub ahead of print)

    Article in Real-Time Systems

  4. A General Purpose Algorithm for Counting Simple Cycles and Simple Paths of Any Length

    Giscard, P-L., Kriege, N. & Wilson, R. C., 15 Feb 2019, (E-pub ahead of print)

    Article in Algorithmica

  5. A Novel CSI Feedback Approach for Massive MIMO using LSTM-Attention CNN

    Li, Q., Zhang, A., Liu, P., Li, J. & Li, C., 3 Jan 2020, (E-pub ahead of print)

    Article in IEEE Access

  6. 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, (E-pub ahead of print)

    Article in Journal of Systems and Software

  7. A long postreproductive life span is a shared trait among genetically distinct killer whale populations

    Nielsen, M., Ellis, S., Towers, J., Doniol-Valcroze, T., Franks, D. W., Cant, M., Weiss, M., Johnstone, R. A., Balcomb, K. C., Ellifrit, D. K. & Croft, D., 16 Jun 2021, (E-pub ahead of print)

    Article in Ecology and Evolution

  8. A quantum Jensen-Shannon graph kernel for unattributed graphs

    Bai, L., Rossi, L., Torsello, A. & Hancock, E. R., 4 Apr 2014, (E-pub ahead of print)

    Article in Pattern Recognition

  9. Accuracy and Power Analysis of Social Networks Built From Count Data

    Hart, J. D. A., Franks, D. W., Brent, L. J. N. & Weiss, M. N., 16 Oct 2021, (E-pub ahead of print)

    Article in Methods in ecology and evolution

  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, (E-pub ahead of print)

    Article in Scientific Reports

  11. Analysing RoboChart with probabilities

    Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, (E-pub ahead of print) Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer, 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

  12. Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

    Calinescu, R., Cortelessa, V., Stefanakos, I. & Trubiani, C., 17 Mar 2020, (E-pub ahead of print) 23rd International Conference on Fundamental Approaches to Software Engineering. p. 357-377 21 p.

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

  13. Architecting Time-Critical Big-Data Systems

    Basanta-Val, P., Audsley, N. C., Wellings, A. J., Gray, I. & Fernandez-Garcio, N., 31 Oct 2016, (E-pub ahead of print)

    Article in IEEE Transactions on Big Data

  14. Awareness, perceptions of and compliance with tobacco control policies among Naswar vendors in Khyber Pakhtunkhwa Pakistan

    Ahmad, F., Khan, Z., Siddiqi, K., Khan, M. N., Kibria, Z., Forberger, S., Bauld, L., Kanaan, M. & Zeeb, H., 5 Jul 2021, (E-pub ahead of print)

    Article in Tobacco Control

  15. Battery draining attacks against edge computing nodes in IoT networks

    Smith, R. T., Palin, D., Ioulianou, P. P., Vasilakis, V. & Shahandashti, S. F., 20 Jan 2020, (E-pub ahead of print)

    Article in Cyber-Physical Systems

  16. Bragg Diffraction Patterns as Graph Characteristics

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

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

  17. Calculating effect sizes in animal social network analysis

    Franks, D. W., Weiss, M. N., Silk, M. J., Perryman, R. J. Y. & Croft, D. P., 21 Jun 2020, (E-pub ahead of print)

    Article in Methods in ecology and evolution

  18. 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, (E-pub ahead of print)

    Article in Review of Scientific Instruments

  19. 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, (E-pub ahead of print)

    Article in Information Processing Letters

  20. Computing performance requirements for web service compositions

    García-Domínguez, A., Palomo-Lozano, F., Medina-Bulo, I., Ibias, A. & Núñez, M., Jan 2023

    Article in Computer Standards and Interfaces

  21. Cross-modal Hashing with Semantic Deep Embedding

    Yan, C., Bai, X., Wang, S., Zhou, J. & Hancock, E. R., 23 Jan 2019, (E-pub ahead of print)

    Article in Neurocomputing

  22. Deep Face Model Compression Using Entropy-based Filter Selection

    Han, B., Zhang, Z., Xu, C., Wang, B., Hu, G., Bai, L., Hong, Q. & Hancock, E. R., 13 Oct 2017, (E-pub ahead of print) Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer, Vol. 10485. p. 127-136

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

  23. Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka

    White, D. R., Joffe, L., Bowles, E. & Swan, J., 25 Mar 2017, (E-pub ahead of print) Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II. Squillero, G. & Sim, K. (eds.). Cham: Springer, p. 35-48 14 p.

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

  24. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, (E-pub ahead of print) 22nd International Conference on Fundamental Approaches to Software Engineering. Springer

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

  25. Directed motor-auditory EEG connectivity is modulated by music tempo

    Nicolaou, N., Malik, A., Daly, I., Weaver, J., Hwang, F., Kirke, A., Roesch, E. B., Williams, D., Miranda, E. R. & Nasuto, S. J., 18 Oct 2017, (E-pub ahead of print)

    Article in Frontiers in human neuroscience

  26. Dirichlet Densifiers for Improved Commute Times Estimation

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 19 Feb 2019, (E-pub ahead of print)

    Article in Pattern Recognition

  27. End-to-End Verifiable E-Voting Trial for Polling Station Voting

    Hao, F., Wang, S., Bag, S., Procter, R., Shahandashti, S. F., Mehrnezhad, M., Toreini, E., Metere, R. & Liu, L., 30 Jul 2020, (E-pub ahead of print)

    Article in IEEE Security & Privacy

  28. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, (E-pub ahead of print) Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer, 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

  29. 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, (E-pub ahead of print)

    Article in BMJ Quality & Safety

  30. Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

    Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 31 Aug 2021, (E-pub ahead of print) 36th IEEE/ACM International Conference on Automated Software Engineering.

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

  31. Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2 Mar 2018, (E-pub ahead of print) 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

  32. Fast Rule-Based Graph Programs

    Campbell, G., Courtehoute, B. & Plump, D., 28 Sep 2021, (E-pub ahead of print)

    Article in Science of Computer Programming

  33. Fault-based refinement-testing for CSP

    Cavalcanti, A. L. C. & Simao, A., 21 Mar 2019, (E-pub ahead of print)

    Article in Software Quality Journal

  34. Formal mutation testing for Circus

    Alberto, A., Cavalcanti, A. L. C., Gaudel, M-C. & Simao, A., 21 Apr 2016, (E-pub ahead of print)

    Article in Information and Software Technology

  35. Formalising Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C., Sep 2017, (E-pub ahead of print) 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). 15 p.

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

  36. From formalised state machines to implementation of robotic controllers

    Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sep 2016, (E-pub ahead of print) 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer, 14 p. (Springer Tracts in Advanced Robotics).

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

  37. Fused Lasso for Feature Selection using Structural Information

    Bai, L., Cui, L., Wang, Y., Yu, P. S. & Hancock, E. R., 1 Jun 2021, (E-pub ahead of print)

    Article in Pattern Recognition

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

    Algahtani, E. & Kazakov, D. L., 2018, (E-pub ahead of print) CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings

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

  39. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, (E-pub ahead of print) Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing. IEEE, p. 1-5 6 p.

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

  40. Growing old: Do women and men age differently?

    Smith, O. A. M., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 17 Jan 2021, (E-pub ahead of print)

    Article in Anatomical Record

  41. High-Availability Clusters: A Taxonomy, Survey, and Future Directions

    Somasekaram, P., Calinescu, R. & Buyya, R., 29 Dec 2021, (E-pub ahead of print)

    Article in Journal of Systems and Software

  42. Higher-Order Particle Representation for Particle-in-Cell Simulations

    Brown, D., Bettencourt, M. T., Wright, S. A., Maheswaran, S., Jones, J. P. & Jarvis, S., 8 Mar 2021, (E-pub ahead of print)

    Article in Journal of Computational Physics

  43. Identification and Optimisation of Type-Level Model Queries

    Ali, Q. U. A., Kolovos, D. & Barmpis, K., 11 Oct 2021, (E-pub ahead of print).

    Research output: Contribution to conferencePaperpeer-review

  44. Identifying the most informative features using a structurally interacting elastic net

    Cui, L., Bai, L., Zhang, Z., Wang, Y. & Hancock, E. R., 3 Nov 2018, (E-pub ahead of print)

    Article in Neurocomputing

  45. Image retrieval based on query by saliency content

    Papushoy, A. & Bors, A. G., 26 Sep 2014, (E-pub ahead of print)

    Article in Digital Signal Processing

  46. Information Bottleneck and Selective Noise Supervision for Zero-Shot Learning

    Zhou, L., Liu, Y., Pencheng, Z., Xiao, B., Yazhou, Y., Zhou, J., Lin, G., Harada, T. & Hancock, E. R., 1 Sep 2022, (E-pub ahead of print)

    Article in Machine Learning

  47. Investigating Human Error Within GoA-2 Metro Lines

    Hunter, J. & McDermid, J. A., 20 May 2022, (E-pub ahead of print) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2022. Collart-Dutilleul, S., Haxthausen, A. E. & Lecomte, T. (eds.). Springer, Vol. 13294. p. 179-191 18 p. (Lecture Notes in Computer Science).

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

  48. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, (E-pub ahead of print) Integrated Formal Methods: Proceedings of the 15th International Conference. Springer, Vol. 11918. p. 379-398 20 p. (LNCS).

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

  49. Kinship Dynamics: Patterns and Consequences of Changes in Local Relatedness

    Croft, D. P., Weiss, M. N., Nielsen, M. L. K., Grimes, C., Cant, M. A., Ellis, S., Franks, D. W. & Johnstone, R. A., 18 Aug 2021, (E-pub ahead of print)

    Article in Proceedings of the Royal Society B

  50. Laser produced electromagnetic pulses: Generation, detection and mitigation

    Consoli, F., Tikhonchuk, V. T., Tikhonchuk, V. T., Bardon, M., Bradford, P., Carroll, D. C., Cikhardt, J., Cikhardt, J., Cipriani, M., Clarke, R. J., Cowan, T. E., Danson, C. N., Danson, C. N., Danson, C. N., De Angelis, R., De Marco, M., Dubois, J. L., Etchessahar, B., Garcia, A. L., Hillier, D. I., & 24 othersHillier, D. I., Honsa, A., Jiang, W., Kmetik, V., Krása, J., Li, Y., Li, Y., Lubrano, F., McKenna, P., Metzkes-Ng, J., Poyé, A., Prencipe, I., Rączka, P., Smith, R. A., Vrana, R., Woolsey, N. C., Zemaityte, E., Zhang, Y., Zhang, Y., Zhang, Z., Zielbauer, B., Neely, D., Neely, D. & Neely, D., 9 Jun 2020, (E-pub ahead of print)

    Review article in High Power Laser Science and Engineering

  51. Learning Graph Convolutional Networks based on Quantum Vertex Information Propagation

    Bai, L., Jiao, Y., Cui, L., Rossi, L., Wang, Y., Yu, P. S. & Hancock, E. R., 24 Aug 2021, (E-pub ahead of print)

    Article in IEEE Transactions on Knowledge and Data Engineering

  52. Linear Depth Estimation from an Uncalibrated, Monocular Polarisation Image

    Smith, W. A. P., Ramamoorthi, R. & Tozza, S., 17 Sep 2016, (E-pub ahead of print) Lecture Notes in Computer Science. p. 109-125 17 p. (Lecture Notes in Computer Science; vol. 9912).

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

  53. 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, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  54. 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, (E-pub ahead of print)

    Article in Real-Time Systems

  55. Metagame Autobalancing for Competitive Multiplayer Games

    Hernandez, D., Gbadamosi, C., Goodman, J. & Walker, J. A., 5 Jun 2020, (E-pub ahead of print) Proceedings of the IEEE Conference on Games 2020. IEEE, 8 p.

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

  56. Metrics for energy-aware software optimisation

    Roberts, S. I., Wright, S. A., Fahmy, S. A. & Jarvis, S. A., 12 May 2017, (E-pub ahead of print) High Performance Computing - 32nd International Conference, ISC High Performance 2017, Proceedings. Springer, Vol. 10266 LNCS. p. 413-430 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10266 LNCS).

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

  57. Model-Driven Simulation-Based Analysis for Multi-Robot Systems

    Harbin, J. R., Gerasimou, S., Matragkas, N., Zolotas, A. & Calinescu, R., 1 Aug 2021, (E-pub ahead of print) MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).

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

  58. Modelling Timed Reactive Systems from Natural-Language Requirements

    Carvalho, G., Cavalcanti, A. L. C. & Sampaio, A. C. A., 26 Jul 2016, (E-pub ahead of print)

    Article in Formal Aspects of Computing

Previous 1 2 Next