1. 1992
  2. Published

    A Set-theoretic Setting for Structuring Theories in Proof Development

    Luo, Z. & Burstall, R., 1992, LFCS Report Series. LFCS, Edinburgh Univ

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

  3. Published

    A Unifying Theory of Dependent Types: the schematic approach

    Luo, Z., 1992, Proc. of Symp. on Logical Foundations of Computer Science (Logic at Tver'92), LNCS 620.

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

  4. Published

    An Evolutionary Structural Software Model for Software Maintenance

    Poo, C. C. & Layzell, P. J., 1992, In: Journal of Systems and Software. 18, 2, p. 113-123 11 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    CASE- Current Practice, Future Prospects

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

    Research output: Book/ReportBook

  6. Published

    Computer-Aided Support for the Software Maintenance Process

    Deraman, A. B. & Layzell, P. J., 1992, Sixiemes Journees Internationales des Sciences Informatiques, Les Systemes d'Information de L'Idee a la Concretisation, Tunis, May 1992. p. 383-393 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Published

    Exploitation System Documentation for Design Recovery

    Black, W. J., Gianetti, A., Layzell, P. J. & Stanitsas, G., 1992, Proc. Conference on Software Engineering and its Applications, Toulouse, December 1992.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Published

    LEGO Proof Development System: User's Manual

    Luo, Z. & Pollack, R., 1992, LFCS Report Series. LFCS, Edinburgh Univ

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

  9. Published

    Parameter Learning in Bayesian Belief Networks

    Luo, Z. & Gammerman, A., 1992, Proceeding of IPMU'92. p. 25-28

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

  10. Published

    Probabilistic Reasoning in Mixed Models Using Bayesian Belief Networks and Its Application

    Luo, Z., 1992, Proceedings of 10th European Conference on Artificial Intelligence (ECAI 92),. p. 3-7

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

  11. Published

    Q-learning

    Watkins, C. J. C. H. & Dayan, P., 1992, In: Machine Learning. 8, 3, p. 279-292 14 p.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Rationality of division orderings

    Cohen, D. & Scott, E., 1992, In: Information Processing Letters. p. 307-311

    Research output: Contribution to journalArticlepeer-review

  13. Published

    Stochastic simulation in mixed graphical association models

    Brewer, M., Aitken, C., Luo, Z. & Gammerman, A., 1992, Computational Statistics. Dodge, K. & Whittaker, F. (eds.). Vol. 1. p. 257-262

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

  14. Published

    Universal forecasting algorithms

    Vovk, V., 1992, In: Information and Computation. 96, p. 245-277 33 p.

    Research output: Contribution to journalArticlepeer-review

  15. Published

    Temporal theories as modularisation units for concurrent system specification

    Fiadeiro, J. & Maibaum, T., 1 May 1992, In: Formal Aspects of Computing. 4, 3, p. 239-272 34 p.

    Research output: Contribution to journalArticlepeer-review

  16. Published

    LATEX Concisely

    Johnstone, A., 1 Sep 1992, Ellis Horwood. 170 p.

    Research output: Book/ReportBook

  17. Published

    DIROM: an experimental design interactive system for directed mutagenesis and nucleic acids engineering

    Makarova, K. S., Mazin, A. V., Wolf, Y. I. & Solovyev, V., 1 Oct 1992, In: Bioinformatics. 8, 5, p. 425-431 7 p.

    Research output: Contribution to journalArticlepeer-review

  18. 1993
  19. 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

  20. 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

  21. 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

  22. Published

    A new approach for the classification of functional regions of DNA sequences based on fractal representation

    Solovyev, V., Korolev, S. V. & Lim, H. A., 1993, In: Int.J. Genomic. Res.. 1, 2, p. 108-127

    Research output: Contribution to journalArticlepeer-review

  23. Published

    An automated proof of the correctness of a compiling specification

    Scott, E., 1993, In: Workshops in Computing. p. 392-402

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Computer-Aided Software Maintenance: A Classification and Analysis

    Deraman, A. B. & Layzell, P. J., 1993, In: Malaysian Journal of Computer Science. 6

    Research output: Contribution to journalArticlepeer-review

  25. Published

    DOCKET: Program Comprehension-in-the-Large

    Layzell, P. J., Champion, R. & Freeman, M. J., 1993, IEEE 2nd Workshop on Program Comprehension, Capri, Italy. p. 140-148 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Published

    Finding a longest path in a complete multipartite digraph

    Gutin, G., 1993, In: SIAM Journal on Discrete Mathematics. 6, 2, p. 270-273

    Research output: Contribution to journalArticle

  27. Published

    Forecasting point and continuous processes: prequential analysis

    Vovk, V., 1993, In: Test. 2, p. 189-217 29 p.

    Research output: Contribution to journalArticlepeer-review

  28. Published

    Fractal graphical representation and analysis of DNA and protein sequences: Computational Molecular Biology

    Solovyev, V. V., 1993, In: BioSystems. 30, 1-3, p. 137-160 24 p.

    Research output: Contribution to journalArticlepeer-review

  29. Published

    Generalising Interpretations between Theories in the context of (pi-) Institutions

    Fiadeiro, J. L. & Maibaum, T. S. E., 1993, Theory and Formal Methods. Springer, p. 126-147 22 p. (Workshops in Computing).

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

  30. Published

    Inductive Data types: Well-Ordering Types Revisited

    Goguen, H. & Luo, Z., 1993, Logical Environments. Cambridge Univ Press

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  31. Published

    Multiple sequence alignment based on new approaches of tree construction and sequences comparison

    Solovyev, V., Streletc, V. B., Milanesi, L., Lim, H. (ed.), Fickett, J. (ed.), Cantor, C. (ed.) & Robbins, R. (ed.), 1993, Proceedings of the 2nd International conference on Bioinformatics, Supercomputing, and Complex genome analysis.. World Scientific, p. 419-428

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

  32. Published

    On the empirical validity of the Bayesian method

    Vovk, V. & V'yugin, V. V., 1993, In: Journal of the Royal Statistical Society: Series B (Statistical Methodology). 55, p. 253-266 14 p.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    Program specification and data refinement in type theory

    Luo, Z., 1993, In: Mathematical Structures in Computer Science. 3, 3

    Research output: Contribution to journalArticlepeer-review

  34. Published

    Semantics of Interworking Knowledge Based Systems

    Reichwein, G. & Fiadeiro, J. L., 1993, EPIA. Springer, Vol. 727. p. 93-104 12 p. (Lecture Notes in Computer Science).

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

  35. Published

    Software Assistance for Business Process Re-Engineering

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

    Research output: Book/ReportBook

  36. Published

    Using LP to study the language PL0+

    Scott, E. & Norrie, K., 1993, In: Workshops in Computing. p. 227-245

    Research output: Contribution to journalArticlepeer-review

  37. 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

  38. 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

  39. 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

  40. 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

  41. Published
  42. 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

  43. 1994
  44. Published

    12 paragraphs

    Solovyev, V., 1994, Computer analysis of Genetic Macromolecules. Structure, Function and Evolution. Kolchanov, N. A. & Lim, H. A. (eds.). World Scientific

    Research output: Chapter in Book/Report/Conference proceedingChapter

  45. Published

    A cost bounded possibilistic ATMS

    Bigham, J., Luo, Z. & Banerjee, D., 1994, Proceedings of Expert Systems 94 . Bramer, M. A. & Macintosh, A. L. (eds.). p. 161-172

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

  46. Published

    A Meta Model of Information Systems to Support Reverse Engineering

    Freeman, M. J. & Layzell, P. J., 1994, In: Information and Software Technology. 36, 5, p. 283-294 12 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    A Structural Decomposition for Hypergraphs

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1994, Jerusalem Combinatorics ’93. Barcelo, H. & Kalai, G. (eds.). American Mathematical Society, p. 161-177 17 p. (Contemporary Mathematics; vol. 178).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  48. Published

    An Investigation into Software Maintenance- Perception and Practices

    Layzell, P. J. & Macaulay, L., 1994, In: Journal of Software Maintenance and Practice. 6, 3, p. 105-120 16 p.

    Research output: Contribution to journalArticlepeer-review

  49. Published

    An optimal-control application of two paradigms of on-line learning

    Vovk, V., 1994, Proceedings of the Seventh Annual Workshop on Computational Learning Theory. New York: ACM Press, p. 98-109 12 p.

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

  50. Published

    Approaches to integration of uncertain and temporal information in diagnostic reasoning

    Bigham, J., Luo, Z., Cayrac, D., Nordbo, I. & Bouyssounous, B., 1994, Proceedings of Information Processing and the Management of Uncertainty in Knowledge Based Systems. p. 250-255

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

  51. Published

    Assignment of position-specific error probability to primary DNA sequence data.

    Lawrence, C. B. & Solovyev, V. V., 1994, p. 1272-1280. 9 p.

    Research output: Contribution to conferenceAbstract

  52. 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

  53. 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

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