Search research publications and outputs

  1. 1988
  2. 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

  3. 1989
  4. 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

  5. 1993
  6. Birds of a feather Group on Safety Critical Systems

    Cullyer, W. J., McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1993, Real-Time Computing. Springer-verlag, p. 755-756 2 p.

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

  7. SAM - A Tool to Support the Construction, Review and Evolution of Safety Arguments

    Forder, J., Higgins, C., McDermid, J. A., Storrs, G., Redmill, F. (ed.) & Anderson, T. (ed.), 1993, Directions in Safety-Critical Systems: Proceedings of the First Safety-Critical Systems Symposium . Springer-Verlag, p. 195-216 22 p.

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

  8. 1994
  9. Safety Engineering and Assurance for Real-Time Systems

    McDermid, J. A., Halong, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Springer-Verlag

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

  10. 2000
  11. Experiments in Inductive Chart Parsing

    Cussens, J. & Pulman, S., 2000, Learning Language in Logic. Cussens, J. & Dzeroski, S. (eds.). SPRINGER, Vol. 1925. (LNAI).

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

  12. 2001
  13. Integrating Probabilistic and Logical Reasoning

    Cussens, J., 2001, Foundations of Bayesianism. Corfield, D. & Williamson, J. (eds.). Dordrecht: Kluwer, Vol. 24. p. 241-260 20 p. (Applied Logic Series).

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

  14. 2002
  15. Software Hazard and Safety Analysis

    McDermid, J. A., Damm, W. (ed.) & Olderog, E-R. (ed.), 2002, Formal Techniques in Real-Time and Fault-Tolerant Systems. Damn, W. & Olderog, E-R. (eds.). Springer-verlag, p. 23-36 14 p. (Lecture Notes in Computer Science; vol. 2469).

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

  16. 2005
  17. Deductive Reasoning and Statistical Inference

    Cussens, J., 2005, Encyclopedia of Statistics in Behavioral Science. Chichester: John Wiley & Sons

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

  18. 2006
  19. The impact of rule ranking on the quality of associative classifiers

    Thabtah, F., Cowling, P. & Peng, Y., 2006, Research and Development in Intelligent Systems XXII. Springer London, p. 277-287 11 p.

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

Previous 1 2 3 Next