Search research publications and outputs

  1. 2019
  2. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, 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

  3. Fine structure in the α decay of 223U

    Sun, M. D., Liu, Z., Huang, T. H., Zhang, W. Q., Andreyev, A. N., Ding, B., Wang, J. G., Liu, X. Y., Lu, H. Y., Hou, D. S., Gan, Z. G., Ma, L., Yang, H. B., Zhang, Z. Y., Yu, L., Jiang, J., Wang, K. L., Wang, Y. S., Liu, M. L., Li, Z. H. & 12 others, Li, J., Wang, X., Feng, A. H., Lin, C. J., Sun, L. J., Ma, N. R., Zuo, W., Xu, H. S., Zhou, X. H., Xiao, G. Q., Qi, C. & Zhang, F. S., 14 Nov 2019

    Article in Physics Letters B

  4. Learning Binary Code for Fast Nearest Subspace Search

    Zhou, L., Xiao, B., Liu, X., Zhou, J. & Hancock, E. R., 12 Sep 2019

    Article in Pattern Recognition

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

    Article in Pattern Recognition Letters

  6. Dirichlet Densifiers for Improved Commute Times Estimation

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 19 Feb 2019

    Article in Pattern Recognition

  7. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, 22nd International Conference on Fundamental Approaches to Software Engineering. Springer-Verlag

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

  8. Cross-modal Hashing with Semantic Deep Embedding

    Yan, C., Bai, X., Wang, S., Zhou, J. & Hancock, E. R., 23 Jan 2019

    Article in Neurocomputing

  9. Verified simulation for robotics

    Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019

    Article in Science of Computer Programming