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 Manifesto for Applicable Formal Methods

    Gleirscher, M., Pol, J. V. D. & Woodcock, J., 23 Dec 2021.

    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. Automatic Modelling of 3D Craniofacial Form

    Pears, N. E. & Duncan, C., 22 Jan 2016, p. 1-57, 57 p.

    Research output: Working paperPreprint

  10. CV-MDI-QKD: One-mode Gaussian attacks are not enough

    Pirandola, S., Ottaviani, C., Spedalieri, G. & Braunstein, S. L., 14 Sep 2015, p. 1-3, 3 p.

    Research output: Working paperPreprint

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

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

  13. Concentric Symmetry

    Silva, F. N., Comin, C. H., Peron, T. K. D., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & Costa, L. . F., 1 Jul 2014.

    Research output: Working paperPreprint

  14. Cryptanalysis of Song's advanced smart card based password authentication protocol

    Tapiador, J. E., Hernandez-Castro, J. C., Peris-Lopez, P. & Clark, J. A., 11 Nov 2011.

    Research output: Working paperPreprint

  15. Entropic Dynamic Time Warping Kernels for Co-evolving Financial Time Series Analysis

    Bai, L., Cui, L., Xu, L., Wang, Y., Zhang, Z. & Hancock, E. R., 21 Oct 2019, Arxiv (Cornell University).

    Research output: Working paperPreprint

  16. Evaporating black holes have leaky horizons or exotic atmospheres

    L. Braunstein, S. & Pirandola, S., 6 Nov 2013, p. 1-6.

    Research output: Working paperPreprint

  17. Evidence of coupling between magnon excitation and the Gilbert damping in half-metallic oxides

    Lu, X., Atkinson, L. J., Kuerbanjiang, B., Liu, B., Li, G., Wang, Y., Wang, J., Ruan, X., Wu, J., Evans, R. F. L., Lazarov, V. K., Chantrell, R. W. & Xu, Y., 30 Oct 2017, Arxiv (Cornell University).

    Research output: Working paperPreprint

  18. From Quantum Graph Computing to Quantum Graph Learning: A Survey

    Tang, Y., Yan, J. & Hancock, E. R., 19 Feb 2022, (CoRR).

    Research output: Working paperPreprint

  19. From Theory to Behaviour: Towards a General Model of Engagement

    Bonometti, V., Ringer, C., Ruiz, M., Wade, A. & Drachen, A., 27 Apr 2020, 8 p.

    Research output: Working paperPreprint

  20. Fundamental Limits of Repeaterless Quantum Communications

    Pirandola, S., Laurenza, R., Ottaviani, C. & Banchi, L., 29 Oct 2015, p. 1-34, 34 p.

    Research output: Working paperPreprint

  21. General Benchmarks for Quantum Repeaters

    Pirandola, S. & Laurenza, R., 15 Dec 2015, p. 1-12, 12 p.

    Research output: Working paperPreprint

  22. Graph Convolutional Neural Networks based on Quantum Vertex Saliency

    Bai, L., Jiao, Y., Rossi, L., Cui, L., Cheng, J. & Hancock, E. R., 4 Sep 2018, (arXiv).

    Research output: Working paperPreprint

  23. HMFlow: Hybrid Matching Optical Flow Network for Small and Fast-Moving Objects

    Yu, S., Zhang, Y., Wang, C., Bai, X., Zhang, L. & Hancock, E. R., 19 Nov 2020.

    Research output: Working paperPreprint

  24. How Discord underlies the Noise Resilience of Quantum Illumination

    Weedbrook, C., Pirandola, S., Thompson, J., Vedral, V. & Gu, M., 11 Dec 2013, p. 1-7.

    Research output: Working paperPreprint

  25. Interpreting the von Neumann entropy of graph Laplacians, and coentropic graphs

    de Beaudrap, N., Giovannetti, V., Severini, S. & Wilson, R., 30 Apr 2013, p. 1-7.

    Research output: Working paperPreprint

  26. Learning Aligned-Spatial Graph Convolutional Networks for Graph Classification

    Bai, L., Jiao, Y., Cui, L. & Hancock, E. R., 6 Apr 2019, (arXiv).

    Research output: Working paperPreprint

  27. Learning Safe Neural Network Controllers with Barrier Certificates

    Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 18 Sep 2020.

    Research output: Working paperPreprint

  28. Learning Safe Neural Network Controllers with Barrier Certificates

    Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 18 Sep 2020, (CoRR).

    Research output: Working paperPreprint

  29. Learning Vertex Convolutional Networks for Graph Classification

    Bai, L., Cui, L., Wu, S., Jiao, Y. & Hancock, E. R., 26 Feb 2019, (arXiv).

    Research output: Working paperPreprint

  30. MedPerf: Open Benchmarking Platform for Medical Artificial Intelligence using Federated Evaluation

    Karargyris, A., Umeton, R., Sheller, M. J., Aristizabal, A., George, J., Bala, S., Beutel, D. J., Bittorf, V., Chaudhari, A., Chowdhury, A., Coleman, C., Desinghu, B., Diamos, G., Dutta, D., Feddema, D., Fursin, G., Guo, J., Huang, X., Kanter, D., Kashyap, S. & 22 others, Lane, N., Mallick, I., Mascagni, P., Mehta, V., Natarajan, V., Nikolov, N., Padoy, N., Pekhimenko, G., Reddi, V. J., Reina, G. A., Ribalta, P., Rosenthal, J., Singh, A., Thiagarajan, J. J., Wuest, A., Xenochristou, M., Xu, D., Yadav, P., Rosenthal, M., Loda, M., Johnson, J. M. & Mattson, P., 29 Sep 2021, arXiv.

    Research output: Working paperPreprint

  31. Metrics for Computing Trust in a Multi-Agent Environment

    Bista, S. K., Dahal, K. P., Cowling, P. I. & Tuladhar, B. M., 2013.

    Research output: Working paperPreprint

  32. Modular Dynamics of Financial Market Networks

    Silva, F. N., Comin, C. H., Peron, T. K. D., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & Costa, L. . F., 21 Jan 2015, p. 1-13, 13 p.

    Research output: Working paperPreprint

  33. Non-Markovian Reactivation of Quantum Relays

    Pirandola, S., Ottaviani, C., Jacobsen, C. S., Spedalieri, G., Braunstein, S. L., Gehring, T. & Andersen, U. L., 27 May 2015, p. 1-7, 7 p.

    Research output: Working paperPreprint

  34. Quantum channel position finding using single photons

    Karsa, A., Carolan, J. & Pirandola, S., 10 Jan 2022.

    Research output: Working paperPreprint

  35. Reservoir Computing with Thin-film Ferromagnetic Devices

    Dale, M., Evans, R. F. L., Jenkins, S., O'Keefe, S., Sebald, A., Stepney, S., Torre, F. & Trefzer, M., 29 Jan 2021, (arXiv).

    Research output: Working paperPreprint

  36. Revisiting Domain Generalized Stereo Matching Networks from a Feature Consistency Perspective

    Zhang, J., Wang, X., Bai, X., Wang, C., Huang, L., Chen, Y., Gu, L., Harada, T. & Hancock, E. R., 21 Mar 2022, 17 p.

    Research output: Working paperPreprint

  37. Revisiting IoT Device Identification

    Kolcun, R., Popescu, D. A., Safronov, V., Yadav, P., Mandalari, A. M., Mortier, R. & Haddadi, H., 14 Sep 2021, IFIP - International Federation for Information Processing.

    Research output: Working paperPreprint

  38. Super-Additivity and Entanglement Assistance in Quantum Reading

    Lupo, C. & Pirandola, S., 4 Mar 2016.

    Research output: Working paperPreprint

  39. Synthetic Neural Vision System Design for Motion Pattern Recognition in Dynamic Robot Scenes

    Fu, Q., Hu, C., Liu, P. & Yue, S., 2019.

    Research output: Working paperPreprint

  40. Two-level Graph Neural Network

    Ai, X., Sun, C., Zhang, Z. & Hancock, E. R., 3 Jan 2022.

    Research output: Working paperPreprint

  41. Unified framework for the adaptive operator selection of discrete parameters

    Sharma, M., López-Ibáñez, M. & Kazakov, D. L., 12 May 2020, 36 p. (arXiv).

    Research output: Working paperPreprint

  42. Unraveling the Evolution of Defectors in Online Business Games

    Bista, S. K., Dahal, K. P., Cowling, P. I. & Tuladhar, B. M., 2013.

    Research output: Working paperPreprint

  43. Win Prediction in Esports: Mixed-Rank Match Prediction in Multi-player Online Battle Arena Games

    Hodge, V. J., Devlin, S. M., Sephton, N. J., Block, F. O., Drachen, A. & Cowling, P. I., 17 Nov 2017, 1711.06498 ed., arXiv, 7 p.

    Research output: Working paperPreprint

  44. Working paper › Research
  45. A Comparison of CS Student Backgrounds at Two Universities

    Pedroni, M. & Oriol, M., 2009.

    Research output: Working paper

  46. A Failure and Recovery Algebra

    McDermid, J. A., 1992.

    Research output: Working paper

  47. A Safe Subset of Statecharts for Safety-Critical Applications

    Shi, F. G., Armstrong, J. M. & McDermid, J. A., 17 Aug 2001.

    Research output: Working paper

  48. A Z Subset for Direct Implementation and Code Generation

    Shi, F. G., McDermid, J. A. & Armstrong, J. M., 17 Nov 2001.

    Research output: Working paper

  49. ASAM II Concepts: Principles Underlying the Construction of Safety Cases Using SAM

    McDermid, J. A., Fenelon, P. & Wilson, S. P., 16 Apr 1999.

    Research output: Working paper

  50. Ada on multiple processors

    McDermid, J. A., 1982, Royal Signals and Radar Establishment, 9 p.

    Research output: Working paper

  51. An Electronic Purse: Specification, Refinement, and Proof

    Stepney, S., Cooper, D. & Woodcock, J., 1 Jul 2000, Oxford: Oxford University Computing Laboratory.

    Research output: Working paper

  52. An Evaluation of the Ten15 Persistent Store

    Blanchard, T. D. & McDermid, J. A., 1 Dec 1992.

    Research output: Working paper

  53. An Examination of the Efficiency of Sorted Deduction

    Abrams, C. B. & Frisch, A. M., Mar 1993.

    Research output: Working paper

  54. An Introduction to ZedCharts and Its Applications

    Shi, F., McDermid, J. A. & Armstrong, J. M., 17 Jan 2002.

    Research output: Working paper

  55. An introduction to the FLEX computer system

    Foster, J. M., Moir, C. I., Currie, I. F., McDermid, J. A., Edwards, P. W., Morison, J. D. & Pygott, C. H., 1979, Defense Technical Information Center, 22 p.

    Research output: Working paper

  56. Assurance in High Integrity Software

    McDermid, J. A., 1987.

    Research output: Working paper

  57. Asynchronous Patterns for Dynamic Maintenance

    Oriol, M., 2006, Zurich: Citeseer.

    Research output: Working paper

  58. Comparative Data Mining for Microarrays: A Case Study Based on Multiple Myeloma

    Page, D., Zhan, F., Cussens, J., Waddell, M., Hardin, J., Barlogie, B. & Shaughnessy, Jr., J., 1 Nov 2002.

    Research output: Working paper

  59. Dependability Measurement of Safety Critical Systems

    Jackson, T. O., McDermid, J. A., Wand, I. C. & Wilikens, M., 1994.

    Research output: Working paper

  60. Dependability Measurement of Safety Critical Systems: Models and Data Refinement

    Jackson, T. O., McDermid, J. A., Wand, I. C. & Wilikens, M., 15 Sep 2000.

    Research output: Working paper

  61. Fault Tolerant Computing

    McDermid, J. A., 1979, Royal Signals and Radar Establishment, 25 p.

    Research output: Working paper

  62. Further Inductive Mercury Programming and IMP0.5

    Fisher, B. & Cussens, J., 1 Mar 2009.

    Research output: Working paper

  63. Generalised Reactive Processes in Isabelle/UTP

    Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 p.

    Research output: Working paper

  64. Guiding Reuse with Risk Assessments

    Burd, E. L. & McDermid, J. A., 1992.

    Research output: Working paper

  65. Handling Composition of Systems Using Matrices

    Shi, Q., McDermid, J. A. & Moffett, J. D., 1 Jan 1992.

    Research output: Working paper

  66. Isabelle/UTP: Mechanised Theory Engineering for the UTP

    Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 4 Apr 2018, (Unpublished) 162 p.

    Research output: Working paper

  67. Kleene Algebra in Unifying Theories of Programming

    Foster, S. D., 5 Apr 2018, (Unpublished) 6 p.

    Research output: Working paper

  68. On the Trustworthiness of Computing Systems

    Dobson, J. E., McDermid, J. A. & Randell, B., 1990.

    Research output: Working paper

  69. Optimal Performance of a Quantum Network

    Pirandola, S., 5 Jan 2016.

    Research output: Working paper

  70. Production of Hierarchic Checkpoint Structures

    McDermid, J. A., 1980, Royal Signals and Radar Establishment.

    Research output: Working paper

  71. Requirements and Constraints on Software Engineering Environments for Dependable Systems

    McDermid, J. A., Hocking, E. S., Shi, Q. & Dobson, J. E., 1990.

    Research output: Working paper

  72. Reuse as a Project Management Tool

    Burd, E. L. & McDermid, J. A., 1992.

    Research output: Working paper

  73. Security Models and Enterprise Models

    Dobson, J. E. & McDermid, J. A., 1989.

    Research output: Working paper

  74. Security Threats in Mobile Ad Hoc Networks

    Sen, S. & Clark, JA., 2009.

    Research output: Working paper

  75. Some Issues in The Formal Design of Redundant Systems

    McDermid, J. A. & Morgan, G., 1989.

    Research output: Working paper

  76. Specification and Design for Timeliness

    Kopetz, H., Fohler, G., Kantz, H., Schuetz, W., Zainlinger, R., Burns, A., McDermid, J. A. & Bhattacharyya, A., 1990.

    Research output: Working paper

Previous 1 2 Next