Home > Research > Information Systems Services > Publications & Outputs

Research

View graph of relations

Information Systems Services

1 - 100 out of 132Page size: 100
RSS feed of this list
Sort by: Type
  1. Chapter
  2. Published

    Service Design, New Media and Community Development

    Bury, S., Cheverst, K., Ishmael, J., Mitchell, K., Race, N., Rouncefield, M., Smith, P. & Taylor, N., 2011, Design for services. Meroni, A. & Sangiorgi, D. (eds.). Farnham: Gower, p. 125-130 6 p. (Design for social responsibility).

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

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

  4. Published

    Wireless Mesh Networks: Middleware for Network Eccentric and Mobile Applications

    Ishmael, J. & Race, N., 2009, Middleware for Network Eccentric and Mobile Applications. Garbinato, B., Miranda, H. & Rodrigues, L. (eds.). Springer Berlin Heidelberg, p. 149-166 18 p.

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

  5. Published

    MARE: resource discovery and configuration in ad hoc networks

    Storey, M., Blair, G. S. & Friday, A., 10/2002, ACM Mobile Networks & Applications Special Issue on Service, Device and Resource Discovery in Mobile Environments. 5 ed. ACM, Vol. 7. p. 377-388 12 p.

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

  6. Published

    Murder and serious sexual assault: what criminal histories can reveal about future serious offending. : Supplementary tables

    Soothill, K. L., Francis, B. J., Ackerley, E., Fligelstone, R. & Ranalli, G., 2002, Murder and serious sexual assault : what criminal histories can reveal about future serious offending. 144 ed. London: Home Office, (Police research series paper).

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

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

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

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

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

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

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

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

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

  15. Conference contribution/Paper
  16. Published

    Next generation satellite broadband enablers

    Ewald, N. L., Fairhurst, G., Race, N., Baker, T. & Skoutaridis, P., 1/10/2011, Telecom World (ITU WT), 2011 Technical Symposium at ITU. IEEE Publishing, p. 39-44 6 p.

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

  17. Published

    Multimodal QoE evaluation in P2P-based IPTV systems

    Mu, M., Ishmael, J., Mitchell, K., Race, N. & Mauthe, A., 2011, Proceedings of the 19th ACM international conference on Multimedia. New York, NY, USA: ACM, p. 1321-1324 4 p. (MM '11).

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

  18. Published

    User perception and requirements for future IPTV services: case studies from Finland and UK

    Oksman, V., Tammela, A., Mitchell, K., Ishmael, J., Rouncefield, M. & Race, N., 2010, Proceedings of the 8th international interactive conference on Interactive TV & Video. New York, NY, USA: ACM, p. 1-4 4 p. (EuroITV '10).

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

  19. Published

    MeshUp: reliably evolving a living lab

    Ishmael, J., Hugelshofer, F., Smith, P. & Race, N. J. P., 2010, Proceedings of the fifth ACM international workshop on Wireless network testbeds, experimental evaluation and characterization. New York, NY, USA: ACM, p. 23-30 8 p. (WiNTECH '10).

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

  20. Published

    TriggerTV: exploiting social user journeys within an interactive tv system

    Jones, A., Mitchell, K. & Race, N. J. P., 2010, Proceedings of the 20th international workshop on Network and operating systems support for digital audio and video: NOSSDAV '10. New York: ACM, p. 51-56 6 p.

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

  21. Published

    Social TV: toward content navigation using social awareness

    Mitchell, K., Jones, A., Ishmael, J. & Race, N. J. P., 2010, EuroITV '10 Proceedings of the 8th international interactive conference on Interactive TV&Video. New York, NY, USA: ACM, p. 283-292 10 p. (EuroITV '10).

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

  22. Published

    Reconciling community resource requirements in U-Nets

    Bury, S., Ishmael, J., Race, N. J. P., Rouncefield, M. & Smith, P., 2009, Proceedings of the 1st ACM workshop on User-provided networking: challenges and opportunities. New York, NY, USA: ACM, p. 19-24 6 p. (U-NET '09).

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

  23. Published

    OpenLIDS: a lightweight intrusion detection system for wireless mesh networks

    Hugelshofer, F., Smith, P., Hutchison, D. & Race, N. J. P., 2009, Proceedings of the 15th Annual International Conference on Mobile Computing and Networking (MobiCom 2009). New York: ACM, p. 309-320 12 p.

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

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

  25. Published

    Towards resilient community wireless mesh networks

    Bury, S. & Race, N. J. P., 07/2008, AIMS '08 Proceedings of the 2nd International Conference on Autonomous Infrastructure, Management and Security: Resilient Networks and Services. Springer-Verlag, p. 195-199 5 p. (Lecture Notes in Computer Science).

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

  26. Published

    Towards an Understanding of Security Concerns within Communities

    Bury, S., Ishmael, J., Race, N. J. P., Smith, P. & Rouncefield, M., 2008, Proceedings of the 2008 IEEE International Conference on Wireless Mobile Computing, Networking Communication. Washington, DC, USA: IEEE Computer Society, p. 478-483 6 p.

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

  27. Published

    A Case for Hybrid Content Distribution for Interactive Video-on-Demand

    MacQuire, A., Brampton, A., Race, N. J. P., Mathy, L. & Fry, M., 2008, Proceedings of the 2008 The Second International Conference on Next Generation Mobile Applications, Services, and Technologies. IEEE Computer Society, p. 556-561 6 p.

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

  28. Published

    Intrusion Detection Systems for Community Wireless Mesh Networks

    Makaroff, D., Smith, P., Race, N. J. P. & Hutchison, D., 2008, 5th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2008. MASS 2008. . IEEE, p. 610-616 7 p.

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

  29. Published

    Probing Communities: Study of a Village Photo Display

    Taylor, N., Cheverst, K., Fitton, D., Race, N. J. P., Rouncefield, M., Graham, C. & EPSRC (Funder), 11/2007, OZCHI '07 Proceedings of the 19th Australasian conference on Computer-Human Interaction: Entertaining User Interfaces. p. 17-24 8 p.

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

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

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

  32. Published

    Unified and Personalised Messaging to Support E-Learning

    Mitchell, K., Race, N. J. P., McCaffery, D., Bryson, M. & Zhen, C., 11/2006, Fourth IEEE International Workshop on Wireless, Mobile and Ubiquitous Technology in Education, 2006. WMUTE '06. . IEEE, p. 164-168 5 p.

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

  33. Published

    Authentication in stealth distributed hash tables

    MacQuire, A., Brampton, A., Rai, I., Race, N. J. P. & Mathy, L., 28/08/2006, 32nd Euromicro Conference on Software Engineering and Advanced Applications, 2006. IEEE, p. 348-355 8 p.

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

  34. Published

    Localised Ad Hoc Address Autoconfiguration via Clustering in Nomadic As Hoc Networks

    Metaxas, G., Hutchison, D. & Race, N. J. P., 08/2006, Proceedings of International Conference of Wireless Information Networks and Systems (WinSys ’06).

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

  35. Published

    Routing challenges: Peer to peer applications on a community mesh network

    Ishmael, J. & Race, N. J. P., 08/2006, First International Workshop on "Wireless mesh: moving towards applications" (WiMeshNets).

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

  36. Published

    Oi: capturing user attention within pervasive display environments

    Mitchell, K. & Race, N. J. P., 05/2006, Proceedings of Workshop on Pervasive Mobile Interaction Devices - Mobile Devices as Pervasive User Interfaces and Interaction Devices (PERMID’06).

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

  37. Published

    iCapture: Facilitating Spontaneous User-Interaction with Pervasive Displays using Smart Devices

    Mitchell, K., Race, N. J. P. & Suggitt, M., 05/2006, Proceedings of Workshop on Pervasive Mobile Interaction Devices - Mobile Devices as Pervasive User Interfaces and Interaction Devices (PERMID’06).

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

  38. Published

    On the Effects of Loose Causal Consistency in Mobile Multiplayer Games

    Chandler, A. & Finney, J., 10/2005, Proceedings of 4th ACM SIGCOMM workshop on Network and system support for games. ACM, p. 1-11 1 p.

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

  39. Published

    CANVIS: context-aware network visualisation using smartphones

    Race, N., Clarke, M. & Mitchell, K., 19/09/2005, Proceedings of the 7th international conference on Human computer interaction with mobile devices & services (MobileHCI 2005). New York: ACM, p. 175-182 8 p.

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

  40. Published

    Swarm: a multimedia delivery network for highly dynamic networking environments

    Denney, J. & Race, N. J. P., 01/2005, Multimedia computing and networking 2005 : 19-20 January, 2005, San Jose, California, USA. Chandra, S. & Venkatasubramanian, N. (eds.). Bellingham, Wash.: SPIE--The International Society for Optical Engineering, p. 38-52 15 p. (Proceedings of SPIE--the International Society for Optical Engineering; vol. 5680).

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

  41. Published

    uLearn: facilitating ubiquitous learning through camera equipped mobile phones

    Mitchell, K., Race, N. J. P. & Clarke, M., 01/2005, IEEE International Workshop on Wireless and Mobile Technologies in Education, 2005. WMTE 2005. . IEEE Press, 8 p.

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

  42. Published

    Rendezvous: An Alternative Approach to Conflict Resolution for Real time Multi-user

    Chandler, A. & Finney, J., 01/2005, Proceeding PDP '05 Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing.

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

  43. Published

    Content Distribution Networks and End-to-End Quality of Service Guarantees

    Race, N. & Eccles, S., 12/2004, Proceedings of the Broadband Europe Conference (BBEurope 2004).

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

  44. Published

    Visawin: visualising a wireless network

    Ishmael, J. & Race, N. J. P., 1/05/2004, Proceedings of the Vehicular Technology Conference (VTC 2004). IEEE Publishing, Vol. 5. p. 2623-2626 4 p.

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

  45. Published

    Dynamic system adaptation in a wireless-aware media streaming architecture

    Denney, J. & Race, N. J. P., 03/2004, Proceedings of the IEEE 3rd International Conference on Networking (ICN’04).

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

  46. Published

    On Demand Network Level Service Deployment in Ad-Hoc Networks

    Prince, D., Scott, A. & Shepherd, W., 09/2003, Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings. Conti, M., Giordano, S., Gregori, E. & Olariu, S. (eds.). Berlin: Springer, p. 817-822 6 p. (Lecture Notes in Computer Science; vol. 2775).

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

  47. Published

    Towards scalable and affordable content distribution services

    Plagemann, T., Goebel, V., Mathy, L., Race, N., Zink, M., Griwodz, C. & Halvorsen, P., 06/2003, Proceedings of the 7th International Conference on Telecommunications (ConTEL 2003) . IEEE Publishing, Vol. 1. p. 307-313 7 p.

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

  48. Published

    The impact of wireless device access on content delivery networks

    Denney, J. & Race, N., 2003, Interactive multimedia on next generation networks: first international workshop on multimedia interactive protocols and systems, MIPS 2003, Naples, Italy, November 18-21, 2003. Proceedings. Ventre, G. & Canonico, R. (eds.). Berlin: Springer Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science; vol. 2899).

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

  49. Published

    Digging into Concurrency

    Chandler, A., Patching, S. & Blair, L., 2002, Concurrency in Dependable Computing. Ezhilchelvan, P. & Romanovsky, A. (eds.). Boston, Mass.: Kluwer Academic Publishers

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

  50. Published

    A dynamic RAM cache for high quality distributed video

    Race, N. J. P., Waddington, D. & Shepherd, W., 10/2000, Proceedings of the 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS '00). Scholten, H. & Sinderen, M. V. (eds.). London: Springer Verlag, p. 26-39 14 p.

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

  51. Published

    An experimental dynamic RAM video cache

    Race, N. J. P., Waddington, D. & Shepherd, W., 06/2000, Proceedings of Network and Operating Systems Support for Digital Audio and Video (NOSSDAV 2000). Jeffay, K. & Vin, H. (eds.).

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

  52. Published

    The hybrid edge device concept and implementation in the PETERPAN network architecture: a proposal for IP QoS provisioning on ATM networks

    Ciulli, N., Giordano, S., Casaca, A., Silva, P., Dunmore, M. & Race, N., 24/05/1999, Proceedings of IEEE ATM Workshop '99. Kochi, Japan : IEEE Publishing, p. 57-62 6 p.

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

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

  54. Other chapter contribution
  55. Published

    Mobile IPv6 in 3G wireless networks

    Denney, J. & Race, N. J. P., 06/2002, Proceedings of the Third Annual Network Symposium (PGNet2002).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Other chapter contribution

  56. Conference paper
  57. Published

    Digital resources and their role in advanced service provision: Spring Servitization Conference SSC2015

    Schroeder, A., Kotlarsky, J., Baines, T. (ed.) & Harrison, D. K. (ed.), 18/05/2015. 8 p.

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

  58. Published

    Building a rural community mesh network

    Ishmael, J. & Race, N. J. P., 12/2006. 0 p.

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

  59. Published

    If you build it, they will come

    Mitchell, K., Race, N. J. P. & Forde, B., 05/2005. 0 p.

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

  60. Published

    Mobile context-aware game for the next generation

    Wu, M., Mitchell, K., McCaffery, D., Finney, J. & Friday, A., 01/2003, p. 74-81. 8 p.

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

  61. Published

    Toward an efficient solution for dynamic ad hoc network interoperability

    Prince, D., Scott, A. & Shepherd, D., 17/06/2002. 0 p.

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

  62. Published

    Multimedia Caching - An Overview

    Kara, H., Edwards, C. & Race, N. J. P., 06/2002. 0 p.

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

  63. Published

    Experiences of Developing and Deploying a Context-Aware Tourist Guide: The GUIDE Project

    Cheverst, K., Davies, N., Mitchell, K. & Friday, A., 08/2000, p. 20-31. 12 p.

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

  64. Published

    Sharing (location) context to facilitate collaboration between city visitors

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

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

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

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

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

  68. Poster
  69. 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

  70. Other
  71. Unpublished

    Rendezvous: the case for a highly optimistic real-time consistency mechanism

    Chandler, A. & Finney, J., 12/2004, (Unpublished).

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

  72. Published

    Active Routers in Action: Evaluation of the LARA++ Active Router Architecture in a Real-Life Network.

    Scott, A. C., Chart, T., Schmid, S. & Sifalakis, M., 10/12/2003, p. 215-227. 13 p.

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

  73. Unpublished

    Grobner Bases as a Tool for Petri Net Analysis

    Chandler, A. & Heyworth, A., 07/2001, (Unpublished).

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

  74. Unpublished

    Feature Interactions Life Beyond Traditional Telephony

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

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

  75. Unpublished

    Testing Petri Nets for Mobile Robots Using Groebner Bases

    Chandler, A., Blair, L., Heyworth, A. & Seward, D., 01/2000, (Unpublished).

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

  76. Unpublished

    From Design to Execution of a Mechatronic System

    Chandler, A., Seward, D. & Chaplin, R., 01/2000, (Unpublished).

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

  77. Unpublished

    Composition in Multi-Paradigm Specification Techniques

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

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

  78. Doctoral Thesis
  79. Unpublished

    Support for video distribution through multimedia caching

    Race, N. J. P., 01/2000, (Unpublished) Lancaster University.

    Research output: Thesis › Doctoral Thesis

  80. Unpublished

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

    Chandler, A., Yavuz, H., Bradshaw, A. & Seward, D., 05/1999, (Unpublished) Lancaster University.

    Research output: Thesis › Doctoral Thesis

  81. Other contribution
  82. Unpublished

    Active routers in action: evaluation of the LARA++, active router architecture in a real-life network

    Schmid, S., Sifalakis, M., Scott, A. & Chart, T., 12/2003, (Unpublished)

    Research output: Other contribution

  83. Unpublished

    A generic active service deployment protocol

    Sifalakis, M., Schmid, S., Hutchison, D. & Chart, T., 05/2003, (Unpublished)

    Research output: Other contribution

  84. Unpublished

    Mobile-IPv6 and IPv6 Implementations for Microsoft Windows.

    Scott, A. C., Chart, T., Finney, J. & Schmid, S., 4/12/2002, (Unpublished) Microsoft UK.

    Research output: Other contribution

  85. Published

    Murder and serious sexual assault: what criminal histories can reveal about future serious offending.

    Soothill, K. L., Francis, B., Ackerley, E. & Fligelstone, R., 1/01/2002, London : Home Office.

    Research output: Other contribution

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

  87. Unpublished

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

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

    Research output: Other contribution

  88. Published

    Design of an Object Model for a Context-Sensitive Tourist Guide

    Cheverst, K., Davies, N., Mitchell, K. & Friday, A., 11/1999, Computers & Graphics : Elsevier Science Ltd.

    Research output: Other contribution

  89. Unpublished

    A Tool Suite to Support Aspect-Oriented Specification

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

    Research output: Other contribution

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

  91. Journal article
  92. Published

    Social care in prison: Emerging practice arrangements consequent upon the introduction of the Care Act 2014

    Tucker, S., Hargreaves, C., Roberts, A., Anderson, I., shaw, J. & Challis, D., 27/10/2017, In: The British Journal of Social Work. 48, 6, p. 1627-1644

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

  93. Published

    Evaluating the use of lecture capture using a revealed preference approach

    Elliott, C. F. & Neal, D., 07/2016, In: Active Learning in Higher Education. 17, 2, p. 153-167 15 p.

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

  94. Published

    Social TV: The impact of social awareness on content navigation within IPTV systems

    Mitchell, K., Jones, A., Ishmael, J. & Race, N. J. P., 1/11/2011, In: Computers in Entertainment (CIE). 9, 3, 29 p., 19.

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

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

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

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

  98. Published

    Designing for social interaction with mundane technologies: issues of security and trust

    Bury, S., Ishmael, J., Race, N. J. P. & Smith, P., 04/2010, In: Personal and Ubiquitous Computing. 14, 3, p. 227-236 10 p.

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

  99. Published

    Do negative cognitive style and personality predict depression symptoms and functional outcomes in severe bipolar and unipolar disorders?

    Jones, S. H., Twiss, J. & Anderson, I. M., 12/2009, In: International Journal of Cognitive Therapy. 2, 4, p. 343-353 11 p.

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

  100. Published

    Retrenching Incapacity Benefit : Employment Support Allowance and paid work.

    Piggott, L. A. & Grover, C., 04/2009, In: Social Policy and Society. 8, 2, p. 159-170 12 p.

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

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

  102. Published

    Validation of the mood disorder questionnaire for screening for bipolar disorder in a UK sample.

    Twiss, J., Jones, S. H. & Anderson, I., 09/2008, In: Journal of Affective Disorders. 110, 1-2, p. 180-184 5 p.

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

  103. Published

    Deploying rural community wireless mesh networks

    Ishmael, J., Bury, S., Pezaros, D. & Race, N., 07/2008, In: IEEE Internet Computing. 12, 4, p. 22-29 8 p.

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

  104. Published

    Authentication in stealth distributed hash tables

    MacQuire, A., Brampton, A., Rai, I. A., Race, N. J. P. & Mathy, L., 06/2008, In: Journal of Systems Architecture. 54, 6, p. 607 - 618 12 p.

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

  105. Published

    Managerialism and equalities: tensions within widening access policy and practice for disabled students in UK universities.

    Piggott, L. A., Fuller, M., Riddell, S. & Weedon, E., 10/2007, In: Higher Education. 54, 4, p. online

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

  106. Published

    Disability and transitions from education to work

    Piggott, L. A. & Houghton, A., 7/09/2007, In: International Journal of Lifelong Education. 26, 5, p. 573-587 15 p.

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

  107. Published

    An unsuspected ecdysteroid/steroid phosphatase activity in the key T-cell regulator, Sts-1: Surprising relationship to insect ecdysteroid phosphate phosphatase

    Davies, L., Anderson, I. P., Turner, P. C., Shirras, A. D., Rees, H. H. & Rigden, D. J., 15/04/2007, In: Proteins: Structure, Function, and Bioinformatics. 67, 3, p. 720-731 12 p.

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

  108. Published

    Eruption of ammonia-water cryomagmas on Titan 2: eruption styles and landforms

    Mitchell, K. L., Lopes, R. M. C., Robshaw, L. E., Kargel, J. S., Lunine, J., Lorenz, R., Petford, N., Stofan, E., Wilson, L. & Cassini Radar Science Team, T., 2006, In: Lunar and Planetary Science. 37

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

  109. Published

    Eruption of ammonia-water cryomagmas on Titan 1: crystallisation and cooling during ascent

    Mitchell, K. L., Kargel, J. S., Lopes, R. M. C., Lunine, J., Mitri, G., Lorenz, R., Petford, N. & Wilson, L., 2006, In: Lunar and Planetary Science. 37

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

Previous 1 2 Next

Back to top