Search research publications and outputs

  1. Article › Research › Not peer-reviewed
  2. Article › Research › Peer-reviewed
  3. 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

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

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

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

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

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

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

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

  11. Special issue › Research › Peer-reviewed
  12. Conference contribution › Research
  13. 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-Verlag

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

  14. 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 International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

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