Search research publications and outputs

  1. Paper › Research › Peer-reviewed
  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. The Quaternary history of non-marine molluscs in the Somme valle (northern France) during the last 1 Myr.

    Limondin-Lozouet, N., Penkman, K. E. H. & Antoine, P., May 2017.

    Research output: Contribution to conferencePaper

  4. The role of structure and complexity on Reservoir Computing quality

    Dale, M., Dewhirst, J. D., O'Keefe, S. E. M., Sebald, A. A-M., Stepney, S. & Trefzer, M. A., 2019, p. 52–64. 13 p.

    Research output: Contribution to conferencePaper

  5. Through the looking-glass, and what amino acids found there

    Penkman, K. E. H., 2015.

    Research output: Contribution to conferencePaper

  6. Through the looking-glass, and what amino acids found there

    Penkman, K. E. H., Aug 2018.

    Research output: Contribution to conferencePaper

  7. Through the looking-glass, and what amino acids found there

    Penkman, K. E. H., Aug 2018.

    Research output: Contribution to conferencePaper

  8. Through the looking-glass, and what amino acids found there

    Penkman, K. E. H., 15 Mar 2017.

    Research output: Contribution to conferencePaper

  9. Through the looking-glass, and what amino acids found there

    Penkman, K. E. H., 8 Mar 2017.

    Research output: Contribution to conferencePaper

  10. Through the looking-glass, and what amino acids found there.

    Penkman, K. E. H., Jun 2018.

    Research output: Contribution to conferencePaper

Previous 12 3 4 5 6 7 8 9 ...13 Next