Home > Research > Researchers > Professor Amanda Chetwynd > Publications

Research

Professor Amanda Chetwynd

Emeritus

31 - 40 out of 86Page size: 10
RSS feed of this list
  1. 1992
  2. 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

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

  5. 1994
  6. Published

    A formal description technique supporting quality of service and media synchronisation.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of Cost 237 : multimedia transport and teleservices. Springer

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

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

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

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

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

  11. Published

    A formal description technique supporting expression of quality of service and media synchronization

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1/01/1994, Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings. Springer-Verlag, p. 145-167 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 882 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  12. 1995
  13. Published

    A cascade of numbers.

    Chetwynd, A. G. & Burn, B., 1995, London: Edward Arnold.

    Research output: Book/Report/Proceedings › Book

  14. Published

    Discrete mathematics.

    Chetwynd, A. G. & Diggle, P. J., 1995, London: Arnold. 209 p. (Modular mathematics)

    Research output: Book/Report/Proceedings › Book

Previous 1 2 3 4 5 6 7 8 9 Next

Back to top