Search research publications and outputs

  1. Preprint › Research
  2. A Hierarchical Transitive-Aligned Graph Kernel for Un-attributed Graphs

    Bai, L., Cui, L. & Hancock, E. R., 8 Feb 2020, 8 p. (arXiv).

    Research output: Working paperPreprint

  3. A Pattern-based deadlock-freedom analysis strategy for concurrent systems

    Antonino, P., Sampaio, A. & Woodcock, J., 18 Jul 2022, Arxiv (Cornell University).

    Research output: Working paperPreprint

  4. A Substrate-Independent Framework to Characterise Reservoir Computers

    Dale, M., Miller, J. F., Stepney, S. & Trefzer, M. A., 16 Oct 2018, arXiv, 19 p.

    Research output: Working paperPreprint

  5. A Survey of Horse Racing Opinions and Perceptions

    Patterson, H. & Hodge, V. J., 7 Jan 2022, SportRxiv.

    Research output: Working paperPreprint

  6. A Survey of Practical Formal Methods for Security

    Kulik, T., Dongol, B., Larsen, P. G., Macedo, H. D., Schneider, S., Tran-Jørgensen, P. W. V. & Woodcock, J., 3 Sep 2021.

    Research output: Working paperPreprint

  7. An Evaluation of Classification and Outlier Detection Algorithms

    Hodge, V. J. & Austin, J., 2 May 2018, 4 p.

    Research output: Working paperPreprint

  8. Analytical Methods for High-Rate Global Quantum Networks

    Harney, C. & Pirandola, S., 24 Jan 2022, arXiv.

    Research output: Working paperPreprint

  9. Co-evolution of networks and quantum dynamics: a generalization of the Barabási-Albert model of preferential attachment

    Hancock, E., Konno, N., Latora, V., Machida, T., Nicosia, V., Severini, S. & Wilson, R., 4 Feb 2013, Arxiv (Cornell University), 10 p.

    Research output: Working paperPreprint

  10. Collaborative Knowledge Graph Fusion by Exploiting the Open Corpus

    Wang, Y., Wan, Y., Bai, L., Cui, L., Xu, Z., Li, M., Yu, P. S. & Hancock, E. R., 15 Jun 2022, Arxiv (Cornell University).

    Research output: Working paperPreprint

Previous 1 2 3 4 5 6 7 8 ...116 Next