Home > Research > Researchers > Professor Gordon Blair > Publications

Professor Gordon Blair

Distinguished Professor, SCC Sustainability Lead

  1. 1996
  2. 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

  3. Published

    A programming model and system infrastructure for real-time synchronization in distributed multimedia systems

    Blair, G., Coulson, G., Papathomas, M., Robin, P., Stefani, J. B., Horn, F. & Hazard, L., 01/1996, In: IEEE Journal on Selected Areas in Communications. 14, 1, p. 249-263 15 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

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

  5. Published

    Extensions to ANSAware for advanced mobile applications

    Friday, A., Blair, G., Cheverst, K. & Davies, N., 1996.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paper

  6. Published

    Services to Support Consistency in Mobile Collaborative Applications

    Cheverst, K., Davies, N., Friday, A. & Blair, G. S., 1996, p. 27-34. 8 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  7. Published

    Specification of Stochastic Properties in Real-Time Systems.

    Lakas, A., Blair, G. S. & Chetwynd, A. G., 1996, Proceedings of the 11th UK Performance Engineering Workshop for Computer and Telecommunications Systems. Springer, p. 202-216 15 p.

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

  8. 1995
  9. Published

    Formal description of multimedia systems : an assessment of potential techniques.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 12/1995, In: Computer Communications. 18, 12, p. 964-977 14 p.

    Research output: Contribution to Journal/MagazineJournal article

  10. Published

    Formal specification and verification of multimedia systems in open distributed processing.

    Blair, L., Blair, G. S., Bowman, H. & Chetwynd, A. G., 30/09/1995, In: Computer Standards and Interfaces. 17, 5-6, p. 413-436 24 p.

    Research output: Contribution to Journal/MagazineJournal article

  11. Published

    Experiences of Using RM-ODP to Build Advanced Mobile Applications

    Davies, N., Blair, G. S., Cheverst, K. & Friday, A., 09/1995, In: Distributed Systems Engineering. 2, 3, p. 142-151 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  12. Published

    Supporting the real-time requirements of continuous media in open distributed-processing

    COULSON, G., Blair, G., STEFANI, J. B., HORN, F. & HAZARD, L., 07/1995, In: Computer Networks and ISDN Systems. 27, 8, p. 1231-1246 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Back to top