Search research publications and outputs

  1. 1993
  2. Quantitative Assessment of Machine-Stack behaviour for better Computer Performance

    Crispin-Bailey, C. & Sotudeh, R., 1993, p. 1. 11 p.

    Research output: Contribution to conferenceAbstractpeer-review

  3. 1995
  4. Trade-offs For Memory Bandwidth Reduction in Stack Processor Design

    Crispin-Bailey, C. & sotudeh, R., 5 Jul 1995.

    Research output: Contribution to conferenceAbstractpeer-review

  5. 1997
  6. Instruction Complexity in implicit-execution architectures: orthogonality, optimisation, and VLSI design

    Crispin-Bailey, C. & Sotudeh, R., 1997.

    Research output: Contribution to conferenceAbstractpeer-review

  7. 2006
  8. An Operational Semantics in UTP for a Language of Reactive Designs

    Woodcock, J., 2006, p. 84-84.

    Research output: Contribution to conferenceAbstractpeer-review

  9. 2009
  10. CoSMoS: Complex Systems Modelling and Simulation Infrastructure (extended abstract)

    Stepney, S. & Welch, P. H., 2009.

    Research output: Contribution to conferenceAbstractpeer-review

  11. The CoSMoS Process: Simulations for Scientific Exploration (extended abstract)

    Andrews, P. S., Stepney, S., Timmis, J. & Polack, F., 2009.

    Research output: Contribution to conferenceAbstractpeer-review

  12. 2014
  13. 2015
  14. A Morphable Profile Model of the Human Head as an Outcome Tool for Craniosynostosis Surgery

    Duncan, C., Armstrong, R. & Pears, N. E., 14 Sep 2015.

    Research output: Contribution to conferenceAbstractpeer-review

  15. 2016
  16. Syntactic theory and the science of (language) history

    Longobardi, G., Michelioudakis, D., Guardiano, C., Irimia, M-A., Radkevich, N., Kim, S-S., Cordoni, G., Ceolin, A. & Kazakov, D. L., Sep 2016.

    Research output: Contribution to conferenceAbstractpeer-review

  17. 2017
  18. Connecting resilience engineering to healthcare practice: Clinical engagement through a serious video game

    Jackson, J., Iacovides, I., Alders, M., Duncan, M., Anderson, J. & Back, J., 2017.

    Research output: Contribution to conferenceAbstract

  19. Resilience Challenge: Using an evidence-based video game as a tool to support patient safety.

    Jackson, J., Iacovides, I. & Duncan, M., 2017.

    Research output: Contribution to conferenceAbstract

  20. 2019
  21. Unsupervised Learning of Functional Groups for Computational Chemistry

    Erten, C., Algahtani, E., Fairlamb, I. J. S., Garcia-Padilla, E., Lynam, J. M., Manandhar, S., Slattery, J. M. & Kazakov, D. L., 5 Sep 2019, p. 1-4.

    Research output: Contribution to conferenceAbstractpeer-review