1. 2000
  2. Published

    Digraphs: Theory, Algorithms and Applications

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

  13. Published

    Method for Separately Permissioned Communication

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

    Research output: Patent

  14. Published

    New Tractable Classes from Old

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  46. Published

    Central limit theorem without probability

    Vovk, V., 1999.

    Research output: Working paper

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

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

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

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

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

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

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

  54. Published

    Editorial: Kolmogorov complexity

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

    Research output: Contribution to journalEditorial

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

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

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

  58. Published
  59. 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

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

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

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

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

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

  65. Published

    Kernels from matching operations

    Watkins, C., 1999.

    Research output: Working paper

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

  67. Published

    Lego and related work (summer school lecture notes)

    Luo, Z., 1999

    Research output: Other contribution

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

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

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

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

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

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

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

  75. Published

    Pricing European options without probability

    Vovk, V., 1999.

    Research output: Working paper

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

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

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

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

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

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

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

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

  84. Published

    Support vector machines for multi-class pattern recognition

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

    Research output: Contribution to conferenceOtherpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  113. Published

    Constraints and Universal Algebra

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

    Research output: Working paper

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

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

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

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

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

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

  120. Published

    Learning by Support Vector Machine

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

    Research output: Contribution to conferenceOther

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

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

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

  124. Published

    Method of Automatic Verification of Personal Identity

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

    Research output: Patent

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

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

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

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

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

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

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

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

  133. Published

    Statistical significance of ungapped sequence alignments.

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

    Research output: Contribution to conferenceAbstract

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  151. Published

    Coercive subtyping in type theory

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

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

  152. Published

    Constraints, Consistency and Closure

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

    Research output: Working paper

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

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

  155. Published

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

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

    Research output: Contribution to conferencePaperpeer-review

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

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

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

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

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

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

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

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

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

  165. Published

    On-line competitive linear regression

    Vovk, V., 1997.

    Research output: Working paper

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

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

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

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

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

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

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

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

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

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

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

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

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

  179. 1996
  180. Unpublished

    Game-Based Development of Interactive Systems

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

    Research output: ThesisDoctoral Thesis

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

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

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

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

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

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

  187. Published

    A Test for Tractability

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

    Research output: Contribution to conferencePaper

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

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

  190. Published

    Closure Properties of Constraints

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

    Research output: Working paper

  191. Published

    Derivation of Constraints and Database Relations

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

    Research output: Contribution to conferencePaper

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

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

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

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

  196. Published

    Logical truths in constructive type theory (abstract)

    Luo, Z., 1996, Logic Colloquium 96.

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

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

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

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

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

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

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

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

  204. Published

    Tractable Disjunctive Constraints

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

    Research output: Contribution to conferencePaper

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

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

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

  208. 1995
  209. 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

  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

    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

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

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

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

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

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

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

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

  219. Published

    A Unifying Framework for Tractable Constraints

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

    Research output: Contribution to conferencePaper

  220. Published

    An Algebraic Characterization of Tractable Constraints

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

    Research output: Contribution to conferencePaper

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

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

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

  224. Published
  225. 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

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

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

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

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

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

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

  232. 1994
  233. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  255. Published

    Computation and Reasoning: A Type Theory for Computer Science

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

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

  267. 1993
  268. Published
  269. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  292. 1992
  293. 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

  294. Published

    LATEX Concisely

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

    Research output: Book/ReportBook

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

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

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

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

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

  300. Published

    CASE- Current Practice, Future Prospects

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

    Research output: Book/ReportBook

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

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

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

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

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

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

  307. Published

    Rationality of division orderings

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

    Research output: Contribution to journalArticlepeer-review

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

  309. Published

    Universal forecasting algorithms

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

    Research output: Contribution to journalArticlepeer-review

  310. 1991
  311. 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

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

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

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

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

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

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

  318. Published
  319. 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

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

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

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

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

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

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

  326. 1990
  327. 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

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

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

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

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

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

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

  334. Unpublished

    An Extended Calculus of Constructions

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

    Research output: ThesisDoctoral Thesis

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

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

  337. Published

    CASE On Trial

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

    Research output: Book/ReportBook

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

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

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

  341. Published

    Sequential decision problems and neural networks

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

    Research output: Contribution to conferenceOtherpeer-review

  342. 1989
  343. 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

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

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

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

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

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

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

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

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

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

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

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

  355. 1988
  356. 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

  357. Published

    A Higher-order Calculus and Theory Abstraction

    Luo, Z., 1988, LFCS Report Series.

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

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

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

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

  361. Published

    CC# and Its Meta Theory

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

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

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

  363. Published

    Existentially Closed Groups

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

  373. Unpublished

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

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

    Research output: ThesisDoctoral Thesis

  374. 1987
  375. 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

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

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

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

  379. Published

    On a randomness criterion

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

  383. Published

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

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

    Research output: Book/ReportBook

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

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

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

  387. 1986
  388. 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

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

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

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

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

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

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

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

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

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

  398. Published

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

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

    Research output: Contribution to conferenceAbstractpeer-review

  399. Published

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

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

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

  400. 1985
  401. Published

    A Language Enhancement Facility for COBOL

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

  405. Published

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  407. 1984
  408. 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

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

  410. Published
  411. 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

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

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

  414. 1983
  415. 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

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

  417. 1981
  418. 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

Previous 1 2 3 4 5 Next