Search research publications and outputs

  1. Verified simulation for robotics

    Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019, (E-pub ahead of print)

    Article in Science of Computer Programming

  2. Using formal reasoning on a model of tasks for FreeRTOS

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014, (E-pub ahead of print)

    Article in Formal Aspects of Computing

  3. Turning a Digital Camera into an Absolute 2D Tele-Colorimeter

    Guarnera, G. C., Bianco, S. & Schettini, R., 10 Apr 2018, (E-pub ahead of print)

    Article in Computer graphics forum

  4. Thermodynamic Motif Analysis for Directed Stock Market Networks

    Chen, D., Guo, X., Wang, J., Liu, J., Zhang, Z. & Hancock, E. R., 2 Feb 2021, (E-pub ahead of print)

    Article in Pattern recognition

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

    Article in Journal of Anatomy

  6. Structural network inference from time-series data using a generative model and transfer entropy

    Zhang, Z., Zhang, G., Zhang, Z., Chen, G., Zeng, Y., Wang, B. & Hancock, E. R., 25 May 2019, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  7. Stochastic domain wall depinning in permalloy nanowires with various types of notches

    Gao, Y., You, B., Yang, H. L., Zhan, Q. F., Li, Z., Lei, N., Zhao, W. S., Wu, J., Tu, H. Q., Wang, J., Wei, L. J., Zhang, W., Xu, Y. B. & Du, J., 29 Dec 2016, (E-pub ahead of print)

    Article in RSC Advances

  8. Statistical Mechanical Analysis for Unweighted and Weighted Stock Market Networks

    Wang, J., Guo, X., Li, W., Wu, X., Zhang, Z. & Hancock, E. R., 22 Jun 2021, (E-pub ahead of print)

    Article in Pattern recognition

  9. Static probabilistic timing analysis for real-time systems using random replacement caches

    Altmeyer, S., Cucu-Grosjean, L. & Davis, R. I., 13 Jan 2015, (E-pub ahead of print)

    Article in Real-Time Systems

  10. Sound reasoning in tock-CSP

    Baxter, J., Ribeiro, P. & Cavalcanti, A., 17 Apr 2021, (E-pub ahead of print)

    Article in Acta Informatica

  11. Single Image Super Resolution via Neighbor Reconstruction

    Zhang, Z., Xu, C., Zhang, Z., Chen, G., Cai, Y., Wang, Z., Li, H. & Hancock, E. R., 22 Apr 2019, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  12. Significant cognitive decline in Parkinson’s disease exacerbates the reliance on visual feedback during upper limb reaches

    Cosgrove, J., Hinder, M., St George, R., Picardi, C., Smith, S. L., Lones, M. A., Jamieson, S. & Alty, J. E., 12 May 2021, (E-pub ahead of print)

    Article in Neuropsychologia

  13. Semi-Supervised Face Frontalization in the Wild

    Zhang, Z., Liang, R., Chen, X., Xu, X., Hu, G., Zuo, W. & Hancock, E. R., 22 Sep 2020, (E-pub ahead of print)

    Article in Information Forensics and Security, IEEE Transactions on

  14. Seeking Affinity Structure: Strategies for Improving m-best Graph Matching

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

    Article in Information Sciences

  15. Safety-critical Java for embedded systems

    Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S., Ravn, A., Rivas, J., Strom, T., Søndergaard, H., Zhao, S. & Wellings, A. J., 14 Dec 2016, (E-pub ahead of print)

    Article in Concurrency and Computation: Practice and Experience

  16. Recovering Variations in Facial Albedo from Low Resolution Images

    Xu, C., Zhang, Z., Wang, B., Hu, G. & Hancock, E. R., 22 Sep 2017, (E-pub ahead of print)

    Article in Pattern Recognition

  17. Quantum-based subgraph convolutional neural networks

    Zhang, Z., Chen, D., Wang, J., Bai, L. & Hancock, E. R., 6 Nov 2018, (E-pub ahead of print)

    Article in Pattern recognition

  18. Quantum Jensen-Shannon Graph Kernels using Discrete-time Quantum Walks

    Bai, L., Rossi, L., Cui, L., Zhang, Z., Ren, P., Xiao, B. & Hancock, E. R., 9 Sep 2016, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  19. Pooling Attention-based Encoder–Decoder Network for semantic segmentation

    Xu, H., Huang, Y., Hancock, E. R., Wang, S., Xuan, Q. & Zhou, W., 22 Jun 2021, (E-pub ahead of print)

    Article in Computers & Electrical Engineering

  20. Open System Quantum Thermodynamics of Time Varying Graphs

    MINELLO, GIORGIA., Torsello, A. & Hancock, E. R., 20 Feb 2020, (E-pub ahead of print)

    Article in Journal of Complex Networks

  21. On the effectiveness of cache partitioning in hard real-time systems

    Altmeyer, S., Douma, R., Lunniss, W. R. E. & Davis, R. I., 6 Jan 2016, (E-pub ahead of print)

    Article in Real-Time Systems

  22. Navigating the Windows Mail database

    Chivers, H. R., 21 Mar 2018, (E-pub ahead of print)

    Article in Digital Investigation

  23. Multimodal Fusion for Indoor Sound Source Localization

    Chen, J., Takashima, R., Guo, X., Zhang, Z., Xu, X., Takiguchi, T. & Hancock, E. R., 23 Feb 2021, (E-pub ahead of print)

    Article in Pattern recognition

  24. Multi-Agent Credit Assignment in Stochastic Resource Management Games

    Mannion, P., Devlin, S., Duggan, J. & Howley, E., 24 Aug 2017, (E-pub ahead of print)

    Article in The Knowledge Engineering Review

  25. Modelling and Motion Analysis of a Pill-Sized Hybrid Capsule Robot

    Huda, M. N., Liu, P., Saha, C. & Yu, H., 19 Mar 2020, (E-pub ahead of print)

    Article in Journal of Intelligent & Robotic Systems

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  41. Confluence up to garbage in graph transformation

    Campbell, G. & Plump, D., 16 Jun 2021, (E-pub ahead of print)

    Article in Theoretical Computer Science

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

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

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

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

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

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

Previous 1 2 Next