Search research publications and outputs

  1. 1988
  2. Intermediate-level Vision, Relations and Processor Arrays: An Application of sc \Clip4 to Image Sequence Analysis

    Wood, A. M. & Page, I. (ed.), 1988, Parallel Architectures and Computer Vision. Oxford University Press, p. 157-170 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Jungle Evaluation

    Habel, A., Kreowski, H-J. & Plump, D., 1988, p. 92-112.

    Research output: Contribution to conferencePaper

  4. Jungle Evaluation for Efficient Term Rewriting

    Hoffmann, B. & Plump, D., 1988, p. 191--203.

    Research output: Contribution to conferencePaper

  5. Life Cycle Models for Software Development

    McDermid, J. A., 1988, p. 43-51.

    Research output: Contribution to conferencePaper

  6. Low Level Synchronisation Problems in Digital Systems: Formal techniques in Real-Time Fault-Tolerant Systems

    McDermid, J. A., Morgan, G. & Joseph, M., 1988, p. 139-141.

    Research output: Contribution to conferencePaper

  7. Modal logics of higher-order probability

    Haddawy, P. & Frisch, A. M., 1988, p. 133-148.

    Research output: Contribution to conferencePaper

  8. Security Models and Enterprise Models

    Dobson, J. E. & McDermid, J. A., 1988, p. 1-39.

    Research output: Contribution to conferencePaper

  9. Security Models and Enterprise Models

    Dobson, J. E., McDermid, J. A. & Landwehr, C. (ed.), 1988, Database Security II : Status and Prospects. II ed. IFIP - International Federation for Information Processing, p. 1-36 36 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  10. Understanding Multi-transputer Execution

    Stepney, S., 1988.

    Research output: Contribution to conferencePaper

  11. Using VDM with Rely and Guarantee-Conditions: Experiences from a Real Project

    Woodcock, J. & Dickinson, B., 1988, p. 434-458.

    Research output: Contribution to conferencePaper

  12. Security Specifications

    Jacob, J. L., 1 Apr 1988, p. 14--23.

    Research output: Contribution to conferencePaper

  13. PRODUCTION AND DECAY PROPERTIES OF THE OMEGA-PI-0-STATE AT 1250 MEV/C2 PRODUCED BY 20-GEV POLARIZED PHOTONS ON HYDROGEN

    BRAU, JE., FRANEK, B., WESTER, W., ABE, K., BACON, TC., BALLAM, J., BINGHAM, HH., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., CARROLL, JT., CAUTIS, CV., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R., DINGUS, P. & 65 others, ERICKSON, R., FIEGUTH, T., FIELD, RC., FORTNEY, L., FRANEK, B., FUJIWARA, N., GEARHART, R., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOSHAW, AT., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HULSIZER, RI., JOBES, M., KAFKA, T., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LEVY, A., MANN, WA., MERENYI, R., MILBURN, R., MILSTENE, C., MCCRORY, E., MOFFEIT, KC., NAPIER, A., NOGUCHI, S., OCHIAI, F., ODELL, VR., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SHIMONY, J., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1 May 1988

    Article in Physical Review D

  14. A Security Framework

    Jacob, J. L., 1 Jun 1988, p. 98--111.

    Research output: Contribution to conferencePaper

  15. 1989
  16. A Framework for Expressing Models of Security Policy

    Dobson, J. E. & McDermid, J. A., 1989, p. 229-241.

    Research output: Contribution to conferencePaper

  17. A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning

    Frisch, A. M., 1989, p. 126-136.

    Research output: Contribution to conferencePaper

  18. A Hypertext System with Controlled Hype

    Benest, I. D., 1989, p. 52-63.

    Research output: Contribution to conferencePaper

  19. Assurance in High-Integrity Software

    McDermid, J. A. & Sennett, C. T. (ed.), 1989, High-integrity software. Pitman, p. 226-273 48 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  20. CHAINED BELL INEQUALITIES

    BRAUNSTEIN, SL., CAVES, CM. & KAFATOS, M., 1989, p. 27-36.

    Research output: Contribution to conferencePaper

  21. ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings

    Ghezzi, C. (ed.) & McDermid, J. A. (ed.), 1989, Springer. (Lecture Notes in Computer science; vol. 387)

    Research output: Book/ReportBook

  22. ESEC'89 — Proceedings of the Second European Conference on Software Engineering

    Ghezzi, C. & McDermid, J. A., 1989, Springer-verlag. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  23. IPSEs: Concepts and Reality

    McDermid, J. A. & Salenieks, P., 1989, p. 135-164. 30 p.

    Research output: Contribution to conferencePaper

  24. Pictorial Representation of Parallel Programs

    Stepney, S., 1989.

    Research output: Contribution to conferencePaper

  25. Security Models and Enterprise Models

    Dobson, J. E. & McDermid, J. A., 1989.

    Research output: Working paper

  26. Security Policies for Integrated Project Support Environments

    McDermid, J. A. & Hocking, E. S., 1989, p. 41-74.

    Research output: Contribution to conferencePaper

  27. Software Design Methods: Characteristics and Choice

    McDermid, J. A. & Davies, A. C. (ed.), 1989, Butterworth Scientific.

    Research output: Book/ReportBook

  28. Some Issues in The Formal Design of Redundant Systems

    McDermid, J. A. & Morgan, G., 1989.

    Research output: Working paper

  29. Towards Assurance Measures for High Integrity Software

    McDermid, J. A., 1989, p. 3A/1-3A/9.

    Research output: Contribution to conferencePaper

  30. USER MODELING BY CLASSIFICATION - A NEURAL-BASED APPROACH

    Beale, R., Finlay, J., Austin, J. & Harrison, M., 1989, NEW DEVELOPMENTS IN NEURAL COMPUTING. TAYLOR, JG. & MANNION, CLT. (eds.). BRISTOL: ADAM HILGER LTD, p. 103-110 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. HIGH-RESOLUTION (1.5 A) CRYSTAL-STRUCTURE OF PHOSPHOLIPASE-C FROM BACILLUS-CEREUS

    Hough, E., Hansen, L. K., Birknes, B., Jynge, K., Hansen, S., Hordvik, A., Little, C., Dodson, E. & Derewenda, Z., 23 Mar 1989

    Article in Nature

  32. On The Derivation of Secure Components

    Jacob, J. L., Berson, T. & Cooper, D. M., 1 May 1989, p. 242-247.

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 7 8 ...101 Next