Home > Research > Information Systems Services > Publications & Outputs

Research

View graph of relations

Information Systems Services

1 - 25 out of 132Page size: 25
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

  17. 1995
  18. 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/Magazine › Journal article

  19. 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/Magazine › Journal article

  20. 1997
  21. Published

    How to generalise the task of annotation

    Fligelstone, S., Pacey, M. & Rayson, P., 01/1997, Corpus Annotation: Linguistic Information from Computer Text Corpora. Garside, R., Leech, G. & McEnery, A. (eds.). London: Longman, p. 122-136 15 p.

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

  22. 1998
  23. Published

    Formal specification of distributed multimedia systems.

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

    Research output: Book/Report/Proceedings › Book

  24. Published

    Implications of the apparent absence of maars in Viking Orbiter imagery.

    Mitchell, K. L. & Wilson, L., 1998, In: Lunar and Planetary Science. 29, 1589

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

  25. Published

    Tharsis Montes as stratovolcanoes? : 2. Lines of evidence for explosive volcanism in far-field deposits.

    Wilson, L., Head, J. W. & Mitchell, K. L., 1998, In: Lunar and Planetary Science. 29, 1125

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

  26. Published

    The Impact of Aspect-Oriented Programming on Formal Methods

    Blair, L. & Blair, G. S., 01/1998. 6 p.

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

  27. Published

    Supporting QoS over Heterogeneous Networks using RSVP and IPv6

    Race, N. J. P., Dunmore, M. & Shepherd, W., 25/09/1998, Proceedings of the 3rd International Distributed Conference (IDC '98) 'Technology Serving the Information Society'.

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

  28. Unpublished

    Network Modelling of Smoke Spread in Buildings

    Chandler, A., Cho, T. C., Leung Ming, L. J. & Graham, T. L., 11/1998, (Unpublished)

    Research output: Other contribution

  29. 1999
  30. Published

    Conceptual design and development of a navigation system for a mobile robot.

    Yavuz, H., Chandler, A., Bradshaw, A. & Seward, D. W., 1999, Proceedings of the 1999 Lancaster international workshop on engineering design: computer-aided conceptual design ’99 (CACD ’99). Bradshaw, A. & Counsell, J. M. (eds.). Windermere, p. 65-85 21 p.

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

  31. Published

    Consequences of adiabatic cooling within volcanic conduits on Earth and Mars.

    Mitchell, K. L., Wilson, L. & Wilson, C. J. N., 1999, In: Lunar and Planetary Science. 30, 1716

    Research output: Contribution to Journal/Magazine › Journal article

  32. Published

    Modelling explosive volcanic eruptions: a planetary perspective.

    Wilson, L., Head, J. W., Mitchell, K. L. & Cataldo, V., 1999, In: Transactions. 80, p. F1083-F1083

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

  33. Published

    The Role of Connectivity in Supporting Context-Sensitive Applications

    Cheverst, K., Davies, N., Mitchell, K. & Friday, A., 01/1999.

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

  34. Published

    Caches in the Air: Disseminating Information in the Guide System

    Davies, N., Cheverst, K., Mitchell, K. & Friday, A., 02/1999, p. 11-19. 9 p.

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

  35. Unpublished

    Composition in Multi-Paradigm Specification Techniques

    Blair, L. & Blair, G. S., 02/1999, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other

Previous 1 2 3 4 5 6 Next

Back to top