1. 1981
  2. Published

    Choose your own COBOL

    Triance, J. M. & Layzell, P. J., 1981, In: BCS. 81, p. 16-33 18 p.

    Research output: Contribution to journalArticlepeer-review

  3. 1983
  4. Published

    Syntax-driven COBOL compilers: an assessment

    Layzell, P. J. & Triance, J. M., 1983, In: Software- Practice and Experience. December, p. 1136-1141 6 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    The effect of mutation deletion and insertion of single amino acids on the three-dimensional structure of globins

    Kolchanov, N. A., Solovyev, V. & Zharkikh, A. A., 1983, In: FEBS Letters. 161, p. 65-70

    Research output: Contribution to journalArticlepeer-review

  6. 1984
  7. Published

    A construction which can be used to produce finitely presented infinite simple groups

    Scott, E., 1984, In: Journal of Algebra. 90, p. 294-322

    Research output: Contribution to journalArticlepeer-review

  8. Published

    A finitely presented simple group with unsolvable conjugacy problem

    Scott, E., 1984, In: Journal of Algebra. 90, p. 333-353

    Research output: Contribution to journalArticlepeer-review

  9. Published
  10. Published

    Conformational changings in the Globins Family during Evolution 1. Analysis of the Evolutionary Role of Insertions and Deletions

    Zharkikh, A. A., Solovyev, V. & Kolchanov, N. A., 1984, In: J.Mol.Evol.. 21, p. 42-53

    Research output: Contribution to journalArticlepeer-review

  11. Published

    The embedding of certain linear and abelian groups in finitely presented simple groups

    Scott, E., 1984, In: Journal of Algebra. 90, p. 323-332

    Research output: Contribution to journalArticlepeer-review

  12. Published

    The template RNAs of RNA polymerases can have compact secondary structure formed by long double helices with partial violation of the complementarities

    Solovyev, V., Zharkikh, A. A. & Kolchanov, N. A., 1984, In: FEBS Letters. 165, p. 72-78

    Research output: Contribution to journalArticlepeer-review

  13. 1985
  14. Published

    A Language Enhancement Facility for COBOL

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

  18. Published

    Алгоритмическая теория случайности и проблема предсказания

    Vovk, V., 1985, Сложностные проблемы математической логики. Kanovich, M. I. (ed.). Kalinin, p. 21-24 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Published

    Программирование на языке ассемблера векторного и конвейерного компьютера некоторых стандартных алгоритмов линейной алгебры

    Vovk, V., 1985, Вопросы кибернетики. Mel'nikov, V. A. & Dadaev, Y. G. (eds.). Moscow, Vol. 117. p. 31-44 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

  30. Published

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

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

    Research output: Contribution to conferenceAbstractpeer-review

  31. Published

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

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

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

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

  33. 1987
  34. Published

    AMADEUS- A Multi-Method Approach for Developing Universal Specifications

    Loucopoulos, P., Black, W. J., Layzell, P. J. & Alabdul Razak, A. G. S., 1987, Esprit Technical Week, 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  35. Published

    Automating JSP Program Design and Development

    Sutcliffe, A. G., Layzell, P. J. & Davies, C. G., 1987, International Conference on Computer-Based Tools for Automating Systems Development, Leicester, April 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. Published

    Behavioural Aspects of Intelligent Knowledge-Based Information Systems

    Fiadeiro, J. L. & Sernadas, A., 1987, Temporal Aspects in Information Systems. p. 77-92 16 p.

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

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

  38. Published

    On a randomness criterion

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

  42. Published

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

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

    Research output: Book/ReportBook

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

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

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

  46. 1988
  47. Published

    A Higher-order Calculus and Theory Abstraction

    Luo, Z., 1988, LFCS Report Series.

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

  48. Published

    A Knowledge-Based Requirements Engineering Support Environment

    Loucopoulos, P., Layzell, P. J., Champion, R. E. M. & Gibson, M. D., 1988, Proc. Conf. on Knowledge Based Software Assistance (KBSA), Utica, USA, 2-4 August, 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  49. Published

    A Rule-Based Approach to Information Systems Requirements

    Assche, F. V., Layzell, P. J., Loucopoulos, P. & Speltincx, G., 1988, Proc. International Workshop on KBS in Software Engineering, UMIST, March 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. Published

    A Rule-Based Approach to the Construction and Evolution of Business Information Systems

    Layzell, P. J. & Loucopoulos, P., 1988, Proc. 4th IEEE International Conference on Software Maintenance, Phoenix, Arizona, USA, October 1988. p. 258-264 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  51. Published

    CC# and Its Meta Theory

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

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

  52. Published

    CLEF- A COBOL Language Enhancement Facility

    Layzell, P. J. & Triance, J. M., 1988, In: Information and Software Technology. 30, 2, p. 108-119 12 p.

    Research output: Contribution to journalArticlepeer-review

  53. Published

    Existentially Closed Groups

    Higman, G. & Scott, E., 1988, Oxford: Oxford University Press. 170 p.

    Research output: Book/ReportBook

  54. Published

    Information Systems Development: A Rule Based Approach

    Assche, F. V., Layzell, P. J., Loucopoulos, P. & Speltincx, G., 1988, Esprit Conference, Brussels, 14-18 November, 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  55. Published

    Knowledgebases as structured theories

    FIADEIRO, J., SERNADAS, A. & SERNADAS, C., 1988, In: Lecture Notes in Computer Science. 338, p. 469-486 18 p.

    Research output: Contribution to journalArticlepeer-review

  56. Published

    Kolmogorov-Stout law of the iterated logarithm

    Vovk, V., 1988, In: Mathematical Notes. 44, p. 502-507 6 p.

    Research output: Contribution to journalArticlepeer-review

  57. Published

    Object-Oriented Conceptual Modeling from Law

    Sernadas, C., Fiadeiro, J. L. & Sernadas, A., 1988, DS-3. p. 305-327 23 p.

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

  58. Published

    Requirements for the Underlying Model of a CASE Environment

    Layzell, P. J., 1988, Proc. CASE'88. p. 30.19-30.22

    Research output: Chapter in Book/Report/Conference proceedingChapter

  59. Published

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

    Assche, F. V., Layzell, P. J. & Anderson, M., 1988, 1st European Conference on Information Technology for Organisational Systems, Athens, May 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  60. Published

    Rules To Govern Change in JSP-Based Systems

    Davies, C. G. & Layzell, P. J., 1988, Proc. 4th IEEE International Conference on Software Maintenance, Phoenix, Arizona, USA, October 1988. p. 34-39 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  61. Published

    Structuring theories on consequence

    FIADEIRO, J. & SERNADAS, A., 1988, In: Lecture Notes in Computer Science. 332, p. 44-72 29 p.

    Research output: Contribution to journalArticlepeer-review

  62. Published

    Об одном методе тестирования правильности программ на языке ассемблера

    Vovk, V., Semenov, A. L. & Soprunov, S. F., 1988, Вопросы кибернетики. Karmanov, V. G. (ed.). Moscow, Vol. 136. p. 56-78 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  63. Unpublished

    Предсказуемость алгоритмически случайных последовательностей

    Vovk, V., 1988, (Unpublished) Moscow: Moscow State University.

    Research output: ThesisDoctoral Thesis

  64. Published

    Specification and verification of database dynamics

    Fiadeiro, J. & Sernadas, A., 1 Aug 1988, In: Acta Informatica. 25, 6, p. 625-661 37 p.

    Research output: Contribution to journalArticlepeer-review

  65. 1989
  66. 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

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

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

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

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

  71. Published

    Improving Information System Development and Evolution Using a Rule-Based Paradigm

    Loucopoulos, P. & Layzell, P. J., 1989, In: Software Engineering Journal, BCS/IEE. 4, 5, p. 259-267 9 p.

    Research output: Contribution to journalArticlepeer-review

  72. Published

    Prediction of stochastic sequences

    Vovk, V., 1989, In: Problems of Information Transmission. 25, p. 285-296 12 p.

    Research output: Contribution to journalArticlepeer-review

  73. Published

    Proof-theoretic conceptual modeling – the NIAM case-study

    SERNADAS, C., FIADEIRO, J., MEERSMAN, R. & SERNADAS, A., 1989, INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS. FALKENBERG, ED. (ed.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 1-30 30 p.

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

  74. Published

    The basic building blocks of information systems

    SERNADAS, A., FIADEIRO, J., SERNADAS, C. & EHRICH, H. D., 1989, INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS. FALKENBERG, ED. (ed.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 225-246 22 p.

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

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

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

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

  78. 1990
  79. 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

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

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

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

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

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

  85. Unpublished

    An Extended Calculus of Constructions

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

    Research output: ThesisDoctoral Thesis

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

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

  88. Published

    CASE On Trial

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

    Research output: Book/ReportBook

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

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

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

  92. Published

    Sequential decision problems and neural networks

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

    Research output: Contribution to conferenceOtherpeer-review

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

  94. 1991
  95. Published

    A Higher-order Calculus and Theory Abstraction

    Luo, Z., 1991, In: Information and Computation. 90, 1, p. 107-137 31 p.

    Research output: Contribution to journalArticlepeer-review

  96. Published

    Asymptotic efficiency of estimators: an algorithmic approach

    Vovk, V., 1991, In: Theory of Probability and Its Applications. 36, p. 329-343 15 p.

    Research output: Contribution to journalArticlepeer-review

  97. Published

    Describing, structuring and implementing objects

    FIADEIRO, J. & MAIBAUM, T., 1991, In: Lecture Notes in Computer Science. 489, p. 274-310 37 p.

    Research output: Contribution to journalArticlepeer-review

  98. Published
  99. Published

    PRESS - a probabilistic reasoning expert system shell

    Luo, Z. & Gammerman, A., 1991, European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Computer Science. Kruse, R. & Siegel, P. (eds.). Springer-Verlag, Vol. 548. p. 232-237

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

  100. Published

    Program specification and data refinement in type theory

    Luo, Z., 1991, Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493.

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

  101. Published

    Sharing attributes and actions in modal action logic

    RYAN, M., FIADEIRO, J. & MAIBAUM, T., 1991, In: Lecture Notes in Computer Science. 526, p. 569-593 25 p.

    Research output: Contribution to journalArticlepeer-review

  102. Published

    Softmaster: A Software Maintenance Assistant

    Deraman, A. B. & Layzell, P. J., 1991, National Conference on Information Technology '91, Penang, Malayasia, June 1991. p. 435-445 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  103. Published

    Somatic hyper mutagenesis in immunoglobulin genes. Correlation between somatic mutations and repeats. Somatic mutation properties and clonal selection

    Rogozin, I. B., Solovyev, V. & Kolchanov, N. A., 1991, In: Biochim. Biophys. Acta. 1089, p. 175-182

    Research output: Contribution to journalArticlepeer-review

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

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

  106. Published

    Temporal Reasoning over Deontic Specifications

    Fiadeiro, J. & Maibaum, T., 1 May 1991, In: Journal of Logic and Computation. 1, 3, p. 357-395 39 p.

    Research output: Contribution to journalArticlepeer-review

  107. Published

    New elements of glucocorticoid-receptor binding sites of hormone-regulated genes

    Seledtsov, I. A., Solovyev, V. V. & Merkulova, T. I., 23 Jul 1991, In: BBA - Gene Structure and Expression . 1089, 3, p. 367-376 10 p.

    Research output: Contribution to journalArticlepeer-review

  108. Published

    ENRICHED AND DEPLETED SOURCE COMPONENTS FOR THOLEIITIC AND ALKALINE LAVAS FROM ZUNI-BANDERA, NEW-MEXICO - INFERENCES ABOUT INTRAPLATE PROCESSES AND STRATIFIED LITHOSPHERE

    MENZIES, M. A., KYLE, P. R., JONES, M. & INGRAM, G., 30 Jul 1991, In: Journal of Geophysical Research. 96, B8, p. 13645-13671 27 p.

    Research output: Contribution to journalArticlepeer-review

  109. Published

    Towards object-oriented conceptual modeling

    Sernadas, C. & Fiadeiro, J., 1 Oct 1991, In: Data and Knowledge Engineering. 6, 6, p. 479-508 30 p.

    Research output: Contribution to journalArticlepeer-review

  110. 1992
  111. Published

    3D-structure calculations of a-helical domains of protein molecules using the quasispherical primary approximations

    Solovyev, V., Salikhova, A. K., Lim, H. A. & Witten, M., 1992, Biomedical Modeling and Simulation. Eisenfeld, J. & Levin, D. (eds.). Elsevier Science Publishers B.V. (North-Holland), p. 201-211

    Research output: Chapter in Book/Report/Conference proceedingChapter

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