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

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

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

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

  115. Published

    CASE- Current Practice, Future Prospects

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

    Research output: Book/ReportBook

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

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

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

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

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

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

  122. Published

    Rationality of division orderings

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

    Research output: Contribution to journalArticlepeer-review

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

  124. Published

    Universal forecasting algorithms

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

    Research output: Contribution to journalArticlepeer-review

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

  126. Published

    LATEX Concisely

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

    Research output: Book/ReportBook

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

  128. 1993
  129. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  151. Published
  152. 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

  153. 1994
  154. 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

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

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

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

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

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

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

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

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

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

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

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

  166. Published

    Computation and Reasoning: A Type Theory for Computer Science

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

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

  178. Published

    The prediction of human exons by oligonucleotide composition and discriminant analysis of spliceable open reading frames

    Solovyev, V. V., Salamov, A. A. & Lawrence, C. B., 1 Jan 1994, In: Proceedings / ... International Conference on Intelligent Systems for Molecular Biology ; ISMB. International Conference on Intelligent Systems for Molecular Biology. 2, p. 354-62 9 p.

    Research output: Contribution to journalArticlepeer-review

  179. Published

    The Isgur-Wise function from the lattice

    BOOTH, S. P., BOWLER, K. C., HAZEL, N. M., HENTY, D. S., HOEBER, H., KENWAY, R. D., RICHARDS, D. G., SHANAHAN, H. P., SIMONE, J. N., SIMPSON, A. D., LELLOUCH, L., NIEVES, J., SACHRAJDA, C. T. & WITTIG, H., 24 Jan 1994, In: Physical Review Letters. 72, 4, p. 462-465 4 p.

    Research output: Contribution to journalArticlepeer-review

  180. Published

    Quenched heavy-light decay constants

    BAXTER, R. M., BOOTH, S. P., BOWLER, K. C., COLLINS, S., HENTY, D. S., KENWAY, R. D., RICHARDS, D. G., SHANAHAN, H. P., SIMONE, J. N., SIMPSON, A. D., WILKES, B. E., EWING, A. K., LELLOUCH, L., SACHRAJDA, C. T. & WITTIG, H., 1 Feb 1994, In: Physical Review D . 49, 3, p. 1594-1605 12 p.

    Research output: Contribution to journalArticlepeer-review

  181. Published

    Lattice calculation of the penguin diagram decay B→K*γ

    BOWLER, K. C., HAZEL, N. M., HENTY, D. S., HOEBER, H., KENWAY, R. D., RICHARDS, D. G., SHANAHAN, H. P., SIMONE, J. N., FLYNN, J. M. & GOUGH, B. J., 7 Mar 1994, In: Physical Review Letters. 72, 10, p. 1398-1401 4 p.

    Research output: Contribution to journalArticlepeer-review

  182. Published

    A FAST Front End Application

    Stathis, K., 1 Apr 1994, Proceedings of the 2nd International Conference on the Practical Applications of Prolog (PAP'94). Sterling, L. (ed.). p. 537-548 12 p.

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

  183. Published

    A Substitution Operation for Constraints

    Jeavons, P. G., Cohen, D. A. & Cooper, M. C., 1 May 1994, Principles and Practice of Constraint Programming: Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings. Borning, A. (ed.). Vol. 874. p. 1-9

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

  184. Published

    CASE 2000 - THE FUTURE OF CASE TECHNOLOGY

    KING, S., LAYZELL, P. & WILLIAMS, S., Jul 1994, In: SOFTWARE ENGINEERING JOURNAL. 9, 4, p. 138-139 2 p.

    Research output: Contribution to journalEditorialpeer-review

  185. Published

    How to give FAST Advice

    Stathis, K., 1 Oct 1994, Proceedings of the 7th Symposium and Exhibition on Industrial Applications of Prolog (INAP'94). p. 59-67 9 p.

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

  186. Published

    Predicting {alpha}-helix and {beta}-strand segments of globular proteins

    Solovyev, V. V. & Salamov, A. A., 1 Dec 1994, In: Bioinformatics. 10, 6, p. 661-669 9 p.

    Research output: Contribution to journalArticlepeer-review

  187. Published

    Predicting internal exons by oligonucleotide composition and discriminant analysis of spliceable open reading frames

    Solovyev, V. V., Salamov, A. A. & Lawrence, C. B., 11 Dec 1994, In: Nucleic Acids Research. 22, 24, p. 5156-63 8 p.

    Research output: Contribution to journalArticlepeer-review

  188. 1995
  189. Published

    A cost bounded possibilistic ATMS

    Bigham, J., Luo, Z. & Banerjee, D., 1995, European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Computer Science . Froidevaux, C. & Kohlas, J. (eds.). Springer, Vol. 946. p. 52-59

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

  190. Published

    A game of prediction with expert advice

    Vovk, V., 1995, Proceedings of the Eighth Annual Conference on Computational Learning Theory . Maass, W. (ed.). New York: ACM Press, p. 51-60

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

  191. Published

    A Unifying Framework for Tractable Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1995, p. 276-291.

    Research output: Contribution to conferencePaper

  192. Published

    An Algebraic Characterization of Tractable Constraints

    Jeavons, P. G. & Cohen, D. A., 1995, p. 633-642.

    Research output: Contribution to conferencePaper

  193. Published

    Bylands: reverse engineering safety-critical systems

    Bull, T., Younger, E., Bennett, K. & Luo, Z., 1995, Proc. of Inter. Conf. on Software Maintenance.

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

  194. Published

    Characterizations of vertex pancyclic and pancyclic ordinary semicomplete multipartite digraphs

    Gutin, G., 1995, In: Discrete Mathematics. 141, p. 153-162

    Research output: Contribution to journalArticle

  195. Published

    Exact and approximate algorithms and their implementations in mixed graphical models

    Gammerman, A., Luo, Z., Aitken, C. & Brewer, M., 1995, Probabilistic Reasoning and Bayesian Belief Networks. Henley-on-Thames: Alfred Waller, p. 33-53

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

  196. Published
  197. Published

    Institutions for Behaviour Specification

    Fiadeiro, J. L. & Costa, J. F., 1995, COMPASS/ADT. Springer, Vol. 906. p. 273-289 17 p. (Lecture Notes in Computer Science).

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

  198. Published

    Maximizing traveling salesman problem for special matrices

    Blokh, D. & Gutin, G., 1995, In: Discrete Applied Mathematics. 56, 1, p. 83-86

    Research output: Contribution to journalArticle

  199. Published

    Minimum description length estimators under the optimal coding scheme

    Vovk, V., 1995, Proceedings of the Second European Conference on Computational Learning Theory. Vitanyi, P. (ed.). Berlin: Springer, p. 237-251 (Lecture Notes in Computer Science; vol. 904).

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

  200. Published

    Prediction of protein secondary structure by combining nearest-neighbor algorithms and multiple sequence alignments.

    Salamov, A. A. & Solovyev, V. V., 1995, p. 11-15. 5 p.

    Research output: Contribution to conferenceAbstract

  201. Published

    Process for diagnostic reasoning integrating uncertain and temporal information

    Bigham, J. & Luo, Z., 1995, In: IEE Proceedings Control Theory & Applications. p. 575-584

    Research output: Contribution to journalArticlepeer-review

  202. Published

    Software Design Criteria for Maintainability

    Deraman, A. & Layzell, P. J., 1995, In: Pertanika Journal of Science and Technology. 3, 1, p. 1-18 18 p.

    Research output: Contribution to journalArticlepeer-review

  203. Published

    Weakly Hamiltonian-connected ordinary multipartite tournaments.

    Gutin, G., Bang-Jensen, J. & Huang, J., 1995, In: Discrete Mathematics. 138, 1-3, p. 63-74

    Research output: Contribution to journalArticlepeer-review

  204. Published

    Identification of human gene structure using linear discriminant functions and dynamic programming

    Solovyev, V. V., Salamov, A. A. & Lawrence, C. B., 1 Jan 1995, In: Proceedings / ... International Conference on Intelligent Systems for Molecular Biology ; ISMB. International Conference on Intelligent Systems for Molecular Biology. 3, p. 367-75 9 p.

    Research output: Contribution to journalArticlepeer-review

  205. Published

    Interconnecting formalisms: Supporting modularity, reuse and incrementality

    Fiadeiro, J. L. & Maibaum, T., 1 Jan 1995, Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering. ACM Press, p. 72-80 9 p.

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

  206. Published

    Developing reuse technology in proof engineering

    Luo, Z., 1 Apr 1995, Proceedings of AISB95, Workshop on Automated Reasoning: bridging the gap between theory and practice, Sheffield, U.K..

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

  207. Published

    Lattice calculation of the branching ratio for some of the exclusive modes of B-]S-gamma

    BOWLER, K. C., HAZEL, N. M., HENTY, D. S., HOEBER, H., KENWAY, R. D., RICHARDS, D. G., SHANAHAN, H. P., SIMONE, J. N., FLYNN, J. M., GOUGH, B. J., ALLTON, C., LELLOUCH, L., NIEVES, J. & WITTIG, H., 1 May 1995, In: Physical Review D . 51, 9, p. 4955-4970 16 p.

    Research output: Contribution to journalArticlepeer-review

  208. Published

    Expression of msl-2 causes assembly of dosage compensation regulators on the X chromosomes and female lethality in Drosophila

    Kelley, R. L., Solovyeva, I., Lyman, L. M., Richman, R., Solovyev, V. & Kuroda, M. I., 16 Jun 1995, In: Cell. 81, 6, p. 867-77 11 p.

    Research output: Contribution to journalArticlepeer-review

  209. Published

    FORM-FACTORS FOR B-]PI-L(V)OVER-BAR(L) AND B-]K-ASTERISK-GAMMA DECAYS ON THE LATTICE

    BURFORD, D. R., DUONG, H. D., FLYNN, J. M., GOUGH, B. J., HAZEL, N. M., NIEVES, J. & SHANAHAN, H. P., 7 Aug 1995, In: Nuclear Physics B. 447, 2-3, p. 425-437 13 p.

    Research output: Contribution to journalArticlepeer-review

  210. Published

    Crucial Issues in the Design of a Real-Time Contaminant Detection System for Food Products

    Davies, E. R., Patel, D. & Johnstone, A., Dec 1995, In: Real-Time Imaging. 1, 6, p. 397-407 11 p.

    Research output: Contribution to journalArticlepeer-review

  211. Published

    Task Facilitation and Navigation via a Mediator: An Application from Software Integration

    Stathis, K., 1 Dec 1995, Proceedings of the 5th Hellenic Conference on Informatics.

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

  212. 1996
  213. Published

    A strictly martingale version of Kolmogorov's strong law of large numbers

    Vovk, V., 1996, In: Theory of Probability and Its Applications. 41, 3

    Research output: Contribution to journalArticlepeer-review

  214. Published

    A sufficient condition for a semicomplete multipartite digraph to be Hamiltonian

    Gutin, G., Bang-Jensen, J. & Huang, J., 1996, In: Discrete Mathematics. 161, p. 1-12

    Research output: Contribution to journalArticle

  215. Published

    A Test for Tractability

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1996, p. 267-281.

    Research output: Contribution to conferencePaper

  216. Published

    An approximate algorithm for combinatorial optimization problems with two parameters

    Blokh, D. & Gutin, G., 1996, In: Australasian Journal of Combinatorics. 14, p. 157-164

    Research output: Contribution to journalArticlepeer-review

  217. Published

    Another semantics for Pearl's action calculus

    Vovk, V., 1996, Computational Learning and Probabilistic Reasoning. Gammerman, A. (ed.). New York: Wiley-Interscience, p. 127-146 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  218. Published

    Closure Properties of Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1996.

    Research output: Working paper

  219. Published

    Derivation of Constraints and Database Relations

    Cohen, D. A., Gyssens, M. & Jeavons, P. G., 1996, p. 134-148.

    Research output: Contribution to conferencePaper

  220. Published

    Effect of secondary structure prediction on protein fold recognition and database search

    Alexandrov, N. N. & Solovyev, V., 1996, In: Genome Informatics. 7, p. 119-127

    Research output: Contribution to journalArticlepeer-review

  221. Published

    Exploiting uncertain and temporal information in correlation

    Bigham, J. & Luo, Z., 1996, Proceedings of the 6th International Conference Information Processing and the Management of Uncertainty (IPMU-96).

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

  222. Published

    Extending B AMN with concurrency

    Lano, K., Fiadeiro, J. & Dick, J., 1996, ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. Edalat, A., Jourdan, S. & McCusker, G. (eds.). LONDON: Imperial College Press, p. 228-239 12 p.

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

  223. Published

    Learning an optimal decision strategy in an in uence diagram with latent variables

    Vovk, V., 1996, Proceedings of the Ninth Annual Conference on Computational Learning Theory. New York: ACM Press, p. 110-121 12 p.

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

  224. Published

    Logical truths in constructive type theory (abstract)

    Luo, Z., 1996, Logic Colloquium 96.

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

  225. Published

    Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour

    Fiadeiro, J. L. & Costa, J. F., 1996, In: Mathematical Structures in Computer Science. 6, 4, p. 353-373 21 p.

    Research output: Contribution to journalArticlepeer-review

  226. Published

    Molecular evolution

    Ratner, V. A., Zharkikh, A. A., Kolchanov, N. A., Rodin, S. N., Solovyev, V. & Antonoc, A. S., 1996, In: Biomathematics. 24

    Research output: Contribution to journalArticlepeer-review

  227. Published

    On k-strong and k-cyclic Digraphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1996, In: Discrete Mathematics. 162, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  228. Published

    On the Emergence of Properties in Component-Based Systems

    Fiadeiro, J. L., 1996, AMAST. Springer, Vol. 1101. p. 421-443 23 p. (Lecture Notes in Computer Science).

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

  229. Published

    Ranking the vertices of a complete multipartite paired comparison digraph.

    Gutin, G. & Yeo, A., 1996, In: Discrete Applied Mathematics. 69, 1-2, p. 75-82

    Research output: Contribution to journalArticlepeer-review

  230. Published

    Reverse engineering concurrent programs using formal modelling and analysis

    Younger, E., Luo, Z., Bennett, K. & Bull, T., 1996, Proc of IEEE Inter. Conf. on Software Maintenance.

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

  231. Published

    Sufficient conditions for a digraph to be Hamiltonian

    Gutin, G., Bang-Jensen, J. & Li, H., 1996, In: Journal of Graph Theory. 22, 2, p. 181-187

    Research output: Contribution to journalArticle

  232. Published

    Tractable Disjunctive Constraints

    Cohen, D. A., Jeavons, P. G. & Koubarakis, M., 1996, p. 478-490.

    Research output: Contribution to conferencePaper

  233. Published

    Type-theoretic semantics for SemNet

    Shiu, S., Luo, Z. & Garigliano, R., 1996, Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085.

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

  234. Published

    Unifying Theories in Different Institutions

    Arrais, M. & Fiadeiro, J. L., 1996, COMPASS/ADT. Springer, Vol. 1130. p. 81-101 21 p. (Lecture Notes in Computer Science).

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

  235. Published

    Vertex heaviest paths and cycles in quasi-transitive digraphs.

    Gutin, G. & Bang-Jensen, J., 1996, In: Discrete Mathematics. 163, 1-3, p. 217-223

    Research output: Contribution to journalArticle

  236. Published

    Group communication as an infrastructure for distributed system management

    Amir, Y., Breitgand, D., Chockler, G. V. & Dolev, D., 1 Jan 1996, Proceedings of the 3rd International IEEE Workshop on Services in Distributed and Networked Environments (SDNE '96). p. 84-91 8 p.

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

  237. Published

    Lattice study of the decay (B)over-bar(0)->p(+)l(-)(v)over-bar(l): Model-independent determination of vertical bar V-ub vertical bar

    Flynn, J. M., Nieves, J., Bowler, K. C., Hazel, N. M., Henty, D. S., Hoeber, H., Kenway, R. D., Richards, D. G., Gough, B. J., Lellouch, L. P. & Shanahan, H. P., 19 Feb 1996, In: Nuclear Physics B. 461, 1-2, p. 327-349 23 p.

    Research output: Contribution to journalArticlepeer-review

  238. Published

    Games as a Metaphor for Interactive Systems

    Stathis, K. & Sergot, M. J., 1 Aug 1996, People and Computers XI (Proceedings of HCI'96). Sasse, M. A., Cunningham, R. J. & Winder, R. L. (eds.). London, UK: Springer-Verlag, p. 19-33 15 p. (BCS Conference Series).

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

  239. Published

    A Fast Glimpse of Knowledge-Based Front-Ends as Games

    Stathis, K. & Sergot, M. J., 1 Oct 1996, Proc. of 1st International Conference on Successes and Failures of Knowledge-Based Systems in Real World Applications. Batanov, D. & Brezillon, P. (eds.). Bangkok, Thailand: AIT Press, p. 19-33 15 p.

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

  240. Unpublished

    Game-Based Development of Interactive Systems

    Stathis, K., 1 Nov 1996, (Unpublished)

    Research output: ThesisDoctoral Thesis

  241. 1997
  242. Published

    A classification of locally semicomplete digraphs

    Bang-Jensen, J., Guo, Y., Gutin, G. & Volkmann, L., 1997, In: Discrete Mathematics. 167/168, p. 101-114

    Research output: Contribution to journalArticle

  243. Published

    A formal transformation and refinement method for re-engineering concurrent programs

    Younger, E., Bennett, K. & Luo, Z., 1997, Proc of IEEE Inter. Conf. on Software Maintenance.

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

  244. Published

    A Note on Alternating Cycles in Edge-coloured Graphs

    Yeo, A., 1997, In: Journal of Combinatorial Theory, Series B. 69, p. 222-225 4 p.

    Research output: Contribution to journalArticlepeer-review

  245. Published
  246. Published

    Analysis of mutation rates in the SMCY/SMCX genes shows that mammalian evolution is male driven.

    Agulnik, A. I., Bishop, C. E., Lerner, J. L., Agulnik, S. I. & Solovyev, V. V., 1997, p. 134-138. 5 p.

    Research output: Contribution to conferenceAbstract

  247. Published

    Closure Properties of Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1997, In: Journal of the ACM. 44, p. 527-548 22 p.

    Research output: Contribution to journalArticlepeer-review

  248. Published

    Coercive subtyping in type theory

    Luo, Z., 1997, CSL'96, LNCS'1258.

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

  249. Published

    Constraints, Consistency and Closure

    Jeavons, P. G., Cohen, D. A. & Cooper, M. C., 1997.

    Research output: Working paper

  250. Published

    Coordination Durative Actions

    Nunes, I., Fiadeiro, J. L. & Turski, W. M., 1997, COORDINATION. Springer, Vol. 1282. p. 115-130 16 p. (Lecture Notes in Computer Science).

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

  251. Published

    Derandomizing stochastic prediction strategies

    Vovk, V., 1997, Proceedings of the Tenth Annual Conference on Computational Learning Theory. Freund, Y. & Schapire, R. (eds.). New York: ACM Press, p. 32-44 13 p.

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

  252. Published

    Designing a Mathematical Vernacular (Invited talk at ESSLLI'97)

    Luo, Z. & Callaghan, P., 1997.

    Research output: Contribution to conferencePaperpeer-review

  253. Published

    Extending the Ami Approach to Encompass the Foundation Activity

    Gorbutt, J. & Layzell, P. J., 1997, STEP97, London, July 1997. IEEE Computer Society Press, p. 198-208 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  254. Published

    Hamiltonian Cycles Avoiding Prescribed Arcs in Tournaments

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1997, In: Combinatorics, Probability and Computing. 6, 3, p. 255-261

    Research output: Contribution to journalArticlepeer-review

  255. Published

    Hamiltonian paths and cycles in hypertournaments

    Gutin, G. & Yeo, A., 1997, In: Journal of Graph Theory. 25, 4, p. 277-286

    Research output: Contribution to journalArticlepeer-review

  256. Published

    Implementing a model checker for Lego

    Yu, S. & Luo, Z., 1997, Proc. of the 4th Inter Symp. of Formal Methods Europe, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods. LNCS 1313.

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

  257. Published

    Knowledge-Based Front-Ends as Games

    Stathis, K., Sergot, M. J. & Liebowitz, J. (ed.), 1997, In: Journal of Lessons Learned in Information Technology Management. 1, 2, p. 135-147 13 p.

    Research output: Contribution to journalArticlepeer-review

  258. Published

    Learning about the parameter of the Bernoulli model

    Vovk, V., 1997, In: Journal of Computer and System Sciences. 55, p. 96-104 9 p.

    Research output: Contribution to journalArticlepeer-review

  259. Published

    Linguistic categories in mathematical vernacular and their type-theoretic semantics (extended abstract)

    Luo, Z. & Callaghan, P., 1997, Logical Aspects of Computational Linguistics 97 (LACL'97).

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

  260. Published

    Maintenance of Object Oriented C++ Software: A Protocol Study

    Douce, C. & Layzell, P. J., 1997, WESS’97, 2nd International Workshop on Empirical Studies of Software Maintenance, Bari, Italy, IEEE Computer Society, October 1997. p. 115-119 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  261. Published

    One-Diregular Subgraphs in Semicomplete Multipartite Digraphs

    Yeo, A., 1997, In: Journal of Graph Theory. 24, 11, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  262. Published

    On-line competitive linear regression

    Vovk, V., 1997.

    Research output: Working paper

  263. Published

    Paths and cycles in extended and decomposable digraphs

    Bang-Jensen, J. & Gutin, G., 1997, In: Discrete Mathematics. 164, p. 5-19

    Research output: Contribution to journalArticle

  264. Published

    Preservation and Reflection in Specification

    Lopes, A. & Fiadeiro, J. L., 1997, AMAST. Springer, Vol. 1349. p. 380-394 15 p. (Lecture Notes in Computer Science).

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

  265. Published

    Probability theory for the Brier game

    Vovk, V., 1997, Proceedings of the Workshop on Algorithmic Learning Theory. Li, M. & Maruoka, A. (eds.). Springer, p. 323-338 16 p. (Lecture Notes in Computer Science; vol. 1316).

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

  266. Published

    Proc of TYPES Working Group Workshop on Subtyping, Inheritance, and Modularisation of Proofs

    Luo, Z. (ed.) & Soloviev, S. (ed.), 1997, Durham University.

    Research output: Book/ReportBook

  267. Published

    Properly colored Hamilton cycles in edge colored complete graphs

    Gutin, G. & Alon, N., 1997, In: Random Structures and Algorithms. 11, 2, p. 179-186

    Research output: Contribution to journalArticle

  268. Published

    Protein secondary structure prediction using local alignments.

    Salamov, A. A. & Solovyev, V. V., 1997, p. 31-36. 6 p.

    Research output: Contribution to conferenceAbstract

  269. Published

    Semantics of Architectural Connectors

    Fiadeiro, J. L. & Lopes, A., 1997, TAPSOFT. Springer, Vol. 1214. p. 505-519 15 p. (Lecture Notes in Computer Science).

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

  270. Published

    Specification of Required Non-determinism

    Lano, K., Bicarregui, J., Fiadeiro, J. L. & Lopes, A., 1997, FME. Springer, Vol. 1313. p. 298-317 20 p. (Lecture Notes in Computer Science).

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

  271. Published

    Synthesising interconnections

    Fiadeiro, J. L., Lopes, A. & Maibaum, T. S. E., 1997, Algorithmic Languages and Calculi. Chapman & Hall, Vol. 95. p. 240-264 25 p. (IFIP Conference Proceedings).

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

  272. Published

    The Caelum Toolkit for CSCW: The Sky is the Limit

    Anker, T., Chockler, G., Dolev, D. & Keidar, I., 1997, Proceedings of the 3rd International Workshop on Next Generation Information Technologies and Systems (NGITS '97).

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

  273. Published

    The order types of termination orderings on terms, strings and multisets

    Martin, U. & Scott, E., 1997, In: Journal of Symbolic Logic. 62, 2, p. 624-635

    Research output: Contribution to journalArticlepeer-review

  274. Published

    TransMIDI: A System for MIDI Sessions Over the Network Using Transis

    Gang, D., Chockler, G., Anker, T., Kremer, A. & Winkler, T., 1997, Proceedings of International Computer Music Conference (ICMC 2007).

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

  275. Published

    Understanding Resistance to Software Reuse

    Lynex, A. & Layzell, P. J., 1997, STEP97, London, July 1997. IEEE Computer Society Press, p. 339-349 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  276. Published

    The Gene-Finder computer tools for analysis of human and model organisms genome sequences

    Solovyev, V. & Salamov, A., 1 Jan 1997, Proceedings of the Fifth International Conference on Intelligent Systems for Molecular Biology. Vol. 5. p. 294-302 9 p.

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

  277. Published

    Effect of tree-level and mean-field improvement on the light-hadron spectrum in quenched QCD

    Shanahan, H. P., Davies, C. T. H., Bowler, K. C., Kenway, R. D., Richards, D. G., Rowland, P. A., Ryan, S. M., Lacock, P., Michael, C., Burford, D. R., Stella, N. & Wittig, H., 1 Feb 1997, In: Physical Review D . 55, 3, p. 1548-1558 11 p.

    Research output: Contribution to journalArticlepeer-review

  278. Published

    Recognition of 3' -processing sites of human mRNA precursors

    Salamov, A. A. & Solovyev, V. V., 1 Feb 1997, In: Bioinformatics. 13, 1, p. 23-28 6 p.

    Research output: Contribution to journalArticlepeer-review

  279. Published

    Identification of resource allocation trends in irregular ATM networks

    Cosmas, J., Pitts, J., Bocci, M., Luo, Z., Nyong, D. & Rai, S., Mar 1997, Proceeding of Fourth UKTS on Performance Modelling and Evaluation of ATM Networks. p. 24/1-24/12

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

  280. Published

    The existence of identity of periodic semigroup rings

    Yang, H. X., Luo, Y. F. & Yang, H., Apr 1997, In: Chinese Science Bulletin. 42, 7, p. 614-615 2 p.

    Research output: Contribution to journalLetterpeer-review

  281. Published

    Categorical semantics of parallel program design

    Fiadeiro, J. L. & Maibaum, T., 1 Apr 1997, In: Science of Computer Programming. 28, 2-3, p. 111-138 28 p.

    Research output: Contribution to journalArticlepeer-review

  282. Published

    Y spectrum from NRQCD with improved action

    Manke, T., Drummond, I. T., Horgan, R. R. & Shanahan, H. P., 11 Sep 1997, In: Physics Letters B. 408, 1-4, p. 308-314 7 p.

    Research output: Contribution to journalArticlepeer-review

  283. 1998
  284. Published

    A note on cardinality of certain classes of unlabeled multipartite tournaments

    Gutin, G., 1998, In: Discrete Mathematics. 186, p. 277-280

    Research output: Contribution to journalArticle

  285. Published

    A polynomial algorithm for the Hamiltonian cycle problem in semicomplete multipartite digraphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1998, In: Journal of Graph Theory. 29, 2, p. 111-132

    Research output: Contribution to journalArticlepeer-review

  286. Published

    A Study of Communication and Cooperation in Distributed Software Project Teams

    French, A. & Layzell, P. J., 1998, IEEE International Conference on Software Maintenance, Bethesda, November 1998. p. 146-155 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  287. Published

    Adaptive totally ordered multicast protocol that tolerates partitions

    Chockler, G. V., Huleihel, N. & Dolev, D., 1998, Proceedings of the 17th ACM Symposium on Principles of Distributed Computing (PODC '98). ACM, p. 237-246 10 p.

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

  288. Published

    Alternating cycles and trails in 2-edge-coloured multigraphs

    Bang-Jensen, J. & Gutin, G., 1998, In: Discrete Mathematics. 188, 1, p. 61-72

    Research output: Contribution to journalArticle

  289. Published

    An Analysis of Active and Latent Errors During Object-Oriented Maintenance

    Douce, C. R. & Layzell, P. J., 1998, PPIG-10 Annual workshop Proceedings, Open University, UK, 5-7 January 1998.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  290. Published

    Coercive subtyping and lexical semantics (extended abstract)

    Luo, Z. & Callaghan, P., 1998, Logical Aspects of Computational Linguistics (LACL'98).

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

  291. Published

    Competitive on-line linear regression

    Vovk, V., 1998, Advances in Neural Information Processing Systems. Jordan, M., Kearns, M. & Solla, S. (eds.). Cambridge, MA: MIT Press, p. 364-370 7 p.

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

  292. Published

    Constraints and universal algebra

    Jeavons, P. G., Cohen, D. A. & Pearson, J. K., 1998, In: Annals of Mathematics and Artificial Intelligence. 24, p. 51-67 17 p.

    Research output: Contribution to journalArticlepeer-review

  293. Published

    Constraints and Universal Algebra

    Jeavons, P. G., Cohen, D. A. & Pearson, J. K., 1998.

    Research output: Working paper

  294. Published

    Constraints, Consistency and Closure

    Jeavons, P. G., Cohen, D. A. & Cooper, M., 1998, In: Artificial Intelligence. 101, 1-2, p. 251-265 15 p.

    Research output: Contribution to journalArticlepeer-review

  295. Published

    Distributed Group Working in Software Engineering

    Brereton, P., Lees, S., Gumbley, M., Boldyreff, C., Drummond, S., Layzell, P., Macaulay, L. & Young, R., 1998, In: Information and Software Technology. 40, 4, p. 221-227 7 p.

    Research output: Contribution to journalArticlepeer-review

  296. Published

    Generalised recursive descent parsing and follow-determinism

    Johnstone, A. & Scott, E., 1998, In: Lecture Notes in Computer Science. 1383, p. 16-30 15 p.

    Research output: Contribution to journalArticlepeer-review

  297. Published

    Generalizations of tournaments: A survey

    Bang-Jensen, J. & Gutin, G., 1998, In: Journal of Graph Theory. 28, 4, p. 171-202

    Research output: Contribution to journalArticle

  298. Published

    Image Processing and Data Analysis: The Multiscale Approach

    Murtagh, F., Starck, J-L. & Bijaoui, A., 1998, Cambridge : Cambridge University Press.

    Research output: Book/ReportBook

  299. Published

    Labeled Families in Modular Software Development

    Veloso, S. R. M., Veloso, P. A. S. & Fiadeiro, J. L., 1998, In: J. Braz. Comp. Soc.. 5, 1

    Research output: Contribution to journalArticlepeer-review

  300. Published

    Learning by Support Vector Machine

    Gammerman, A. & Vovk, V., 1998.

    Research output: Contribution to conferenceOther

  301. Published

    Learning by transduction

    Gammerman, A., Vapnik, V. & Vovk, V., 1998, Proceedings of the Fourteenth Conference on Uncertainty in Articial Intelligence. San Francisco, CA: Morgan Kaufmann, p. 148-156 9 p.

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

  302. Published

    Mathematical vernacular in type theory based proof assistants

    Callaghan, P. & Luo, Z., 1998, User Interfaces for Theorem Provers (UITP'98).

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

  303. Published

    Maximal and Minimal Vertex-critical Graphs of Diameter Two

    Huang, J. & Yeo, A., 1998, In: Journal of Combinatorial Theory, Series B. 74, 2, p. 311-325 15 p.

    Research output: Contribution to journalArticlepeer-review

  304. Published

    Method of Automatic Verification of Personal Identity

    Watkins, C., 1998, IPC No. US Patent, Patent No. 5719560

    Research output: Patent

  305. Published

    Note on alternating directed cycles

    Gutin, G., Sudakov, B. & Yeo, A., 1998, In: Discrete Mathematics. 191, p. 101-107

    Research output: Contribution to journalArticlepeer-review

  306. Published

    Organisational Considerations for Software Reuse

    Lynex, A. & Layzell, P. J., 1998, Annals of Software Engineering, Vol.5.. J.C.Baltzer AG, p. 105-124 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  307. Published

    Programmer Comprehension

    Douce, C. & Layzell, P. J., 1998, PPIG-10 Annual Workshop, 5-7 January 1998, Open University, Milton Keynes, UK. p. 1-18 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  308. Published

    Properly coloured Hamiltonian paths in edge-coloured complete graphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1998, In: Discrete Applied Mathematics. 82, p. 247-250 4 p.

    Research output: Contribution to journalArticlepeer-review

  309. Published

    Ridge Regression learning algorithm in dual variables

    Saunders, C., Gammerman, A. & Vovk, V., 1998, Proceedings of the Fifteenth International Conference on Machine Learning. San Francisco, CA: Morgan Kaufmann, p. 515-521 7 p.

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

  310. Published

    Scalable Group Membership Services for Novel Applications

    Anker, T., Chockler, G., Dolev, D. & Keidar, I., 1998, Proceedings of the DIMACS Workshop on Networks in Distributed Computing. Merritt, M. & Shavit, N. (eds.). American Mathematical Society, p. 23-42 20 p. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science; vol. 45).

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

  311. Published

    Selective, multi-level modelling for accelerated simulation of large, heterogeneous corporate telecommunications networks

    Pitts, J., Luo, Z., Nyong, D. & Cosmas, J., 1998, 15th IEE UK Teletraffic Symposium.

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

  312. Published

    Some proof-theoretic and algorithmic aspects of coercive subtyping

    Jones, A., Luo, Z. & Soloviev, S., 1998, Types for proofs and programs, Proc. of the Inter. Conf. TYPES'96, LNCS 1512.

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

  313. Published

    Statistical significance of ungapped sequence alignments.

    Alexandrov, N. N. & Solovyev, V. V., 1998, p. 463-472. 10 p.

    Research output: Contribution to conferenceAbstract

  314. Published

    Three types of gamma-ray bursts

    Mukherjee, S., D. Feigelson, E., Jogesh Babu, G., Murtagh, F., Fraley, C. & Raftery, A., 1998, In: Astrophysical Journal. 508, p. 314-327 14 p.

    Research output: Contribution to journalArticlepeer-review

  315. Published

    Towards High Order Constraint Representations for the Frequency Assignment Problem

    Dunkin, N. W., Bater, J. E., Jeavons, P. G. & Cohen, D. A., 1998.

    Research output: Working paper

  316. Published

    Universal portfolio selection

    Vovk, V. & Watkins, C. J. H. C., 1998, Proceedings of the Eleventh Annual Conference on Computational Learning Theory. New York: ACM Press, p. 12-23 12 p.

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

  317. Published

    Connectors for mobile programs

    Wermelinger, M. & Fiadeiro, J. L., 1 Jan 1998, In: Software Engineering, IEEE Transactions on. 24, 5, p. 331-341 11 p.

    Research output: Contribution to journalArticlepeer-review

  318. Published

    Identities of regular semigroup rings

    Yang, H., 1 Jan 1998, In: Semigroup Forum. 57, 2, p. 293-295 3 p.

    Research output: Contribution to journalArticlepeer-review

  319. Published

    An abstract framework for globalising interactive systems

    Stathis, K. & Sergot, M., Feb 1998, In: Interacting with Computers. 9, 4, p. 401-416 16 p.

    Research output: Contribution to journalArticlepeer-review

  320. Published

    A game of prediction with expert advice

    Vovk, V., Apr 1998, In: Journal of Computer and System Sciences. 56, 2, p. 153-173 21 p.

    Research output: Contribution to journalArticlepeer-review

  321. Published

    A study of the quenched (b)over-bar-c mass spectrum at beta=6.2

    Davies, C. T. H., Lidsey, A. J. & Shanahan, H. P., Apr 1998, In: Nuclear Physics B - Proceedings Supplements. 63, p. 323-325 3 p.

    Research output: Contribution to journalArticlepeer-review

  322. Published

    Hybrid quarkonia with high statistics from NRQCD

    Manke, T., Drummond, I. T., Horgan, R. R., Shanahan, H. P. & UKQCD Collaboration, Apr 1998, In: Nuclear Physics B - Proceedings Supplements. 63, p. 332-334 3 p.

    Research output: Contribution to journalArticlepeer-review

  323. Published

    Heavy hybrid states from NRQCD

    Manke, T., Drummond, I. T., Horgan, R. R. & Shanahan, H. P., 1 Apr 1998, In: Physical Review D . 57, 7, p. R3829-R3832 4 p.

    Research output: Contribution to journalArticlepeer-review

  324. Published

    A Cooperative Information System for the Connected Communities

    Pitt, J., Mamdani, E. & Stathis, K., 1 May 1998, Proceedings of COOP'98: Improving the Design of Cooperative Systems. Darses, F. & Zarate, P. (eds.).

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

  325. Published

    The Chern-Simons number as an order parameter: classical sphaleron transitions for SU(2)-Higgs field theories for m(H)approximate to 120 GeV

    Shanahan, H. P. & Davis, A. C., 9 Jul 1998, In: Physics Letters B. 431, 1-2, p. 135-140 6 p.

    Research output: Contribution to journalArticlepeer-review

  326. Published

    rdp - an iterator-based recursive descent parser generator with tree promotion operators

    Johnstone, A. & Scott, E., 1 Sep 1998, In: ACM SIGPLAN Notices. 33, 9, p. 87-94 8 p.

    Research output: Contribution to journalArticlepeer-review

  327. Published

    Towards a game-based architecture for developing complex interactive components in computational logic

    Stathis, K., 19 Sep 1998.

    Research output: Contribution to conferencePaperpeer-review

  328. Published

    Are there Effective Frequency Separation Constraints for FAPs with Irregular Tx Placements?

    Bater, J. E., Jeavons, P. G., Cohen, D. A. & Dunkin, N. W., 1 Oct 1998.

    Research output: Contribution to conferencePaper

  329. Published

    A computational tool that supports formal diagnosis of process design

    Ramos, P. & Fiadeiro, J. L., 15 Oct 1998, In: Information and Software Technology. 40, 10, p. 555-565 11 p.

    Research output: Contribution to journalArticlepeer-review

  330. 1999
  331. Published

    A multi-agent based management system for future ATM networks

    Hayzelden, A., Bigham, J. & Luo, Z., 1999, Proceedings of the Fourth International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents (PAAM'99). p. 179-192

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

  332. Published

    A multi-agent based management system for service provider negotiation and charging

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., 1999, Proceedings of IFIP TC6 Workshop.

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

  333. Published

    A New Sufficient Condition for a Digraph to be Hamiltonian

    Bang-Jensen, J., Guo, Y. & Yeo, A., 1999, In: Discrete Applied Mathematics. 95, 1-3, p. 61-72 12 p.

    Research output: Contribution to journalArticlepeer-review

  334. Published

    A Polynomial Algorithm for finding a cycle covering a given set of vertices in a semicomplete multipartite digraph

    Yeo, A., 1999, In: Journal of Algorithms. 33, 1, p. 124-139 16 p.

    Research output: Contribution to journalArticlepeer-review

  335. Published
  336. Published

    Algebraic Semantics of Coordination or What Is in a Signature

    Fiadeiro, J. L. & Lopes, A., 1999, AMAST. Springer, Vol. 1548. p. 293-307 15 p. (Lecture Notes in Computer Science).

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

  337. Published

    Algebraic Software Architecture Reconfiguration

    Wermelinger, M. & Fiadeiro, J. L., 1999, ESEC / SIGSOFT FSE. Springer, Vol. 1687. p. 393-409 17 p. (Lecture Notes in Computer Science).

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

  338. Published

    Central limit theorem without probability

    Vovk, V., 1999.

    Research output: Working paper

  339. Published

    Coercive subtyping

    Luo, Z., 1999, In: Journal of Logic and Computation. 9, 1, p. 105-130 26 p.

    Research output: Contribution to journalArticlepeer-review

  340. Published

    Competitive on-line statistics

    Vovk, V., 1999, Bulletin of the International Statistical Institute. Proceedings of the Fifty Second Session. Vol. Tome 58, Book 1. p. 231-234

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

  341. Published

    Complexity approximation principle

    Vovk, V. & Gammerman, A., 1999, In: The Computer Journal. 42, 4, p. 318-322 5 p.

    Research output: Contribution to journalArticlepeer-review

  342. Published

    Connected communities from the standpoint of multi-agent systems

    Mamdani, A., Pitt, J. & Stathis, K., 1999, In: New generation computing. 17, 4, p. 381-393 13 p.

    Research output: Contribution to journalArticlepeer-review

  343. Published

    Dependent coercions

    Luo, Z. & Soloviev, S., 1999, Proc of the 8th Inter. Conf. on Category Theory in Computer Science (CTCS'99), Edinburgh, Scotland. Electronic Notes in Theoretical Computer Science, Vol 29.

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

  344. Published

    Diregular c-partite tournaments are vertex-pancyclic when c>=5

    Yeo, A., 1999, In: Journal of Graph Theory. 32, p. 137-152 16 p.

    Research output: Contribution to journalArticlepeer-review

  345. Published

    Dynamic alignment kernels

    Watkins, C., 1999, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 39-50 12 p.

    Research output: Contribution to journalArticlepeer-review

  346. Published

    Editorial: Kolmogorov complexity

    Gammerman, A. & Vovk, V., 1999, In: The Computer Journal. 42, p. 251 1 p.

    Research output: Contribution to journalEditorial

  347. Published

    Evolution and Errors: An Empirical Example

    Douce, C. R. & Layzell, P. J., 1999, IEEE International Conference on Software Maintenance, Keble College, Oxford, UK. p. 493-498 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  348. Published

    First International Conference on Bioinformatics of Genome Regulation and Structure 1998

    Kolchanov, N. A. & Solovyev, V. V., 1999, In: Bioinformatics. 15, 7-8, p. 527-527 1 p.

    Research output: Contribution to journalEditorialpeer-review

  349. Published

    Foreword

    Bahsoun, J. P., Fiadeiro, J. L. & Galmiche, D., 1999, In: Mathematical Structures in Computer Science. 9, 3, p. 225-226 2 p.

    Research output: Contribution to journalEditorialpeer-review

  350. Published
  351. Published

    General Linear Relations among Different Types of Predictive Complexity

    Kalnishkan, Y., 1999, Algorithmic Learning Theory, 10th International Conference, ALT'99, Proceedings: volume 1720 of Lecture Notes in Artificial Intelligence. Springer, p. 323-334 (Lecture Notes in Artificial Intelligence; vol. 1720).

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

  352. Published

    Hamilton cycles, avoiding prescribed arcs, in close to regular tournaments

    Yeo, A., 1999, In: Journal of Graph Theory. 32, p. 123-136 14 p.

    Research output: Contribution to journalArticlepeer-review

  353. Published

    How close to regular must a multipartite tournament be to secure Hamiltonicity?

    Yeo, A., 1999, In: Graphs and Combinatorics. 15, p. 481-493 13 p.

    Research output: Contribution to journalArticlepeer-review

  354. Published

    How to Determine the Expressive Power of Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1999, In: Constraints. 4, 2, p. 113-131 19 p.

    Research output: Contribution to journalArticlepeer-review

  355. Published

    Integrated databases and computer systems for studying eukaryotic gene expression

    Kolchanov, N. A., Ponomarenko, M. P., Frolov, A. S., Ananko, E. A., Kolpakov, F. A., Ignatieva, E. V., Podkolodnaya, O. A., Goryachkovskaya, T. N., Stepanenko, I. L., Merkulova, T. I., Babenko, V. V., Ponomarenko, Y. V., Kochetov, A. V., Podkolodny, N. L., Vorobiev, D. V., Lavryushev, S. V., Grigorovich, D. A., Kondrakhin, Y. V., Milanesi, L., Wingender, E. & 2 others, Solovyev, V. & Overton, G. C., 1999, In: Bioinformatics. 15, 7-8, p. 669-86 18 p.

    Research output: Contribution to journalArticlepeer-review

  356. Published

    Interconnecting Objects Via Contracts

    Andrade, L. F. & Fiadeiro, J. L., 1999, UML. Springer, Vol. 1723. p. 566-583 18 p. (Lecture Notes in Computer Science).

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

  357. Published

    Kernels from matching operations

    Watkins, C., 1999.

    Research output: Working paper

  358. Published

    Kolmogorov complexity: Sources, theory and applications

    Gammerman, A. & Vovk, V., 1999, In: The Computer Journal. 42, 4, p. 252-255 4 p.

    Research output: Contribution to journalArticlepeer-review

  359. Published

    Lego and related work (summer school lecture notes)

    Luo, Z., 1999

    Research output: Other contribution

  360. Published

    Linear Relations between Square-Loss and Kolmogorov Complexity

    Kalnishkan, Y., 1999, of the Twelfth Annual Conference on Computation Learning Theory. ACM, p. 226-232

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

  361. Published

    Machine-learning applications of algorithmic randomness

    Vovk, V., Gammerman, A. & Saunders, C., 1999, Proceedings of the Sixteenth International Conference on Machine Learning. San Francisco, CA: Morgan Kaufmann, p. 444-453 10 p.

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

  362. Published

    Mathematical vernacular and conceptual well-formedness in mathematical language

    Luo, Z. & Callaghan, P., 1999, Proceedings of the 2nd Inter. Conf. on Logical Aspects of Computational Linguistics (LACL'97). LNAI 1582.

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

  363. Published

    Multi-agent interactions for an ATM management system (TeleMACS approach).

    Hayzelden, A., Bigham, J. & Luo, Z., 1999, Software Agents for Future Communications Systems. Hayzelden, A. L. G. & Bigham, J. (eds.). Springer-Verlag, p. 160-182

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

  364. Published

    Multi-agent systems for resource management

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., 1999, 6th International Conference on Intelligence and Services in Networks, Also in Lecture Notes in Computer Science. Zuidweg, H., Campolargo, M., Delgado, J. & Mullery, A. (eds.). Springer-Verlag, Vol. 1597.

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

  365. Published

    Practical 'what-if?' modelling for resource management of corporate voice-data networks

    Pitts, J., Luo, Z. & Cosmas, J., 1999, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 3842. p. 132-141

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

  366. Published

    Prequential probability: principles and properties

    Dawid, A. P. & Vovk, V., 1999, In: Bernoulli. 5, p. 125-162 38 p.

    Research output: Contribution to journalArticlepeer-review

  367. Published

    Pricing European options without probability

    Vovk, V., 1999.

    Research output: Working paper

  368. Published

    Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers

    Fiadeiro, J. L. (ed.), 1999, Lecture Notes in Computer Science. Springer, Vol. 1589.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  369. Published

    Safe Portfolio Optimization

    Watkins, C. & Macrae, R., 1999, Proc. IX Int. Symp. of Applied Stochastic Models and Data Analysis: Quantitative Methods in Business and Industry Society.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  370. Published

    Small diameter neighbourhood graphs for the travelling salesman problem

    Gutin, G. & Yeo, A., 1999, In: Computers and Operational Research. 26, 4, p. 321-327 7 p.

    Research output: Contribution to journalArticlepeer-review

  371. Published

    Software Change Management: Improving Tool Support for Maintenance

    Manderson, R. & Layzell, P. J., 1999, Proc. International Symposium on Constructing Software Engineering Tools, ICSE Workshop WMT3, Los Angeles, CA, USA, May 1999. p. 159-162 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  372. Published

    Spatial Measures of Software Complexity

    Douce, C. R., Layzell, P. J. & Black-Branch, J. B., 1999, PPIG-11 Annual Workshop, 4-7 January 1999, University of Leeds, UK. p. 36-45 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  373. Published

    Special issue editorial - Kolmogorov complexity

    Gammerman, A. & Vovk, V., 1999, In: The Computer Journal. 42, 4, p. 251-251 1 p.

    Research output: Contribution to journalEditorialpeer-review

  374. Published

    Statistical applications of algorithmic randomness

    Vovk, V. & Gammerman, A., 1999, Bulletin of the International Statistical Institute. Proceedings of the Fifty Second Session: Contributed Papers. book 3 ed. Vol. 58. p. 469-470 2 p.

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

  375. Published

    Support Vector density estimation

    Weston, J., Gammerman, A., Stitson, M., Vapnik, V., Vovk, V. & Watkins, C., 1999, Advances in Kernel Methods: Support Vector Learning. Scholkopf, B., Burghes, C. J. C. & Smola, A. J. (eds.). Cambridge, MA: MIT Press, p. 293-305 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  376. Published

    Support vector machines for multi-class pattern recognition

    Weston, J. & Watkins, C., 1999.

    Research output: Contribution to conferenceOtherpeer-review

  377. Published

    Support Vector regression with ANOVA decomposition kernels

    Stitson, M., Gammerman, A., Vapnik, V., Vovk, V., Watkins, C. & Weston, J., 1999, Advances in Kernel Methods: Support Vector Learning. Scholkopf, B., Burghes, C. J. C. & Smola, A. J. (eds.). Cambridge, MA: MIT Press, p. 285-291 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  378. Published

    The Future of Software: Defining the Research Agenda

    Brereton, P., Budgen, D., Bennett, K., Munro, M., Layzell, P., Macaulay, L., Griffiths, D. & Stannett, C., 1999, In: Comm.ACM. 42, 12, p. 78-84 7 p.

    Research output: Contribution to journalArticlepeer-review

  379. Published

    Traffic control and resource management using a multi-agent system

    Luo, Z., Bigham, J., Cuthbert, L. & Hayzelden, A., 1999, Broadband Communications: Convergence of Network Technologies. Tsang, D. H. K. & Kuhn, P. J. (eds.). USA: Kluwer Academic Publishers, p. 595-606

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

  380. Published

    Transduction with confidence and credibility

    Saunders, C., Gammerman, A. & Vovk, V., 1999, Proceedings of the Sixteenth International Joint Conference on Articial Intelligence. Dean, T. (ed.). San Francisco, CA: Morgan Kaufmann, Vol. 2. p. 722-726 5 p.

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

  381. Published

    Using explicit state to describe architectures

    Lopes, A. & Fiadeiro, J. L., 1999, FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING. Finance, JP. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 144-160 17 p.

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

  382. Published

    INFOGENE: a database of known gene structures and predicted genes and proteins in sequences of genome sequencing projects

    Solovyev, V. V. & Salamov, A. A., 1 Jan 1999, In: Nucleic Acids Research. 27, 1, p. 248-250 3 p.

    Research output: Contribution to journalArticlepeer-review

  383. Published

    Agent interaction for network resource management

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., Mar 1999, In: Interoperable Communication Networks Journal. 2, 1, p. 97-106

    Research output: Contribution to journalArticlepeer-review

  384. Published

    Full QCD light hadron spectrum from the CP-PACS

    Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Mar 1999, In: Nuclear Physics B - Proceedings Supplements. 73, p. 192-194 3 p.

    Research output: Contribution to journalArticlepeer-review

  385. Published

    Heavy quark physics in N-f=2 QCD

    Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Mar 1999, In: Nuclear Physics B - Proceedings Supplements. 73, p. 375-377 3 p.

    Research output: Contribution to journalArticlepeer-review

  386. Published

    NRQCD on an anisotropic lattice

    Drummond, I. T., Horgan, R. R., Manke, T. & Shanahan, H. P., Mar 1999, In: Nuclear Physics B - Proceedings Supplements. 73, p. 336-338 3 p.

    Research output: Contribution to journalArticlepeer-review

  387. Published

    Quenched light hadron spectrum with the Wilson quark action: Final results from CP-PACS

    Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Mar 1999, In: Nuclear Physics B - Proceedings Supplements. 73, p. 189-191 3 p.

    Research output: Contribution to journalArticlepeer-review

  388. Published

    The static quark potential in full QCD

    Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Mar 1999, In: Nuclear Physics B - Proceedings Supplements. 73, p. 216-218 3 p.

    Research output: Contribution to journalArticlepeer-review

  389. Published

    A non-perturbative calculation of the mass of the B-c

    Shanahan, H. P., Boyle, P., Davies, C. T. H., Newton, H. & UKQCD Collaboration, 6 May 1999, In: Physics Letters B. 453, 3-4, p. 289-294 6 p.

    Research output: Contribution to journalArticlepeer-review

  390. Published

    Hybrid quarkonia on asymmetric lattices

    Manke, T., Shanahan, H. P., Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 31 May 1999, In: Physical Review Letters. 82, 22, p. 4396-4399 4 p.

    Research output: Contribution to journalArticlepeer-review

  391. Published

    Derandomizing stochastic prediction strategies

    Vovk, V., Jun 1999, In: Machine Learning. 35, 3, p. 247-282 36 p.

    Research output: Contribution to journalArticlepeer-review

  392. Published

    Reverse compilation of digital signal processor assembler source to ANSI-C

    Johnstone, A., Scott, E. & Womack, T., Sep 1999, p. 1-10. 10 p.

    Research output: Contribution to conferencePaper

  393. Published

    Flexible decentralised control of connection admission communications networks and the IMPACT of software agents

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., Nov 1999, Proceedings of IMPACT'99 .

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

  394. 2000
  395. Published

    Building tractable disjunctive constraints

    Cohen, D. A., Jeavons, P. G., Jonsson, P. & Koubarakis, M., 2000, In: Journal of the ACM. 47, p. 826-853 28 p.

    Research output: Contribution to journalArticlepeer-review

  396. Published

    Complementary cycles containing prescribed vertices in tournaments

    Bang-Jensen, J., Guo, Y. & Yeo, A., 2000, In: Discrete Mathematics. 214, 1-3, p. 77-87 11 p.

    Research output: Contribution to journalArticlepeer-review

  397. Published

    Complexity Approximation Principle and Rissanen's Approach to Real-Valued Parameters

    Kalnishkan, Y., 2000, Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Proceedings: volume 1810 of Lecture Notes in Artificial Intelligence. Springer, p. 203-210 (Lecture Notes in Artificial Intelligence; vol. 1810).

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

  398. Published

    Computationally efficient transductive machines

    Saunders, C., Gammerman, A. & Vovk, V., 2000, Proceedings of the Eleventh International Conference on Algorithmic Learning Theory. Arimura, H., Jain, S. & Sharma, A. (eds.). Berlin: Springer, p. 325-333 9 p. (Lecture Notes in Artificial Intelligence; vol. 1968).

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

  399. Published

    Consistency Conditions for a CORBA Caching Service

    Chockler, G., Friedman, R. & Vitenberg, R., 2000, Proceedings of the 14th International Conference on Distributed Computing (DISC '00). Springer-Verlag, p. 374-388 15 p. (Lecture Notes In Computer Science; no. 1914).

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

  400. Published

    Convex-round and concave-round graphs

    Bang-Jensen, J., Huang, J. & Yeo, A., 2000, In: SIAM Journal on Discrete Mathematics. 13, 2, p. 170-193 24 p.

    Research output: Contribution to journalArticlepeer-review

  401. Published

    Digraphs: Theory, Algorithms and Applications

    Bang-Jensen, J. & Gutin, G., 2000, London: Springer-Verlag.

    Research output: Book/ReportBook

  402. Published

    Flexible decentralised control of connection admission

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., 2000, Agent Technology for Communications Infrastructure. Hayzelden, A. & Bourne, R. A. (eds.). John Wiley & Sons, p. 144-155

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

  403. Published

    Heavy-light decay constants from relativistic N-f=2, 0 QCD

    Shanahan, H. P. & CP-PACS Collaboration, 2000, HIGH ENERGY PHYSICS 99, PROCEEDINGS. BRISTOL: IOP PUBLISHING LTD, p. 943-944 2 p.

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

  404. Published

    Implementation of agents for connection admission control on an ATM testbed

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., 2000, On The Way to Information Society: Five Years of European ACTS Research on Intelligence in Services and Networks. IOS Press, p. 413-426

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

  405. Published

    Implementation techniques for inductive types in Plastic

    Callaghan, P. & Luo, Z., 2000, Types for Proofs and Programs, Proc of Inter Conf of TYPES'99. LNCS 1956.

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

  406. Published

    Implementing a Caching Service for Distributed CORBA Objects

    Chockler, G., Dolev, D., Friedman, R. & Vitenberg, R., 2000, Proceedings of the 2nd IFIP/ACM International Conference on Distributed systems platforms (Middleware '00). Springer-Verlag, p. 1-23 23 p.

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

  407. Published

    Inducing Syntactic Categories by Context Distribution Clustering

    Clark, A., 2000, Proc. of Conference on Computational Natural Language Learning. p. 91-94

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

  408. Published

    Intelligent agents for ATM network control and resource management: Experiences and results from an implementation on a network test bed

    Vayias, E., Soldatos, J. K., Bigham, J., Cuthbert, L. & Luo, Z., 2000, In: Journal of Network and Systems Management. 8, 3, p. 373-395

    Research output: Contribution to journalArticlepeer-review

  409. Published

    Isomerization of dietary lycopene during assimilation and transport in plasma

    Holloway, D. E., Yang, M., Paganga, G., Rice-Evans, C. A. & Bramley, P. M., 2000, In: Free radical research. 32, 1, p. 93-102 10 p.

    Research output: Contribution to journalArticlepeer-review

  410. Published

    Kings in semicomplete multipartite digraphs

    Gutin, G. & Yeo, A., 2000, In: Journal of Graph Theory. 33, 3, p. 177-183

    Research output: Contribution to journalArticlepeer-review

  411. Published

    Longest paths in strong spanning oriented subgraphs of strong semicomplete multipartite digraphs

    Gutin, G., Tewes, M. & Yeo, A., 2000, In: Discrete Mathematics. 222, 1-3, p. 269-274

    Research output: Contribution to journalArticlepeer-review

  412. Published

    Method for Separately Permissioned Communication

    Watkins, C. & Denker, J., 2000, IPC No. US Patent, Patent No. 6064878

    Research output: Patent

  413. Published

    New Tractable Classes from Old

    Cohen, D. A., Jeavons, P. G. & Gault, R. L., 2000, p. 160-171.

    Research output: Contribution to conferencePaper

  414. Published

    Note on the path covering number of a semicomplete multipartite tournament

    Gutin, G. & Yeo, A., 2000, In: Journal of Combinatorial Mathematics and Combinatorial Computing. 32, p. 231-237 7 p.

    Research output: Contribution to journalArticlepeer-review

  415. Published

    PAL+: a lambda-free logical framework

    Luo, Z., 2000, Inter Workshop on Logical Frameworks and Meta-languages (LFM 2000).

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

  416. Published

    Patterns for Coordination

    Andrade, L. F., Fiadeiro, J. L., Gouveia, J., Lopes, A. & Wermelinger, M., 2000, COORDINATION. Springer, Vol. 1906. p. 317-322 6 p. (Lecture Notes in Computer Science).

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

  417. Published

    Quasi-hamiltonicity: a series of necessary conditions for a digraph to be hamiltonian

    Gutin, G. & Yeo, A., 2000, In: Journal of Combinatorial Theory, Series B. 78, 2, p. 232-242

    Research output: Contribution to journalArticlepeer-review

  418. Published

    Service-Based Software: The Future for Flexible Software

    Bennett, K., Layzell, P. J., Budgen, D., Brereton, P., Macaulay, L. & Munro, M., 2000, APSEC2000: The Asia-Pacific Software Engineering Conference, 5-8 December 2000, Singapore. IEEE Computer Society Press, p. 214-221 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  419. Published

    Student Collaboration Across Universities: A Case Study in Software Engineering

    Brereton, O. P., Lees, S., Bedson, R., Boldyreff, C., Drummond, S., Layzell, P. J., Macaulay, L. A. & Young, R., 2000, Proceedings of 13th International Conference on Software Engineering Education and Training, March 2000.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  420. Published

    Student Collaboration Across Universities: A Case Study in Software Engineering

    Brereton, O. P., Lees, S., Bedson, R., Boldyreff, C., Drummond, S., Layzell, P. J., Macaulay, L. A. & Young, R., 2000, In: IEEE Transaction on Education. 43, 4, p. 394-399 6 p.

    Research output: Contribution to journalArticlepeer-review

  421. Published

    Sufficient conditions for semicomplete multipartite digraphs to be Hamiltonian

    Guo, Y., Tewes, M., Volkmann, L. & Yeo, A., 2000, In: Discrete Mathematics. 212, p. 91-100 10 p.

    Research output: Contribution to journalArticlepeer-review

  422. Published

    Superposing Connectors

    Wermelinger, M., Lopes, A. & Fiadeiro, J. L., 2000, IWSSD. IEEE Computer Society Press, p. 87-94 8 p.

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

  423. Published

    Supporting Collaboration in Distributed Software Engineering Teams

    Layzell, P. J., Brereton, P. & French, A., 2000, APSEC2000: The Asia-Pacific Software Engineering Conference, 5-8 December 2000, Singapore, IEEE Computer Society Press, 2000. p. 38-45 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  424. Published

    Towards a Verification Logic for Rewriting Logic

    Fiadeiro, J. L., Maibaum, T. S. E., Martí-Oliet, N., Meseguer, J. & Pita, I., 2000, WADT. Springer, Vol. 1827. p. 438-458 21 p. (Lecture Notes in Computer Science).

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

  425. Published

    Reverse compilation for digital signal processors: a working example

    Johnstone, A., Scott, E. & Womack, T., 7 Jan 2000, p. 1-10. 10 p.

    Research output: Contribution to conferencePaper

  426. Published

    Quenched light hadron spectrum

    Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 10 Jan 2000, In: Physical Review Letters. 84, 2, p. 238-241 4 p.

    Research output: Contribution to journalArticlepeer-review

  427. Published

    Black-Scholes formula without stochastic assumptions

    Vovk, V., Mar 2000.

    Research output: Working paper

  428. Published

    The existence of predictive complexity and the Legendre transformation

    Kalnichkan, Y. & Vovk, V., Mar 2000.

    Research output: Working paper

  429. Published

    A Game-based Architecture for developing Interactive Components in Computational Logic

    Stathis, K., Brogi, A. (ed.) & Hill, P. (ed.), 1 Mar 2000, In: Functional and Logic Programming, Special Issue on Logical Formalisms for Program Composition. 2000, 5

    Research output: Contribution to journalArticlepeer-review

  430. Published

    What assembly programmers get up to: control flow challenges in reverse compilation

    Johnstone, A., Scott, E. & Womack, T., 3 Mar 2000, p. 83-92. 10 p.

    Research output: Contribution to conferencePaper

  431. Published

    A novel type of RNase III family proteins in eukaryotes

    Filippov, V., Solovyev, V., Filippova, M. & Gill, S. S., 7 Mar 2000, In: Gene. 245, 1, p. 213-21 9 p.

    Research output: Contribution to journalArticlepeer-review

  432. Published

    Ab initio gene finding in Drosophila genomic DNA

    Salamov, A. A. & Solovyev, V. V., Apr 2000, In: Genome Research. 10, 4, p. 516-522 7 p.

    Research output: Contribution to journalArticlepeer-review

  433. Published

    Equation of state in finite-temperature QCD with improved Wilson quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okamoto, M., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 360-362 3 p.

    Research output: Contribution to journalArticlepeer-review

  434. Published

    Eta meson mass and topology in QCD with two light flavors

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 162-164 3 p.

    Research output: Contribution to journalArticlepeer-review

  435. Published

    Heavy quarkonia from anisotropic and isotropic lattices

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 319-321 3 p.

    Research output: Contribution to journalArticlepeer-review

  436. Published

    Heavy-light decay constants from clover heavy quark action in QCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 331-333 3 p.

    Research output: Contribution to journalArticlepeer-review

  437. Published

    Heavy-light spectrum and decay constant from NRQCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 265-267 3 p.

    Research output: Contribution to journalArticlepeer-review

  438. Published

    Light hadron spectrum and quark masses in QCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 176-178 3 p.

    Research output: Contribution to journalArticlepeer-review

  439. Published

    Quenched QCD with domain-wall fermions on coarse lattices

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & 1 others, CP-PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 591-593 3 p.

    Research output: Contribution to journalArticlepeer-review

  440. Published

    Spin effects in heavy hybrid mesons on an anisotropic lattice

    Drummond, I. T., Goodman, N. A., Horgan, R. R., Shanahan, H. P. & Storoni, L. C., 6 Apr 2000, In: Physics Letters B. 478, 1-3, p. 151-160 10 p.

    Research output: Contribution to journalArticlepeer-review

  441. Published

    Black-Scholes formula without stochastic assumptions

    Vovk, V., May 2000, Models for Credit Risk. London: UNICOM Seminars, p. 149-154 6 p.

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

  442. Published

    Quenched QCD with O(a) improvement: The spectrum of light hadrons

    Bowler, K. C., Boyle, P., Garden, J., Kenway, R. D., Richards, D. G., Rowland, P. A., Ryan, S. M., Simma, H., Michael, C., Shanahan, H. P. & Wittig, H., 1 Sep 2000, In: Physical Review D . 6205, 5, p. - 19 p.

    Research output: Contribution to journalArticlepeer-review

  443. Published

    Analysis of canonical and non-canonical splice sites in mammalian genomes

    Burset, M., Seledtsov, I. A. & Solovyev, V. V., 1 Nov 2000, In: Nucleic Acids Research. 28, 21, p. 4364-4375 12 p.

    Research output: Contribution to journalArticlepeer-review

  444. Published

    Dynamical quark effects on light quark masses

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 27 Nov 2000, In: Physical Review Letters. 85, 22, p. 4674-4677 4 p.

    Research output: Contribution to journalArticlepeer-review

  445. Published

    Sea quark effects on quarkonia

    Manke, T., Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A. & Yoshie, T., 1 Dec 2000, In: Physical Review D . 6211, 11, p. - 13 p.

    Research output: Contribution to journalArticlepeer-review

  446. 2001
  447. Published

    A Compositional Approach to Connector Construction

    Lopes, A., Wermelinger, M. & Fiadeiro, J. L., 2001, WADT. Springer, Vol. 2267. p. 201-220 20 p. (Lecture Notes in Computer Science).

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

  448. Published

    An Implementation of LF with Coercive Subtyping and Universes.

    Callaghan, P. & Luo, Z., 2001, In: Journal of Automated Reasoning. 27, 1, p. 3-27 25 p.

    Research output: Contribution to journalArticlepeer-review

  449. Published

    Coherence and transitivity in coercive subtyping

    Luo, Y. & Luo, Z., 2001, Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250.

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

  450. Published

    Comparing the Bayes and typicalness frameworks

    Melluish, T., Saunders, C., Nouretdinov, I. & Vovk, V., 2001, Lecture Notes in Articial Intelligence. Vol. 2167. p. 360-371

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

  451. Published

    Construction heuristics for the asymmetric TSP

    Glover, F., Gutin, G., Yeo, A. & Zverovitch, A., 2001, In: European Journal of Operational Research. 129, 3, p. 555-568

    Research output: Contribution to journalArticlepeer-review

  452. Published

    Coordination Technologies for Managing Information System Evolution

    Andrade, L. F. & Fiadeiro, J. L., 2001, CAiSE. Springer, Vol. 2068. p. 374-387 14 p. (Lecture Notes in Computer Science).

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

  453. Published

    Enforcing Business Policies Through Automated Reconfiguration

    Andrade, L. F., Fiadeiro, J. L. & Wermelinger, M., 2001, ASE. IEEE Computer Society Press, p. 426-

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

  454. Published

    Feature Modeling and Composition with Coordination Contracts

    Andrade, L. F. & Fiadeiro, J. L., 2001, FICS. University of Karlsruhe, Institut für Programmstrukturen und Datenorganisation, Vol. 2001-14. p. 49-54 6 p. (Technical Report).

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

  455. Published

    FPGA-based discrete wavelet transforms system

    Murtagh, F., Nibouche, M., Bouridane, A., Brebner, G. (ed.) & Woods, R. (ed.), 2001, Field-Programmable Logic and Applications. 2147 ed. Berlin: Springer-Verlag, p. 607-612 (Lecture Notes in Computer Science; no. 2147).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  456. Published

    Implications of a Service-Oriented View of Software

    Layzell, P. J., 2001, IFIP WG8.2 Working Conference, Boise, Idaho, July 2001.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  457. Published

    Kolmogorov's complexity conception of probability

    Vovk, V., 2001, Probability Theory: Philosophy, Recent History and Relations to Science. Dordrecht: Kluwer, p. 51-69 19 p.

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

  458. Published

    Loss functions, complexities, and the Legendre transformation

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 2001, Proceedings of the Twelfth International Conference on Algorithmic Learning Theory. Abe, N., Khardon, R. & Zeugmann, T. (eds.). London: Springer, p. 181-189 9 p.

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

  459. Published

    Managing Evolution in Telecommunication Systems

    Koutsoukos, G., Gouveia, J., Andrade, L. F. & Fiadeiro, J. L., 2001, DAIS. Kluwer, Vol. 198. p. 133-140 8 p. (IFIP Conference Proceedings).

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

  460. Published

    Object languages in a type-theoretic meta-framework

    Callaghan, P. C., Luo, Z. & Pang, J., 2001, Proof Transformation and Presentation and Proof Complexities.

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

  461. Published

    Obstacles in Achieving a World-Wide Software Engineering Profession

    Layzell, P. J., 2001, Proceedings of 14th International Conference on Software Engineering Education and Training, February 2001.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  462. Published

    Pattern recognition and density estimation under the general i.i.d assumption

    Nouretdinov, I., Vovk, V., Vyugin, M. & Gammerman, A., 2001, Proceedings of the Fourteenth Annual Conference on Computational Learning Theory and Fifth European Conference on Computational Learning Theory. Helmbold, D. & Williamson, B. (eds.). London: Springer, p. 337-353 17 p. (Lecture Notes in Artificial Intelligence; vol. 2111).

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

  463. Published

    Probability and Finance: It's Only a Game!

    Shafer, G. & Vovk, V., 2001, New York: Wiley-Interscience.

    Research output: Book/ReportBook

  464. Published

    Remarks on hamiltonian digraphs

    Gutin, G. & Yeo, A., 2001, In: Australasian Journal of Combinatorics. 23, p. 115-118

    Research output: Contribution to journalArticlepeer-review

  465. Published

    Ridge Regression Confidence Machine

    Nouretdinov, I., Melluish, T. & Vovk, V., 2001, Proceedings of the Eighteenth International Conference on Machine Learning. p. 385-392

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

  466. Published

    Solution of a conjecture of Volkmann on the number of vertices in longest paths and cycles of strong semicomplete multipartite digraphs

    Gutin, G. & Yeo, A., 2001, In: Graphs and Combinatorics. 17, 3, p. 473-477

    Research output: Contribution to journalArticle

  467. Published

    Strategic Change stemming from E-Commerce: Implications of Multi-Agent Systems in the Supply Chain

    Cohen, M., Stathis, K. & Beaver, G. (ed.), 2001, In: Strategic Change. 10, p. 139-149 11 p.

    Research output: Contribution to journalArticlepeer-review

  468. Published

    The minimum spanning strong subdigraph problem for extended semicomplete digraphs and semicomplete bipartite digraphs

    Bang-Jensen, J. & Yeo, A., 2001, In: Journal of Algorithms. 41, p. 1-19 19 p.

    Research output: Contribution to journalArticlepeer-review

  469. Published

    Tool Support for Coordination-Based Software Evolution

    Gouveia, J., Koutsoukos, G., Andrade, L. F. & Fiadeiro, J. L., 2001, TOOLS (38). IEEE Computer Society Press, p. 184-196 13 p.

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

  470. Published

    TSP tour domination and Hamilton cycle decompositions of regular digraphs.

    Gutin, G. & Yeo, A., 2001, In: Operations Research Letters. 28, 3, p. 107-111

    Research output: Contribution to journalArticlepeer-review

  471. Unpublished

    Unsupervised Language Acquisition: Theory and Practice

    Clark, A., 2001, (Unpublished)

    Research output: ThesisDoctoral Thesis

  472. Published

    A graph based architectural (re)configuration language

    Wermelinger, M., Lopes, A. & Fiadeiro, J. L., 1 Jan 2001, 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001. p. 21-32 12 p.

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

  473. Published

    Backoff protocols for distributed mutual exclusion and ordering

    Chockler, G., Malkhi, D. & Reiter, M. K., 1 Jan 2001, Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS '01). p. 11-20 10 p.

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

  474. Published

    Coordination: The evolutionary dimension

    Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2001, 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing. p. 136-147 12 p.

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

  475. Published

    Interconnecting objects via contracts

    Fiadeiro, J. L. & Andrade, L. F., 1 Jan 2001, 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing. p. 182 1 p.

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

  476. Published

    SpliceDB: database of canonical and non-canonical mammalian splice sites

    Burset, M., Seledtsov, I. A. & Solovyev, V. V., 1 Jan 2001, In: Nucleic Acids Research. 29, 1, p. 255-259 5 p.

    Research output: Contribution to journalArticlepeer-review

  477. Published

    Calculation of K -> pi matrix elements in quenched domain-wall QCD

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & 1 others, CP-PACS collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 283-286 4 p.

    Research output: Contribution to journalArticlepeer-review

  478. Published

    Eigenvalues of the hermitian Wilson-Dirac operator and chiral properties of the domain-wall fermion

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kanebo, T., Kuramashi, Y., Manke, T., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A. & Yoshie, T., Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 725-728 4 p.

    Research output: Contribution to journalArticlepeer-review

  479. Published

    Full QCD light hadron spectrum and quark masses: Final results from CP-PACS

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K. I., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 229-232 4 p.

    Research output: Contribution to journalArticlepeer-review

  480. Published

    Kaon B-parameter from quenched domain-wall QCD

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fikugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & 1 others, CP-PACS collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 287-290 4 p.

    Research output: Contribution to journalArticlepeer-review

  481. Published

    Quenched charmonium spectrum on anisotropic lattices

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Okamoto, M., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & CP-PACS collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 325-328 4 p.

    Research output: Contribution to journalArticlepeer-review

  482. Published

    Chiral properties of domain-wall quarks in quenched QCD

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A. & 2 others, Yoshie, T. & CP-PACS Collaboration, 1 Jun 2001, In: Physical Review D . 6311, 11, p. - 19 p.

    Research output: Contribution to journalArticlepeer-review

  483. Published

    Predicting nearly as well as the best pruning of a decision tree through dynamic programming scheme

    Takimoto, E., Maruoka, A. & Vovk, V., 17 Jun 2001, In: Theoretical Computer Science. 261, 1, p. 179-209 31 p.

    Research output: Contribution to journalArticlepeer-review

  484. Published

    Probability theory for the Brier game

    Vovk, V., 17 Jun 2001, In: Theoretical Computer Science. 261, 1, p. 57-79 23 p.

    Research output: Contribution to journalArticlepeer-review

  485. Published

    Learning Morphology with Pair Hidden Markov Models

    Clark, A., 1 Jul 2001, Proceedings of the Association for Computational Linguistics: Student Session. p. 55-60

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

  486. Published

    Unsupervised Induction of Stochastic Context Free Grammars with Distributional Clustering

    Clark, A., 1 Jul 2001, Proc. of Conference on Computational Natural Language Learning. p. 105-112

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

  487. Published

    Competitive on-line statistics

    Vovk, V., Aug 2001, In: INTERNATIONAL STATISTICAL REVIEW. 69, 2, p. 213-248 36 p.

    Research output: Contribution to journalArticlepeer-review

  488. Published

    Decay constants of B and D mesons from improved relativistic lattice QCD with two flavors of sea quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Aug 2001, In: Physical Review D . 6403, 3, p. - 17 p.

    Research output: Contribution to journalArticlepeer-review

  489. Published

    B meson decay constants from two-flavor lattice QCD with nonrelativistic heavy quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A. & Yoshie, T., 1 Sep 2001, In: Physical Review D . 6405, 5, p. - 24 p.

    Research output: Contribution to journalArticlepeer-review

  490. Published

    Equation of state in finite-temperature QCD with two flavors of improved Wilson quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K. I., Okamoto, M., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A. & Yoshie, T., 1 Oct 2001, In: Physical Review D . 6407, 7, p. art. no.-074510 17 p.

    Research output: Contribution to journalArticlepeer-review

  491. Published

    Hybrid quarkonia with dynamical sea quarks

    Manke, T., Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Nov 2001, In: Physical Review D . 6409, 9, p. - 4 p.

    Research output: Contribution to journalArticlepeer-review

  492. Published

    The Game-Theoretic Capital Asset Pricing Model

    Vovk, V. & Shafer, G., 1 Nov 2001.

    Research output: Working paper

  493. Published

    Group communication specifications: A comprehensive study

    Chockler, G. V., Keidar, I. & Vitenberg, R., Dec 2001, In: ACM Computing Surveys. 33, 4, p. 427-469 43 p.

    Research output: Contribution to journalArticlepeer-review

  494. Published
  495. Published

    Kaon B parameter from quenched domain-wall QCD

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Dec 2001, In: Physical Review D . 6411, 11, p. - 21 p.

    Research output: Contribution to journalArticlepeer-review

  496. Published

    Topological susceptibility in lattice QCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Dec 2001, In: Physical Review D . 6411, 11, p. - 10 p.

    Research output: Contribution to journalArticlepeer-review

  497. 2002
  498. Published

    A Model for Selecting CSCW Technologies for Distributed Software Maintenance Teams in Virtual Organisations

    Tjortjis, C., Dafoulas, G., Layzell, P. J. & Macaulay, L. A., 2002, Proc. Twenty-Sixth Annual International Computer Software and Applications Conference (COMPSAC 02). IEEE Computer Society Press, p. 1104-1108 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  499. Published

    Adaptive wavelet eye-gaze based video compression

    Murtagh, F., Farid, M. & Kurugollu, F., 2002, In: Proceedings of the SPIE. 4877, p. 255-263

    Research output: Contribution to journalArticle

  500. Published

    Almost all almost regular c-partite tournaments with $c geq 5$ are vertex pancyclic

    Tewes, M., Volkmann, L. & Yeo, A., 2002, In: Discrete Mathematics. 242, 1-3, p. 201-228 28 p.

    Research output: Contribution to journalArticlepeer-review

  501. Published

    Almost minimum diameter orientations of semicomplete multipartitite and extended digraphs

    Gutin, G., Koh, K. M., Tay, E. G. & Yeo, A., 2002, In: Graphs and Combinatorics. 18, 3, p. 499-506 8 p.

    Research output: Contribution to journalArticlepeer-review

  502. Published

    Anti-matroids

    Gutin, G. & Yeo, A., 2002, In: Operations Research Letters. 30, 2, p. 97-99

    Research output: Contribution to journalArticlepeer-review

  503. Published

    Asymptotic optimality of transductive confidence machine

    Vovk, V., 2002, Lecture Notes in Articial Intelligence. Vol. 2533. p. 336-350 15 p.

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

  504. Published

    Bayesian model selection for spatial clustering in 3D surveys

    Murtagh, F., Donalek, C., Longo, G. & Tagliaferri, R., 2002, In: Proceedings of the SPIE. 4847, p. 391-401

    Research output: Contribution to journalArticle

  505. Published

    Bayesian segmentation and clustering for determining cloud mask images

    Murtagh, F., Barreto, D. & Marcello, J., 2002, In: Proceedings of the SPIE. 4877, p. 144-155

    Research output: Contribution to journalArticle

  506. Published

    Benchmarking segmentation results using a Markov model and a Bayes information criterion

    Murtagh, F., Qiao, X., Crookes, D., Walsh, P., Basheer, P. A. M. & Long, A., 2002, In: Proceedings of the SPIE. 4877, p. 248-254

    Research output: Contribution to journalArticle

  507. Published

    Clustering in massive data sets

    Murtagh, F., Abello, J. (ed.), Pardalos, P. M. (ed.) & Resende, M. G. C. (ed.), 2002, Handbook of Massive Data Sets. Norwell, MA, USA: Kluwer, p. 401-545

    Research output: Chapter in Book/Report/Conference proceedingChapter

  508. Published

    Coercion completion and conservativity in coercive subtyping

    Soloviev, S. & Luo, Z., 2002, In: Annals of Pure and Applied Logic. 113, 1-3, p. 297-322 26 p.

    Research output: Contribution to journalArticlepeer-review

  509. Published

    Computer display control and interaction using eye-gaze

    Murtagh, F., Farid, M. & Starck, J. L., 2002, In: Journal of the Society for Information Display. 10, 3, p. 289-293

    Research output: Contribution to journalArticle

  510. Published

    Conceptual Model for Generating Meaningful Test data Based on Permutation Methods

    Hameed, S., Derman, A., Hamdan, A. R. & Layzell, P. J., 2002, In: Asian Journal of Information Technology. 1, 1-4, p. 22-23 2 p.

    Research output: Contribution to journalArticlepeer-review

  511. Published

    Counting Satisfying Assignments in 2-SAT and 3-SAT

    Dahllöf, V., Jonsson, P. & Wahlström, M., 2002, COCOON. p. 535-543 9 p.

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

  512. Published

    Deconvolution in astronomy: a review

    Murtagh, F., Starck, J. L. & Pantin, E., 2002, In: Publications of the astronomical society of the pacific. 114, p. 1051-1069

    Research output: Contribution to journalArticle

  513. Published

    Distributed visual information management in astronomy

    Murtagh, F., Starck, J. L. & Louys, M., 2002, In: Computing in Science and Engineering. 4, 6, p. 14-23

    Research output: Contribution to journalArticle

  514. Published

    Experimental Analysis of Heuristics for the ATSP

    Gutin, G., Johnson, D. S., McGeoch, L., Yeo, A., Zhang, Q. & Zverovitch, A., 2002, The TSP and Its Variations. Gutin, G. & Punnen, A. P. (eds.). 12 ed. (Combinatorial Optimization; no. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  515. Published

    Exponential Neighborhoods and Domination Analysis for the TSP

    Gutin, G., Yeo, A. & Zverovitch, A., 2002, The TSP and Its Variations. Gutin, G. & Punnen, A. P. (eds.). 12 ed. (Combinatorial Optimization; no. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  516. Published

    Eye-movements and voice as interface modalities to computer systems

    Murtagh, F. & Farid, M., 2002, In: Proceedings of the SPIE. 4877, p. 115-125

    Research output: Contribution to journalArticle

  517. Published

    Finding genes by computer: probabilistic and discriminative approaches

    Solovyev, V., 2002, Current Topics in Computational Biology. Jiang, T., Smith, T., Xu, Y. & Zhang, M. (eds.). MIT Press, p. 365-401

    Research output: Chapter in Book/Report/Conference proceedingChapter

  518. Published

    From System Comprehension to Program Comprehension

    Tjortjis, C., Gold, N. E., Layzell, P. J. & Bennett, K. H., 2002, COMPSAC 2002, Oxford, UK, 2002.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  519. Published

    General linear relations among different types of predictive complexity

    Kalnishkan, Y., 2002, In: Theoretical Computer Science. 271, 1-2, p. 181-200

    Research output: Contribution to journalArticlepeer-review

  520. Published

    High-quality still images from video frame sequences

    Murtagh, F., Geradts, Z. & Rudin, L. I., 2002, In: Proceedings of the SPIE. 4709, p. 49-59

    Research output: Contribution to journalArticle

  521. Published

    Inductive Confidence Machine for pattern recognition

    Surkov, D., Gammerman, A. & Vovk, V., 2002, Proceedings of the ICDM 2002 Workshop on the Foundation of Data Mining and Knowledge Discovery. Lin, T. & Ohsuga, S. (eds.). Shimane Medical University, p. 249-255 7 p.

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

Previous 1 2 3 4 5 Next