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

    Test strategies for electrode degradation in bio-fluidic microsystems.

    Al-Gayem, Q., Honguan, L., Richardson, A. & Burd, N., 02/2011, In: Journal of Electronic Testing. 27, 1, p. 57-68 12 p.

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

  2. Published

    An on-line monitoring technique for electrode degradation in bio-fluidic microsystems.

    Al-Gayem, Q., Liu, H., Richardson, A. M. D., Burd, N. & Kumar, M., 10/2010, Proceedings of the 2010 IEEE International Test Conference (ITC). Austin, Texas: IEEE, p. 1-10 10 p.

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

  3. Published

    An oscillation-based technique for degradation monitoring of sensing and actuation electrodes within microfluidic systems.

    Al-Gayem, Q., Richardson, A., Liu, H. & Burd, N., 02/2011, In: Journal of Electronic Testing. 27, 3, p. 375-387 13 p.

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

  4. Published

    Built-in Test Solutions for the Electrode Structures in Bio-Fluidic Microsystems

    Al-Gayem, Q., Liu, H., Richardson, A. & Burd, N., 2009, ETS 2009: EUROPEAN TEST SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 73-78 6 p.

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

  5. Published

    Network virtualization in energy-efficient office environments

    Berl, A., Race, N., Ishmael, J. & de Meer, H., 15/11/2010, In: Computer Networks. 54, 16, p. 2856-2868 13 p.

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

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

  7. Unpublished

    Composition in Multi-Paradigm Specification Techniques

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

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

  8. Unpublished

    A Tool Suite to Support Aspect-Oriented Specification

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

    Research output: Other contribution

  9. Unpublished

    The Role of Temporal Logic and Time Automata in Distributed Multimedia Systems

    Blair, L., 11/1999, (Unpublished)

    Research output: Other contribution

  10. Unpublished

    Supporting Dynamic QoS Management Functions in a Reflective Middleware Platform

    Blair, G. S., Blair, L., Coulson, G., Andersen, A. & Sanchez, D., 02/2000, (Unpublished) In: IEE Proceedings - Software. 147, 1, p. 13-21 9 p.

    Research output: Contribution to Journal/Magazine › Journal article

  11. Unpublished

    Feature Interactions Life Beyond Traditional Telephony

    Blair, L. & Pang, J., 05/2000, (Unpublished).

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

  12. Unpublished

    A Formal View of Aspects in the Development of Component-Based Distributed Systems

    Blair, G. S., Blair, L. & Andersen, A., 09/2000, (Unpublished)

    Research output: Other contribution

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

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

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

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

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

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

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

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

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

  22. Published

    Characterising and exploiting workloads of highly interactive video-on-demand

    Brampton, A., MacQuire, A., Fry, M., Rai, I., Race, N. J. P. & Mathy, L., 1/02/2009, In: Multimedia Systems. 15, 1, p. 3-17 15 p.

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

  23. Published

    Stealth distributed hash table: a robust and flexible super-peered DHT

    Brampton, A., MacQuire, A., Rai, I., Race, N. J. P. & Mathy, L., 12/2006, Proceedings of the 2006 ACM CoNEXT conference. ACM

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

  24. Published

    Characterising User Interactivity for Sports Video-on-Demand

    Brampton, A., MacQuire, A., Rai, I., Race, N. J. P., Mathy, L. & Fry, M., 06/2007, 17th International Workshop on Network and Operating Systems Support for Digital Audio & Video (NOSSDAV’07).

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

  25. Published

    Stealth Distributed Hash Table: Unleashing the Real Potential of Peer-to-Peer

    Brampton, A., MacQuire, A., Rai, I., Race, N. J. P. & Mathy, L., 10/2005, p. 230 - 231 . 0 p.

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

Previous 1 2 3 4 5 6 Next

Back to top