Search research publications and outputs

  1. Paper › Research › Peer-reviewed
  2. 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

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

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

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

    Research output: Contribution to conferencePaper

  5. Dependability Terminology: Similarities and Differences

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

  11. The Formal Analysis of Ada Programs

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

    Research output: Contribution to conferencePaper

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

  13. Paper › Research › Not peer-reviewed
  14. 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

  15. A chain of peptides: a new mass spectrometric tool for modelling protein diagenesis

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

    Research output: Contribution to conferencePaper

  16. A comparative analysis of generational equity in the Australian and UK welfare states

    Bradshaw, J., Redmond, G. & Holmes, J., 2011.

    Research output: Contribution to conferencePaper

  17. AARd @ AARD: Amino Acid Racemisation dating at the African Archaeology Research Day

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

    Research output: Contribution to conferencePaper

  18. Amino acid dating: the potential and the pitfalls

    Penkman, K. E. H. & Demarchi, B., 2011.

    Research output: Contribution to conferencePaper

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

  20. Automated evaluation of crystallisation experiments

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

    Research output: Contribution to conferencePaper

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

  22. Dating the early Palaeolithic: the new aminostratigraphy

    Penkman, K. E. H., 2010.

    Research output: Contribution to conferencePaper

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

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

    Penkman, K. E. H., 2012.

    Research output: Contribution to conferencePaper

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

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

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

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