1. 2001
  2. Published

    Tool Support for Coordination-Based Software Evolution

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

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

  3. Published

    TSP tour domination and Hamilton cycle decompositions of regular digraphs.

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

    Research output: Contribution to journalArticlepeer-review

  4. Unpublished

    Unsupervised Language Acquisition: Theory and Practice

    Clark, A., 2001, (Unpublished)

    Research output: ThesisDoctoral Thesis

  5. 2000
  6. Published

    Sea quark effects on quarkonia

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

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Dynamical quark effects on light quark masses

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

    Research output: Contribution to journalArticlepeer-review

  8. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  9. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Black-Scholes formula without stochastic assumptions

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

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

  11. Published

    Spin effects in heavy hybrid mesons on an anisotropic lattice

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

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Ab initio gene finding in Drosophila genomic DNA

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

    Research output: Contribution to journalArticlepeer-review

  13. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Eta meson mass and topology in QCD with two light flavors

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

    Research output: Contribution to journalArticlepeer-review

  15. Published

    Heavy quarkonia from anisotropic and isotropic lattices

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

    Research output: Contribution to journalArticlepeer-review

  16. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  17. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  18. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Quenched QCD with domain-wall fermions on coarse lattices

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

    Research output: Contribution to journalArticlepeer-review

  20. Published

    A novel type of RNase III family proteins in eukaryotes

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

    Research output: Contribution to journalArticlepeer-review

  21. Published

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

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

    Research output: Contribution to conferencePaper

  22. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  23. Published

    Black-Scholes formula without stochastic assumptions

    Vovk, V., Mar 2000.

    Research output: Working paper

  24. Published

    The existence of predictive complexity and the Legendre transformation

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

    Research output: Working paper

  25. Published

    Quenched light hadron spectrum

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

    Research output: Contribution to journalArticlepeer-review

  26. Published

    Reverse compilation for digital signal processors: a working example

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

    Research output: Contribution to conferencePaper

  27. Published

    Building tractable disjunctive constraints

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

    Research output: Contribution to journalArticlepeer-review

  28. Published

    Complementary cycles containing prescribed vertices in tournaments

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

    Research output: Contribution to journalArticlepeer-review

  29. Published

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

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

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

  30. Published

    Computationally efficient transductive machines

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

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

  31. Published

    Consistency Conditions for a CORBA Caching Service

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

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

  32. Published

    Convex-round and concave-round graphs

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

    Research output: Contribution to journalArticlepeer-review

  33. Published

    Digraphs: Theory, Algorithms and Applications

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

  44. Published

    Method for Separately Permissioned Communication

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

    Research output: Patent

  45. Published

    New Tractable Classes from Old

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  77. Published

    Central limit theorem without probability

    Vovk, V., 1999.

    Research output: Working paper

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

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

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

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

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

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

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

  85. Published

    Editorial: Kolmogorov complexity

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

    Research output: Contribution to journalEditorial

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

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

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

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

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

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

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

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

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

  96. Published

    Kernels from matching operations

    Watkins, C., 1999.

    Research output: Working paper

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

  98. Published

    Lego and related work (summer school lecture notes)

    Luo, Z., 1999

    Research output: Other contribution

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

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

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

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

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