Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 14 out of 14Page size: 25
Sort by: Type
  1. Article › Research › Peer-reviewed

  2. VLSI Lookahead Structures for Superscalar Implicit Operand Stacks

    Crispin-Bailey, C. & Mullane, B., 1 Jan 2016, (Unpublished)

    Article in not appliccable

  3. Other contribution › Research

  4. A Model of Computing as a Service for Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Unpublished) 10 p.

    Research output: Other contribution

  5. A Synchronous Approach to Threaded Program Verification

    Johnson, K. H. A., Besnard, L., Gautier, T. & Talpin, J-P., 2010, (Unpublished) 32 p.

    Research output: Other contribution

  6. Connected tech: Smart or sinister? A call for evidence from the Department of Digital, Culture, Media, and Sport

    Townsend, B., Hyde, R., Lindley, J., Stead, M., Coulton, P., Lisinska, J., Moffat, L., Mousavi, M. R., Ramchurn, G., Shukla, P. & Williams, J., 2022, (Unpublished)

    Research output: Other contribution

  7. Decompositional Quantum Graph Neural Network

    Ai, X., Zhang, Z., Sun, L., Yan, J. & Hancock, E., 13 Jan 2022, (Unpublished)

    Research output: Other contribution

  8. The Data Type of Spatial Objects

    Johnson, K. H. A. & Tucker, J. V., 2008, (Unpublished) 39 p.

    Research output: Other contribution

  9. Working paper › Research

  10. Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP

    Ye, K., Foster, S. D. & Woodcock, JAMES. C. P., Apr 2018, (Unpublished) 202 p.

    Research output: Working paper

  11. Generalised Reactive Processes in Isabelle/UTP

    Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 p.

    Research output: Working paper

  12. Integrating by Separating: Combining Probability and Logic with ICL, PRISM and SLPs

    Cussens, J., 1 Jan 2005, (Unpublished).

    Research output: Working paper

  13. Isabelle/UTP: Mechanised Theory Engineering for the UTP

    Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 4 Apr 2018, (Unpublished) 162 p.

    Research output: Working paper

  14. Kleene Algebra in Unifying Theories of Programming

    Foster, S. D., 5 Apr 2018, (Unpublished) 6 p.

    Research output: Working paper

  15. Reactive Designs in Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Canham, S. J., 6 Apr 2018, (Unpublished) 108 p.

    Research output: Working paper

  16. Stateful-Failure Reactive Designs in Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C. & Woodcock, JAMES. C. P., 17 Apr 2018, (Unpublished).

    Research output: Working paper

  17. Theory of Designs in Isabelle/UTP

    Foster, S. D., Nemouchi, Y. & Zeyda, F., 6 Apr 2018, (Unpublished) 47 p.

    Research output: Working paper