Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 5 out of 5Page size: 25
  1. 2012

  2. Safety Cases for Medical Devices and Health IT: Involving Healthcare Organisations in the Assurance of Safety

    Sujan, M., Floor Koornneef, F., Chozos, N. & Kelly, T., Dec 2012, (Accepted/In press)

    Article in Health informatics journal

  3. Kernel Entropy based Unsupervised Spectral Feature Selection

    Hancock, E. R. & Zhang, Z., Aug 2012, (Accepted/In press)

    Article in INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE

  4. MESSI: Mutant Evaluation by Static Semantic Interpretation

    Patrick, M. T., Oriol, M. Y. A. & Clark, J. A., 17 Apr 2012, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  5. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  6. Argument-based Approach to Computer System Safety Engineering

    Yuan, T. & Kelly, T., 2012, (Accepted/In press)

    Article in International Journal of Critical Computer-Based Systems