Search research publications and outputs

  1. 2020
  2. 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 paper

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

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

  5. 2019
  6. 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 paper

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

  8. Fused Lasso for Feature Selection using Structural Information

    Cui, L., Bai, L. & Hancock, E. R., 26 Feb 2019, (arXiv).

    Research output: Working paper

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

  10. 2018
  11. 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 paper

  12. 2017
  13. 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 paper

  14. 2016
  15. Super-Additivity and Entanglement Assistance in Quantum Reading

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

    Research output: Working paper

  16. Thermal Quantum Metrology

    Spedalieri, G., Braunstein, S. L. & Pirandola, S., 18 Feb 2016.

    Research output: Working paper

  17. Automatic Modelling of 3D Craniofacial Form

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

    Research output: Working paper

  18. Optimal Performance of a Quantum Network

    Pirandola, S., 5 Jan 2016.

    Research output: Working paper

  19. 2015
  20. General Benchmarks for Quantum Repeaters

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

    Research output: Working paper

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

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

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

  24. 2014
  25. 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 paper

  26. 2013
  27. 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 paper

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

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

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

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

  32. 2011
  33. 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 paper

  34. 2010
  35. 2009
  36. Further Inductive Mercury Programming and IMP0.5

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

    Research output: Working paper

  37. A Comparison of CS Student Backgrounds at Two Universities

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

    Research output: Working paper

  38. 2006
  39. Asynchronous Patterns for Dynamic Maintenance

    Oriol, M., 2006, Zurich: Citeseer.

    Research output: Working paper

  40. 2005
  41. Toward Practical Dynamic Software Updating

    Neamtiu, I., Stoyle, G., Oriol, M. & Hicks, M., 2005, College Park: Citeseer.

    Research output: Working paper

  42. 2003
  43. The Language of Causation for Describing the Behaviour of Systems

    Moffett, J. D., Hall, J. G. & McDermid, J. A., 19 Oct 2003.

    Research output: Working paper

  44. 2002
  45. 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

  46. An Introduction to ZedCharts and Its Applications

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

    Research output: Working paper

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

  50. 2000
  51. 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

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

Previous 1 2 Next