Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. A Case for Dynamic Risk Assessment in NEC Systems of Systems

    Aitken, J. M., Alexander, R. & Kelly, T., 2010.

    Research output: Contribution to conferencePaper

  2. A Cellular Neural Associative Array for Symbolic Vision

    Orovas, C. & Austin, J., 1998, p. 372-386.

    Research output: Contribution to conferencePaper

  3. A Circus Semantics for Ravenscar Protected Objects

    Atiya, D-A., King, S. & Woodcock, J., 2003, p. 617-635.

    Research output: Contribution to conferencePaper

  4. A Circus Semantics for Ravenscar Protected Objects

    Atiya, D-A., King, S. & Woodcock, J., 2003, p. 617-635.

    Research output: Contribution to conferencePaper

  5. A Climbing Vine Through Concrete: jazz in 1960s apartheid South Africa

    Eato, J. E., 6 Sep 2014.

    Research output: Contribution to conferencePaper

  6. A Collection of Small Choices

    Eato, J. E. & Bruce, H., 14 May 2015.

    Research output: Contribution to conferencePaper

  7. A Comparative Overview of Traffic Flow Modelling Approaches for Auralistion

    Fu, Y. & Murphy, D. T., 27 May 2018, p. 273-278.

    Research output: Contribution to conferencePaper

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

  9. A Comparison of State-Based Modelling Tools for Model Validation

    Aydal, E. G., Utting, M. & Woodcock, J., 2008, p. 278-296.

    Research output: Contribution to conferencePaper

  10. A Comparison of Two Diffuse Boundary Models Based on Finite Differences Schemes

    Escolano, J., Navarro, J. M., Murphy, D. T., Wells, J. J. & Lopez, J. J., 1 May 2010.

    Research output: Contribution to conferencePaper