1. 1987
  2. Published

    Combining Cross-Validation and Search

    Watkins, C., 1987, Progress in Machine Learning. Sigma Press, p. 79--87 9 p.

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

  3. Published

    On a randomness criterion

    Vovk, V., 1987, In: Soviet Mathematics Doklady. 35, p. 656-660 5 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    RUBRIC- A New Approach to Information Systems Development

    Layzell, P. J., Venken, R. & Loucopoulos, P., 1987, International Conference on Computer-Based Tools for Automating Systems Development, Leicester, April 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Published

    RUBRIC: A Rule-Based Approach to the Development of Reliable Information Systems

    Loucopoulos, P. & Layzell, P. J., 1987, System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Vol.2. Tzafestas, S. (ed.). Reidel Publishing, p. 253-263 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Published

    Rule-Based Specifications for Information Systems

    Assche, F. V., Layzell, P. J. & Anderson, M., 1987, Software Engineering Environments. Brereton, P. (ed.). Ellis Horwood, p. 189-203 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Published

    The Foundations of Programming Methodology (程序方法学基础)

    Chen, H., Luo, Z. & Ma, Q., 1987, Hunan Press of Sciences.

    Research output: Book/ReportBook

  8. Published

    The law of the iterated logarithm for random Kolmogorov, or chaotic, sequences

    Vovk, V., 1987, In: Theory of Probability and Its Applications. 32, p. 413-425 13 p.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Towards a Unified View of System Development Methods

    Loucopoulos, P., Black, W. J., Sutcliffe, A. G. & Layzell, P. J., 1987, In: International Journal of Information Management. p. 205-218 14 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Translation Between Pragmatic Software Development Methods

    Black, W. J., Sutcliffe, A. G., Loucopoulos, P. & Layzell, P. J., 1987, 1st European Software Engineering Conference, September 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. 1986
  12. Published

    The INFOLOG linear tense propositional logic of events and transactions

    Fiadeiro, J. & Sernadas, A., 1 Jan 1986, In: Information Systems Management. 11, 1, p. 61-85 25 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure

    Sernadas, A., Sernadas, C. & Fiadeiro, J. L., 1986, ADT.

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

  14. Published

    Assisting the Analyst- The Analyst Assist Project

    Flynn, D. J., Layzell, P. J. & Loucopoulos, P., 1986, BCS Software Engineering 86, 1986.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Published

    Engineering tradeoffs in the design of a real-time system for visual inspection of small products

    Davies, E. R. & Johnstone, A., 1986, p. 15-22.

    Research output: Contribution to conferencePaperpeer-review

  16. Published

    MAJIC- Advanced Program Development Using Jackson Structured Programming

    Sutcliffe, A. G., Layzell, P. J. & Loucopoulos, P., 1986, BCS Software Engineering 86, 1986.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. Published

    On the concept of the Bernoulli property

    Vovk, V., 1986, In: Russian Mathematical Surveys. 41, p. 247-248 2 p.

    Research output: Contribution to journalArticlepeer-review

  18. Published

    On use of algorithmic notions of randomness and simplicity in mathematical statistics

    Vovk, V., 1986, p. 456. 1 p.

    Research output: Contribution to conferenceAbstractpeer-review

  19. Published

    RUBRIC- A Rule-Based Representation of Information System Constructs

    Layzell, P. J., 1986, Fringe'86, Expert Systems Conference, December 1986.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Published

    The cluster of the point mutations predetermined by the quasipalindromic sequences of the nucleotide in the DNA

    Salganik, R. I., Dianov, G. L., Medvedev, O. A. & Solovyev, V., 1986, In: Proceedings of the USSR Academy of Science (Russ). 291, p. 1499-1502

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Varying Representation Schemata vs Fact Updating in KB Management

    Carapuça, R. & Fiadeiro, J. L., 1986, DS-2. p. 71-87 17 p.

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

  22. Published

    Об одном варианте понятия случайности по Мизесу-Черчу

    Vovk, V., 1986, p. 95-97. 3 p.

    Research output: Contribution to conferenceAbstractpeer-review

  23. Published

    Об одном критерии случайности для полных последовательностей

    Vovk, V., 1986, Седьмая тематическая конференция механико-математического факультета: Алгебра, логика и теория чисел. Moscow: Moscow State University, p. 34-37 4 p.

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

  24. 1985
  25. Published

    A Language Enhancement Facility for COBOL

    Triance, J. M. & Layzell, P. J., 1985, In: The Computer Journal.

    Research output: Contribution to journalArticlepeer-review

  26. Published

    Macro Processors for Enhancing High Level Languages

    Triance, J. M. & Layzell, P. J., 1985, Computer Journal. p. 34-49 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Published

    Molecular mechanism of the somatic hypermutagenesis in immunoglobulin genes

    Kolchanov, N. A., Solovyev, V. & Rogozin, I. B., 1985, In: Proceedings of the USSR Academy of Science (Russ). 281, p. 994-999

    Research output: Contribution to journalArticlepeer-review

  28. Published

    The History of Macro Processors in Programming Language Extensibility

    Layzell, P. J., 1985, Computer Journal. p. 29-33 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter