Search research publications and outputs

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

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

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

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

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

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

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

Previous 1 2 Next