1. 1991
  2. Published

    Stoss — A stochastic simulation system for Bayesian belief networks

    Luo, Z. & Gammerman, A., 1991, Uncertainty in Knowledge Bases: Lecture Notes in Computer Science. Bouchon-Meunier, B., Yager, R. R. & Zadeh, L. A. (eds.). Springer, Vol. 521. p. 97-105

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Published

    The Esprit DOCKET Project

    Layzell, P. J., 1991, Proc. of 1st Workshop on Reverse Engineering, CEC/ CRIAI, December 1991. p. 9-38 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. 1990
  5. Published

    Logics of Modal Terms for Systems Specification

    Fiadeiro, J. & Sernadas, A., 1 Dec 1990, In: Journal of Logic and Computation. 1, 2, p. 187-227 41 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    A Methodological Framework for the Basis of Explicit Modelling to Enhance Software Maintenance

    Poo, C. C. & Layzell, P. J., 1990, In: Information and Software Technology. 32, 3, p. 175-186 12 p.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    A probabilistic reasoning system based on a causal graph approach

    Luo, Z. & Gammerman, A., 1990, Proceeding of IEE Colloquium on Knowledge Engineering.

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

  8. Published

    A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic

    Luo, Z., 1990, LFCS Report Series. LFCS, Edinburgh Univ

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

  9. Published

    A stochastic simulation system and its application to causal models

    Luo, Z. & Gammerman, A., 1990, Proceeding of 3rd International Conference on IPMU in Knowledge-Based Systems. p. 186-189

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

  10. Published

    Accessing External Applications from Knowledge-Based Systems

    Cosmadopoulos, Y., Southwick, R. & Stathis, K., 1990, Proceedings of Expert Systems 90, Research and Development in Expert Systems VII. Addis, T. R. & Muir, R. M. (eds.). p. 54-65 12 p.

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

  11. Published

    Aggregating strategies

    Vovk, V., 1990, Proceedings of the Third Annual Workshop on Computational Learning Theory. Fulk, M. & Case, J. (eds.). San Mateo, CA: Morgan Kaufmann, p. 371-383 13 p.

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

  12. Unpublished

    An Extended Calculus of Constructions

    Luo, Z., 1990, (Unpublished) Univ of Edinburgh.

    Research output: ThesisDoctoral Thesis

  13. Published

    An Investigation into Software Maintenance

    Layzell, P. J. & Macaulay, L., 1990, IEEE Conference on Software Maintenance, San Diego, USA. p. 130-140 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. Published

    Analysis of functional sites in pro- and eukaryotic genes

    Solovyev, V., 1990, Methods of molecular genetics and gene engineering. Salganik, R. I. (ed.). Novosibirsk, p. 154-190

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Published

    CASE On Trial

    Spurr, K. (ed.) & Layzell, P. J. (ed.), 1990, John Wiley & Sons.

    Research output: Book/ReportBook

  16. Published

    Enhancing the Software Maintenance Factor in JSD Using Rules

    Poo, C. C. & Layzell, P. J., 1990, Comp Euro 90, IEEE Computer Society, Tel-Aviv, Israel, 7-9 May 1990.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. Published

    Genomic organization, evolution, and structural peculiarities of highly repetitive DNA of Hordeum vulgare

    Vershinin, A. V., Salina, E. A., Solovyev, V. & Timofeyeva, L. L., 1990, In: Genome. 33, p. 441-449

    Research output: Contribution to journalArticlepeer-review

  18. Published

    Modular construction of logic knowledge bases: an algebraic approach

    Sernadas, C., Fiadeiro, J. L. & Sernadas, A., 1990, In: Information Systems Research. 15, 1, p. 37-59 23 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Sequential decision problems and neural networks

    Barto, AG., Sutton, RS. & Watkins, C., 1990, p. 693.

    Research output: Contribution to conferenceOtherpeer-review

  20. 1989
  21. Published

    ECC, an Extended Calculus of Constructions

    Luo, Z., 1 Jun 1989, Logics in Computer Science (LICS 1989).

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

  22. Published

    Full Custom VLSI Design for Computer Scientists

    Johnstone, A., 1 Jan 1989, In: INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION. 26, 1-2, p. 103-112 10 p.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    Methodology for optimising cost/speed tradeoffs in real-time inspection hardware

    Davies, E. R. & Johnstone, A. I. C., Jan 1989, In: IEE Proc E. 136, 1, p. 62-69 8 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    A Fact Gathering and Analysis Tool

    Rego, H. B., Layzell, P. J. & Reis, J., 1989, Lima, Proc. CASE'89, Supplementary Volume. p. 335-338 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Published

    A methodological approach to visual reasoning

    Liu, X., Zhang, G. & Luo, Z., 1989, Proceeding of International workshop on industrial applications of machine intelligence and vision. Japan, p. 50-55

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

  26. Published

    A tour around finitely presented infinite simple groups

    Scott, E., 1989, Algorithms And Classification in Combinatorial Group Theory. Springer-Verlag, p. 83-119

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

  27. Published

    Abstract object types – a temporal perspective

    SERNADAS, A., FIADEIRO, J., SERNADAS, C. & EHRICH, H. D., 1989, TEMPORAL LOGIC IN SPECIFICATION. BANIEQBAL, B., BARRINGER, H. & PNUELI, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 324-350 27 p.

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

  28. Published

    How to Use LEGO: a preliminary user's manual

    Luo, Z., Pollack, R. & Taylor, P., 1989, LFCS Technical Notes. LFCS, Edinburgh Univ

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