Home > Research > Computing and Communications > Publications & Outputs

Research

View graph of relations

Computing and Communications

9511 - 9520 out of 10,611Page size: 10
RSS feed of this list
  1. 2000
  2. Published

    Specification and analysis of automata-based designs

    Bryans, J., Blair, L., Bowman, H. & Derrick, J., 1/12/2000, Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings. Springer, p. 176-193 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1945 LNCS).

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

  3. Published

    Stochastically enhanced timed automata

    Blair, L., Jones, T. & Blair, G., 1/12/2000, Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000. p. 327-347 21 p. (IFIP Advances in Information and Communication Technology; vol. 49 AICT).

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

  4. Published

    Adding Some Smartness to Devices and Everyday Things

    Gellersen, H., Schmidt, A. & Beigl, M., 12/2000.

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

  5. Unpublished

    Big Brother

    Dix, A., 12/2000, (Unpublished) In: Sigchi Bulletin . 32, 5

    Research output: Contribution to Journal/Magazine › Journal article

  6. Published

    Epilithic algal communities and their relationship to environmental variables in lakes of the English Lake District.

    King, L., Barker, P. & Jones, R. I., 12/2000, In: Freshwater Biology. 45, 4, p. 425-442 18 p.

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

  7. Published

    High-speed Decoding of Extended Golay Code.

    Boyarinov, I., Martin, I. & Honary, B., 12/2000, In: IEE Proceedings - Communications. 147, 6, p. 333-336 4 p.

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

  8. Unpublished

    IEE Proceedings Software

    Kotonya, G. & Maiden, N., 12/2000, (Unpublished) Unknown Publisher.

    Research output: Book/Report/Proceedings › Book

  9. Published

    Look Who's Visiting Supporting Visitor Awareness in the Web

    Gellersen, H. & Schmidt, A., 12/2000, In: International Journal of Human-Computer Studies. 56, 1, p. 25-46 22 p.

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

  10. Unpublished

    Resource Configuration in Ad-Hoc Networks: The MARE Approach

    Blair, G. S., 12/2000, (Unpublished)

    Research output: Other contribution

  11. Unpublished

    Structuring for Extensibility - Adapting the Past to Fit the Future

    Blair, G. S., Coulson, G., Fitzpatrick, T., Gallop, J., Cooper, C., Johnson, I. & Duce, D., 12/2000, (Unpublished)

    Research output: Other contribution

Previous 1...948 949 950 951 952 953 954 955 ...1062 Next

Back to top