Search research publications and outputs

  1. Paper › Research › Not peer-reviewed
  2. A Comparison of Categorisation Algorithms for Predicting the Cellular Localisation Sites of Proteins

    Cairns, P. A., Huyck, C. R., Mitchell, I. & Wu, W. X., 2001, p. 296-300.

    Research output: Contribution to conferencePaper

  3. An Architecture for Modelling Emergence in CA-Like Systems

    Polack, F., Stepney, S., Turner, H. R., Welch, P. H., Barnes, F. R. M., Capcarrère, M. S., Freitas, A. A., Bentley, P. J., Johnson, C. G. & Timmis, J., 2005, p. 433-442.

    Research output: Contribution to conferencePaper

  4. Automated evaluation of crystallisation experiments

    Wilson, J. C., 1 Jan 2004, p. 73-84. 12 p.

    Research output: Contribution to conferencePaper

  5. Lubricant degradation, transport and the effect of extended oil drain intervals on piston assembly tribology

    Stark, M. S., Wilkinson, J. J., Lee, P. M., Priest, M., Lindsay-Smith, J. R., Taylor, R. I. & Chung, S., 2006.

    Research output: Contribution to conferencePaper

  6. On Defining a "HURT" Metric to Measure Dissatisfaction with Products

    Prasad, D. K., Atkins, M. C., McDermid, J. A. & Wand, I. C., 1998.

    Research output: Contribution to conferencePaper

  7. Paper › Research › Peer-reviewed
  8. Ada for High Integrity Systems

    Hutcheon, A. D., Jepson, B. J., Jordan, D. T., McDermid, J. A. & Wand, I. C., 1992.

    Research output: Contribution to conferencePaper

  9. Application of Model-Based Software Failure Taxonomy to the Analysis of System Failure Events

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

    Research output: Contribution to conferencePaper

  10. Dependability Terminology: Similarities and Differences

    Prasad, D., McDermid, J. A. & Wand, I. C., 1995.

    Research output: Contribution to conferencePaper

  11. Grand Challenge 7: Journeys in Non-Classical Computation

    Stepney, S., Abramsky, S., Adamatzky, A., Johnson, C. G., Timmis, J., Gelenbe, E., Abramsky, S. & Sassone, V., 2008, p. 407-421.

    Research output: Contribution to conferencePaper

  12. High Integrity Software Development: Process and Tool Issues

    Hutcheon, A. D., Jepson, B. J., Jordan, D. T., McDermid, J. A. & Wand, I. C., 1994.

    Research output: Contribution to conferencePaper

  13. Mass spectrometric studies of nod factors that mediate alfalfa and soybean nodulation

    Noreen, S., Schlaman, H. R. M., Spaink, H. P., Ruiz-Sainz, J. E. & Thomas-Oates, J. E., 1 Dec 2002, p. 441-442. 2 p.

    Research output: Contribution to conferencePaper

  14. On Integration and Reuse in a Software Development Environment

    Brown, A. W., McDermid, J. A. & Long, F., 1991, p. 171-194.

    Research output: Contribution to conferencePaper

  15. Teaching Reuse through a supportive life-cycle

    Burd, E. L., McDermid, J. A., Whittle, B. R., O'Callaghan, A. & Leigh, M., 1994.

    Research output: Contribution to conferencePaper

  16. The Formal Analysis of Ada Programs

    Hutcheon, A. D., Jordan, D. T., McDermid, J. A. & Wand, I. C., 1993.

    Research output: Contribution to conferencePaper

  17. Tool Support for High Integrity Ada Software

    Hutcheon, A. D., Jordan, D. T., McDermid, J. A., Pierce, R. H., Wand, I. C., Jepson, B. J. & Toussaint, M., 1994, p. 63-75.

    Research output: Contribution to conferencePaper