Home > Research > Researchers > Professor Amanda Chetwynd > Publications

Professor Amanda Chetwynd

Emeritus

  1. 1998
  2. Published

    Formal specification of distributed multimedia systems.

    Blair, G. S., Blair, L., Bowman, H. & Chetwynd, A. G., 1998, UCL Press.

    Research output: Book/Report/ProceedingsBook

  3. Published

    On estimating the reduced second moment measure of a stationery spatial point process.

    Chetwynd, A. G. & Diggle, P., 1998, In: Australian Journal of Statistics. 40, 1, p. 11-15 5 p.

    Research output: Contribution to Journal/MagazineJournal article

  4. 1997
  5. Published

    Avoiding partial Latin squares and intricacy.

    Chetwynd, A. G. & Rhodes, S. J., 1/12/1997, In: Discrete Mathematics. 177, 1-3, p. 17-32 16 p.

    Research output: Contribution to Journal/MagazineJournal article

  6. Published

    Avoiding multiple entry arrays.

    Chetwynd, A. G. & Rhodes, S. J., 08/1997, In: Journal of Graph Theory. 25, 4, p. 257-266 10 p.

    Research output: Contribution to Journal/MagazineJournal article

  7. Published

    Electron microscopy and digital image analysis.

    Henderson, M. & Chetwynd, A. G., 1997, In: Today's Life Science. p. 22-29 8 p.

    Research output: Contribution to Journal/MagazineJournal article

  8. 1996
  9. Published

    Sucking patterns in breast fed babies.

    Young, B., Drewett, R., Chetwynd, A. G. & Diggle, P., 11/1996, In: Journal of Reproductive and Infant Psychology. 14, 4, p. 299-324 26 p.

    Research output: Contribution to Journal/MagazineJournal article

  10. Published

    An improvement of Hind's upper bound on the total chromatic number.

    Chetwynd, A. G. & Haggkvist, R. A., 06/1996, In: Combinatorics, Probability and Computing. 5, 2, p. 99-104 6 p.

    Research output: Contribution to Journal/MagazineJournal article

  11. Published

    Costing-Extending the Locative Logic Model of Networks.

    Banres, N., Blair, G. S., Lakas, A. & Chetwynd, A. G., 06/1996, 8th EuroMricro Workshop on Real-Time Systems.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  12. Published

    Specification and verification of real-time properties using LOTOS and SQTL

    Lakas, A., Blair, G. S. & Chetwynd, A., 22/03/1996, Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996. Association for Computing Machinery, Inc, p. 75-84 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  13. Published

    A formal approach to the design of QoS parameters in multimedia systems.

    Lakas, A., Blair, G. S. & Chetwynd, A. G., 1996, Proceedings of the 4th International Workshop on Quality of Service.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

Back to top