Search research publications and outputs

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

  2. The Formal Analysis of Ada Programs

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

    Research output: Contribution to conferencePaper

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

  4. Stable isotope composition of ostrich eggshell as an aridity indicator

    Lee-Thorp, J., Segalen, L., Penkman, K. E. H., Demarchi, B. & Marean, C., 2012.

    Research output: Contribution to conferencePaper

  5. Smashing the eggtimer: investigating the amino acid clock.

    Demarchi, B., Cappellini, E., Crisp, M. K., Buckley, M., Collins, M. J., Thomas-Oates, J. E., Lee-Thorp, J., Marean, C. & Penkman, K. E. H., 2010.

    Research output: Contribution to conferencePaper

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

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

  8. New perspectives on amino acid racemisation dating: breaking the egg

    Demarchi, B., Crisp, M. K., Lee-Thorp, J., Marean, C., Collins, M. J. & Penkman, K. E. H., 2012.

    Research output: Contribution to conferencePaper

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

  10. Marking time at a snail’s pace: advances in amino acid dating

    Penkman, K. E. H., 2012.

    Research output: Contribution to conferencePaper

  11. Marking time at a snail's pace: million-year-old amino acids

    Penkman, K. E. H., 2014.

    Research output: Contribution to conferencePaper

  12. Marking time at a snail's pace: million-year-old amino acids

    Penkman, K. E. H., 2014.

    Research output: Contribution to conferencePaper

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

  14. Life and death of intra-crystalline proteins

    Demarchi, B., Kim, Y-Y., Collins, M. J., Meldrum, F. C. & Penkman, K. E. H., 2011.

    Research output: Contribution to conferencePaper

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

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

  17. Dependability Terminology: Similarities and Differences

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

    Research output: Contribution to conferencePaper

  18. Dating the early Palaeolithic: the new aminostratigraphy

    Penkman, K. E. H., 2010.

    Research output: Contribution to conferencePaper

  19. Dating MSA South African sites with amino acid racemisation geochronology; Building a Better Eggtimer

    Demarchi, B., Cappellini, E., Crisp, M. K., Buckley, M., Collins, M. J., Thomas-Oates, J. E., Lee-Thorp, J., Marean, C. & Penkman, K. E. H., 2010.

    Research output: Contribution to conferencePaper

  20. Chains of superparamagnetic nanoparticles as biomedical sensing and diagnostic tools

    Hovorka, O., Chantrell, R. & Friedman, G., 1 Jan 2011.

    Research output: Contribution to conferencePaper

  21. Automated evaluation of crystallisation experiments

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

    Research output: Contribution to conferencePaper

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

Previous 1 2 Next