Search research publications and outputs

  1. 2014
  2. 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

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

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

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

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

  9. 2010
  10. 2009
  11. Further Inductive Mercury Programming and IMP0.5

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

    Research output: Working paper

  12. A Comparison of CS Student Backgrounds at Two Universities

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

    Research output: Working paper

  13. 2006
  14. Asynchronous Patterns for Dynamic Maintenance

    Oriol, M., 2006, Zurich: Citeseer.

    Research output: Working paper

  15. 2005
  16. Toward Practical Dynamic Software Updating

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

    Research output: Working paper

  17. 2003
  18. 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

  19. 2002
  20. 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

  21. An Introduction to ZedCharts and Its Applications

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

    Research output: Working paper

  22. 2001
  23. 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

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

  25. 2000
  26. 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

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

  28. 1999
  29. 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

Previous 1 2 3 Next