Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 1993
  2. Dynamic Sets and their Application to VDM

    Liu, S., McDermid, J. A., E Deaton K M George, H. B. & Hedrick, G., 1993, p. 187-192.

    Research output: Contribution to conferencePaper

  3. Evaluating Design Concepts through a Qualitative Physics Model

    Coombes, A., McDermid, J. A., Moffett, J. D., Poucet, A. & Modarres, M., 1993.

    Research output: Contribution to conferencePaper

  4. FIXATION, CONTRAST SENSITIVITY AND CHILDRENS READING

    CORNELISSEN, P., Wright, SF. & Groner, R., 1993, p. 139-162.

    Research output: Contribution to conferencePaper

  5. Heap profiling of a lazy functional compiler

    Runciman, C., Wakeling, D., Launchbury, J. & Sansom, P., 1993, p. 203--214.

    Research output: Contribution to conferencePaper

  6. High Integrity Ada: Principles and Problems

    McDermid, J. A., 1993, p. 95-107. 13 p.

    Research output: Contribution to conferencePaper

  7. Investigating and Formalising the Development of HIS Within PSEEs

    Gimenes, I. M. D. S., McDermid, J. A. & Schäfer, W., 1993, p. 90-94.

    Research output: Contribution to conferencePaper

  8. Investigation of Stack Machine Design for Efficient High Level Language Support

    Crispin-Bailey, C. & Sotudeh, R., 1993. 4 p.

    Research output: Contribution to conferencePaper

  9. LZW text compression in Haskell

    Runciman, C., Wakeling, D., Launchbury, J. & Sansom, P., 1993, p. 215--226.

    Research output: Contribution to conferencePaper

  10. Objectivity, Reflexivity and Fiction

    Linstead, S. A., 1993.

    Research output: Contribution to conferencePaper

  11. PROM: Pragmatic Reusable Object Management

    Burd, E. L. & McDermid, J. A., 1993.

    Research output: Contribution to conferencePaper

  12. Perfect hash functions made parallel - lazy functional programming on a distributed multiprocessor

    Checkland, I. G. & Runciman, C., 1993, p. 397-406.

    Research output: Contribution to conferencePaper

  13. Quantitative Assessment of Machine-Stack behaviour for better Computer Performance

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

    Research output: Contribution to conferenceAbstract

  14. Representation and Rhetoric on the Perfumed Picket Line

    Linstead, S. A. & Wong, D. S. C., 1993.

    Research output: Contribution to conferencePaper

  15. Specification of Real-Time Systems: A View Oriented Approach

    Barroca, L. M. & McDermid, J. A., 1993.

    Research output: Contribution to conferencePaper

  16. Specification of Real-Time Systems — A View Oriented Approach

    Barroca, L. M. & McDermid, J. A., 1993.

    Research output: Contribution to conferenceOther

  17. Structural Engineering and Software: Certainty, Uncertainty and Probability

    McDermid, J. A., 1993.

    Research output: Contribution to conferencePaper

  18. The Formal Analysis of Ada Programs

    Hutcheon, A. D., Jordan, D. T., McDermid, J. A. & Wand, I. C., 1993.

    Research output: Contribution to conferencePaper

  19. The SAZ Project: Integrating SSADM and Z

    Polack, F., Whiston, M. & Mander, K., 1993, p. 541-557.

    Research output: Contribution to conferencePaper

  20. Visual detection of sampling and quantisation artifacts on sinusoidal luminance gradients

    Pelah, A. & FW, C., 1993, p. 242-252.

    Research output: Contribution to conferenceOther

  21. Considerations leading to a strategy for the prediction of radiated emissions

    Porter, S. J. & Marvin, A. C., 1 Feb 1993, p. 2/1 - 2/2.

    Research output: Contribution to conferenceOther

  22. The teaching of environmental topics in electronic engineering degrees

    Chesmore, E. D. & Gilbert, J. M., 1 Mar 1993.

    Research output: Contribution to conferenceOther

  23. The teaching of environmental subjects in electronic engineering degree courses

    Chesmore, E. D., 1 May 1993, p. 79-83.

    Research output: Contribution to conferenceOther

  24. Widening the Representation Bottleneck: a Functional Implementation of Relational Programming

    Cattrall, D. M. & Runciman, C., 1 Jun 1993, p. 191--200.

    Research output: Contribution to conferencePaper

  25. The Role of Information Systems in the Management of Supply Chains

    Baxter, L., Sep 1993.

    Research output: Contribution to conferencePaper

  26. Teaching environmental electronics in university degree courses

    Chesmore, E. D., Gilbert, J. M. & McLachlan, D. S., 1 Sep 1993.

    Research output: Contribution to conferenceOther

Previous 1...4 5 6 7 8 9 10 11 ...179 Next