1. 1994
  2. Published

    Business Objects: Software Solutions

    Spurr, K. (ed.), Layzell, P. J. (ed.), Jennison, L. (ed.) & Richards, N. (ed.), 1994, John Wiley & Sons.

    Research output: Book/ReportBook

  3. Published

    CASE 2000: The Future of CASE Technology

    King, S., Layzell, P. J. & West, S. W., 1994, In: SOFTWARE ENGINEERING JOURNAL. 9, 4, p. 138-140 3 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Characterising Tractable Constraints

    Cooper, M. C., Cohen, D. A. & Jeavons, P. G., 1994, In: Artificial Intelligence. 65, 2, p. 347-361 15 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Combining uncertain and temporal reasoning

    Ramparany, F., Lorquet, V., Bouyssounous, B., Bigham, J. & Luo, Z., 1994, Proceedings of Information Processing and Management of Uncertainty in Knowledge-based System. p. 256-261

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

  6. Published

    Computation and Reasoning: A Type Theory for Computer Science

    Luo, Z., 1994, Oxford Univ Press. 228 p.

    Research output: Book/ReportBook

  7. Published

    Computational systems for mixed graphical models

    Gammerman, A., Luo, Z., Aitken, C. & Brewer, M., 1994, UNICOM Adaptive Computing and Information Processing Seminar . p. 143-163

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

  8. Published

    Decomposing Constraint Satisfaction Problems Using Database Techniques

    Gyssens, M., Jeavons, P. G. & Cohen, D. A., 1994, In: Artificial Intelligence. 66, 1, p. 57-89 33 p.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Experience Realising a Meta-Model for Wide System Understanding: The Global System Model

    Freeman, M. J. & Layzell, P. J., 1994, In: Software- Practice and Experience. 24, 8, p. 703-728 26 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Minimizing and maximizing the diameter in orientations of graphs

    Gutin, G., 1994, In: Graphs and Combinatorics. 10, p. 225-230

    Research output: Contribution to journalArticle

  11. Published

    Prequential level of impossibility with some applications

    Vovk, V. & V'yugin, V. V., 1994, In: Journal of the Royal Statistical Society: Series B (Statistical Methodology). 56, p. 115-123 9 p.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Reasoning in time with uncertain information

    Ramparany, F., Lorquet, V., Bouyssounous, B., Bigham, J. & Luo, Z., 1994, IFAC/IFIP/IMACS Symposium on Artificial Intelligence in Real Time Control.

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

  13. Published

    Selecting a Satisfactory Secretary

    Yeo, A. & Yeo, G. F., 1994, In: Australasian Journal of Statistics. 36, 2, p. 185-198 14 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects

    Fiadeiro, J. L. & Maibaum, T. S. E., 1994, ICTL. Springer, Vol. 827. p. 48-66 19 p. (Lecture Notes in Computer Science).

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

  15. Published

    The Identification and Management of Latent Software Assets

    Layzell, P. J. & Freeman, M. J., 1994, In: International Journal of Information Management. 14, 6, p. 427-442 16 p.

    Research output: Contribution to journalArticlepeer-review

  16. Published

    Using multiple chains for Gibbs sampling in mixed graphical association models

    Brewer, M., Luo, Z. & Gammerman, A., 1994, Computational Statistics. p. 185-189

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

  17. Published

    Weights for total division orderings on strings

    Scott, E., 1994, In: Theoretical Computer Science. 135, 2, p. 345-359

    Research output: Contribution to journalArticlepeer-review

  18. 1993
  19. Published
  20. Published

    SMILE: A scalable microcontroller library element

    BETTS, A. K., BOLSENS, I., SICARD, E., RENAUDIN, M. & Johnstone, A., Dec 1993, In: MICROPROCESSING AND MICROPROGRAMMING. 39, 2-5, p. 259-262 4 p.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    There are no R3 x S1 Gravitational Instantons

    Shanahan, H. & O'Murachadha, N., Mar 1993, In: Physical Review Letters. 70, 11, p. 1576 2 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    A novel method of protein sequence classification based on oligopeptide frequency analysis and its application to search for functional sites and to domain localization

    Solovyev, V. V. & Makarova, K. S., 1 Feb 1993, In: Bioinformatics. 9, 1, p. 17-24 8 p.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    Identification of human gene functional regions based on oligonucleotide composition

    Solovyev, V. V. & Lawrence, C. B., 1 Jan 1993, In: Proceedings / ... International Conference on Intelligent Systems for Molecular Biology ; ISMB. International Conference on Intelligent Systems for Molecular Biology. 1, p. 371-9 9 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Models for the substitution axiom of UNITY logic

    Reichwein, G. & Fiadeiro, J. L., 1 Jan 1993, In: Information Processing Letters. 48, 4, p. 171-176 6 p.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    A CASE Tool and Method to Support System Understanding and Modification

    Layzell, P. J. & Freeman, M. J., 1993, CASE ‘93, Singapore 1993. p. 221-229 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Published

    A Computer-Aided Software Maintenance Process Model

    Deraman, A. B. & Layzell, P. J., 1993, In: Journal of Knowledge Engineering. 6, 1, p. 36-42 7 p.

    Research output: Contribution to journalArticlepeer-review

  27. Published

    A logic of probability, with application to the foundations of statistics (with discussion)

    Vovk, V., 1993, In: Journal of the Royal Statistical Society: Series B (Statistical Methodology). 55, p. 317-351 35 p.

    Research output: Contribution to journalArticlepeer-review