Home > Research > Information Systems Services > Publications & Outputs

Research

View graph of relations

Information Systems Services

1 - 10 out of 132Page size: 10
RSS feed of this list
  1. 1986
  2. Published

    Theory of electron trapping by micropores in tight-binding solids

    LAMBERT, C. J. & HUGHES, G. D., 10/10/1986, In: Journal of Physics C: Solid State Physics. 19, 28, p. L659-L665 7 p.

    Research output: Contribution to Journal/Magazine › Letter › peer-review

  3. 1990
  4. Published

    Critical dynamics of a dilute central force network with partial bond bending forces

    HUGHES, G. D., LAMBERT, C. J. & BURTON, D., 9/04/1990, In: Journal of Physics: Condensed Matter. 2, 14, p. 3399-3403 5 p.

    Research output: Contribution to Journal/Magazine › Letter › peer-review

  5. 1991
  6. Published

    Localization properties of fractons in percolating structures

    Lambert, C. & Hughes, G. D., 25/02/1991, In: Physical review letters. 66, 8, p. 1074-1077 4 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. 1992
  8. Published

    Controlling an intelligent excavator for autonomous digging in difficult ground.

    Seward, D. W., Bradley, D. A., Mann, J. E. & Goodwin, M. R., 1992, 9th international symposium on automation and robotics in construction. Tokyo

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

  9. 1993
  10. Published

    Artificial intelligence in the control and operation of construction plant - the autonomous robot excavator.

    Bradley, D. A., Seward, D. W., Mann, J. E. & Goodwin, M. R., 1993, In: Automation in Construction. 2, 3, p. 217-228 12 p.

    Research output: Contribution to Journal/Magazine › Journal article

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

  12. 1994
  13. 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

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

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

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

Previous 1 2 3 4 5 6 7 8 ...14 Next

Back to top