Home > Research > Researchers > Professor Amanda Chetwynd > Publications

Research

Professor Amanda Chetwynd

Emeritus

51 - 60 out of 86Page size: 10
RSS feed of this list
  1. 1994
  2. Published

    A framework for the formal specification and verification of distributed multimedia systems.

    Blair, L., Blair, G. S., Bowman, H. & Chetwynd, A. G., 1994, Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  3. Published

    A framework for the formal specification of multimedia systems in open distributed processing MPG-93-12 J.

    Blair, L., Blair, G. S., Bowman, H., Chetwynd, A. G. & Papathomas, M., 1994, Proceedings of the Workshop on Distributed Multimedia Applications and Quality of Service Verification. Montreal

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  4. Published

    Time versus abstraction in formal description.

    Bowman, H., Blair, G. S., Blair, L. & Chetwynd, A. G., 1994, In: IFIP Transactions C. 22, p. 407-482 76 p.

    Research output: Contribution to Journal/Magazine › Journal article

  5. Published

    Time versus abstraction in formal descriptions.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). Tenney, R. L., Amer, P. D. & Uyar, U. (eds.). North Holland: Elsevier

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  6. 1993
  7. Published

    Formal description of distributed multimedia systems.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1993, Proceedings of the 9th British Colloquium for Theoretical Computer Science. York

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  8. 1992
  9. Published

    Some upper bounds on the list and total chromatic numbers of multigraphs.

    Haggkvist, R. A. & Chetwynd, A. G., 11/1992, In: Journal of Graph Theory. 16, 5, p. 503-516 14 p.

    Research output: Contribution to Journal/Magazine › Journal article

  10. Published

    Alternating Hamiltonian cycles in two coloured complete bipartite graphs.

    Chetwynd, A. G. & Hilton, A. J. W., 06/1992, In: Journal of Graph Theory. 16, 2, p. 153-158 6 p.

    Research output: Contribution to Journal/Magazine › Journal article

  11. Published

    An introduction to LOTOS through a worked example.

    Drayton, L. D., Chetwynd, A. G. & Blair, G. S., 03/1992, In: Computer Communications. 15, 2, p. 70-85 16 p.

    Research output: Contribution to Journal/Magazine › Journal article

  12. Published

    Contribution to discussion meeting on the future of honours degree courses in mathematics and statistics.

    Chetwynd, A. G. & Diggle, P. J., 1992, In: Journal of the Royal Statistical Society: Series A Statistics in Society. 155, p. 209-210 2 p.

    Research output: Contribution to Journal/Magazine › Journal article

  13. 1991
  14. Published

    Outline symmetric latin squares.

    Chetwynd, A. G. & Hilton, A. J. W., 10/12/1991, In: Discrete Mathematics. 97, 1-3, p. 101-117 17 p.

    Research output: Contribution to Journal/Magazine › Journal article

Previous 12 3 4 5 6 7 8 9 Next

Back to top