Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2000
  2. Segregation with Communication

    Cooper, D. & Stepney, S., 2000, p. 451-470.

    Research output: Contribution to conferencePaper

  3. Systematic Anticipation and Validation of Scenarios of Failure Propagation and Mitigation in PLC Controlled Processes

    Papadopoulos, Y., Mauri, G. & McDermid, J. A., 2000.

    Research output: Contribution to conferencePaper

  4. Testing, Proof and Automation: An Integrated Approach

    Burton, S., Clark, J. & McDermid, J. A., 2000.

    Research output: Contribution to conferencePaper

  5. The Erotic Organisation

    Linstead, S. A. & Brewis, J., 2000.

    Research output: Contribution to conferencePaper

  6. The Haptic Perception of Texture in Virtual Environments: An Investigation with Two Devices

    Penn, P., Petrie, H., Colwell, C., Kornbrot, D., Furner, S. & Hardwick, A., 2000, p. 25-30.

    Research output: Contribution to conferencePaper

  7. The Space Usage Problem: An Evaluation Kit for Graph-Reduction Semantics

    Bakewell, A., Runciman, C. & Gilmore, S., 2000, p. 115--128.

    Research output: Contribution to conferencePaper

  8. The benefits of implicit modelling for predictive control

    Rossiter, J. A., Kouvaritakis, B. & Huaccho Huatuco, L. D., 2000, p. 183-186.

    Research output: Contribution to conferencePaper

  9. Thinking Time: Why Best Practice May Not Be The Great Leap Forward

    Linstead, S. A. & O'Shea, A., 2000.

    Research output: Contribution to conferencePaper

  10. Type-Constrained Generics for Z

    Valentine, S. H., Toyn, I., Stepney, S. & King, S., 2000, p. 250-263.

    Research output: Contribution to conferencePaper

  11. Typechecking Z

    Toyn, I., Valentine, S. H., Stepney, S., King, S. & King, S., 2000, p. 264-285.

    Research output: Contribution to conferencePaper

  12. ZB 2000: Formal Specification and Development in Z and B

    Bowen, J. P., Dunne, S., Galloway, A. & King, S., 2000.

    Research output: Contribution to conferencePaper

  13. MNCs and the State: the experience of the EU

    Royle, T. & Towers, B., Feb 2000.

    Research output: Contribution to conferencePaper

  14. Power Relations and Knowledge Representation in Computer Based Learning

    Baxter, L., Jul 2000.

    Research output: Contribution to conferencePaper

  15. Constructing Hyperbolic Manifolds

    Everitt, B. & Maclachlan, C., 1 Aug 2000, p. 78-86.

    Research output: Contribution to conferencePaper

  16. Listener perception of girls and boys in an English Cathedral choir

    Howard, D. M. & Szymanski, J. E., 5 Aug 2000, p. 1-6.

    Research output: Contribution to conferencePaper

  17. A model for comparing the space usage of lazy evaluators

    Bakewell, A. & Runciman, C., 1 Sep 2000, p. 151--162.

    Research output: Contribution to conferencePaper

  18. A principled semantics for inp

    Jacob, J. L., Wood, A. M., Porto, A. & Roman, G-C., 1 Sep 2000, p. 51--65.

    Research output: Contribution to conferencePaper

  19. Decoding Population Codes

    Wilson, R. C. & Lüdtke, N., 3 Sep 2000, p. 2137-2140. 4 p.

    Research output: Contribution to conferencePaper

  20. Observing 'others'

    Einarsdottir, A., Oct 2000.

    Research output: Contribution to conferencePaper

  21. Women in minority groups, what do they have in common?

    Einarsdottir, A., Traustadottir, R., Sigurjonsdottir, B. & Svavarsdottir, S. H., Oct 2000.

    Research output: Contribution to conferencePaper

  22. An Experimental Investigation of Single and Multiple Issue ILP Speedup for Stack-Based code

    Crispin-Bailey, C. & Weeks, M., Nov 2000, p. 19-24. 6 p.

    Research output: Contribution to conferencePaper

  23. Inter-boundary scheduling of stack operands, a preliminary approach

    Crispin-Bailey, C., Nov 2000, p. 3-11. 9 p.

    Research output: Contribution to conferencePaper