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

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

  4. 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)

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

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

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

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

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

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

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

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

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

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

  15. Published
  16. 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

  17. 1994
  18. 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

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

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

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

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

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

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

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

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

  27. 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 12 3 4 5 6 7 8 9 ...98 Next