University of Hertfordshire

Publications

  1. 1999
  2. Individual cognitive style and performance in a multimedia learning application

    Barker, T., Jones, S., Britton, C. & Messer, D. J., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 323)

    Research output: Book/ReportOther report

  3. Investigation into the effect of language on performance in a multimedia food studies application

    Barker, T., Jones, S. & Britton, C., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 324)

    Research output: Book/ReportOther report

  4. Merkle puzzles revisited - finding matching elements between lists

    Christianson, B. & Wheeler, D., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 336)

    Research output: Book/ReportOther report

  5. Modelling protein interaction in CCS

    Baillie, J., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 331)

    Research output: Book/ReportOther report

  6. On the representation of time in interaction

    Kutar, M., Britton, C. & Jones, S., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 326)

    Research output: Book/ReportOther report

  7. Register bypassing in an asynchronous superscalar processor

    Davies, S. J., Elston, C. J. & Findlay, P., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 328)

    Research output: Book/ReportOther report

  8. Report of a pilot study of individually configurable multimedia learning prototypes in the development of a co-operative student model of learner characteristics

    Barker, T., Jones, S., Britton, C. & Messer, D. J., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 338)

    Research output: Book/ReportOther report

  9. Speedy services : time, usability and E-Commerce

    Kutar, M., Britton, C. & Jones, S., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 337)

    Research output: Book/ReportOther report

  10. Temporal requirements and the human computer interface : not just an afterthought

    Kutar, M., Britton, C. & Jones, S., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 334)

    Research output: Book/ReportOther report

  11. The DELPHI method as a consensus and knowledge acquisition tool for the evaluation of the DIABETES system for insulin administration

    Ambrosiadou, B. V. & Goulis, D. G., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 332)

    Research output: Book/ReportOther report

  12. The role of expectancies in the placebo effect and their use in the delivery of health care: a systematic review

    Crow, R., Gage, H., Hampson, S., Hart, J., Kimber, A. & Thomas, H., 1999, NCCHTA. 96 p. (Health Technology Assessment Review; vol. 3, no. 3)

    Research output: Book/ReportOther report

  13. The use of a student model in a multimedia application to configure learning

    Barker, T., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 339)

    Research output: Book/ReportOther report

  14. Time in specifications : what exactly are we trying to specify?

    Kutar, M., Britton, C. & Jones, S., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 329)

    Research output: Book/ReportOther report

  15. Trust requirements in E-Business : a conceptual framework

    Jones, S., Wilikens, M., Morris, P. & Masera, M., 1999, University of Hertfordshire. (UH Computer Science Technical Report; vol. 335)

    Research output: Book/ReportOther report

  16. 1998
  17. A comparison of timed CSP and time basic nets for the specification of time constraints

    Kutar, M., 1998, University of Hertfordshire. (UH Computer Science technical Report; vol. 311)

    Research output: Book/ReportOther report

  18. A first programming language for information systems students

    Jefferies, A. & Britton, C., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 312)

    Research output: Book/ReportOther report

  19. An introduction to the Hatfield Superscalar Scheduler

    Steven, F. L., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 316)

    Research output: Book/ReportOther report

  20. Developing the Hatfield Superscalar architecture cache simulator

    Tate, D., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 318)

    Research output: Book/ReportOther report

  21. Evaluating formal specifications : a cognitive approach

    Vinter, R. J., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 320)

    Research output: Book/ReportOther report

  22. Evolution of developmental ontogeny for robustly reproducible phenotypes

    Rust, A. G., Adams, R. G., George, S. & Bolouri, H., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 317)

    Research output: Book/ReportOther report

  23. Evolution of language structure : survival of the fittest in a statistical environment

    Lyon, C., 1998, University of Hertfordshire.

    Research output: Book/ReportOther report

  24. Implementing business process & information systems, reengineering in Sri-Lanka : identifying critical success factors

    Weerakkody, V., Bennett, J. & Tagg, C., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 313)

    Research output: Book/ReportOther report

  25. Snakes and their influence on visual processing

    Tabb, K. & George, S., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 309)

    Research output: Book/ReportOther report

  26. The impact of a realistic cache structure on a high performance Superscalar architecture

    Tate, D., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 319)

    Research output: Book/ReportOther report

  27. The right stuff : appropriate mathematics for evolution and development biology

    Nehaniv, C. L. & Wagner, G. P., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 315)

    Research output: Book/ReportOther report

  28. The untrained eye : how languages for software specification support understanding in untrained users

    Britton, C. & Jones, S., 1998, University of Hertfordshire. (UH Computer Science Technical Report; vol. 321)

    Research output: Book/ReportOther report

  29. 1997
  30. A graphical representation for communicating sequential processes

    Kutar, M., Britton, C. & Jones, S., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 164)

    Research output: Book/ReportOther report

  31. A study of disjunctive and conjunctive reasoning in formal logic

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 298)

    Research output: Book/ReportOther report

  32. Abstract process definitions in CSP- A case study

    Taylor, P. N., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 283)

    Research output: Book/ReportOther report

  33. Assessment of the use of computer assisted learning (CAL) and multimedia in Kuwaiti Higher Education

    Al-hunaiyyan, A., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 294)

    Research output: Book/ReportOther report

  34. B-CCD: a framework to enable SMEs to make business-critical computing decisions

    Bennett, J., Berenbaum, R., Hinton, P., Tagg, C. & Ward, B. K., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 273)

    Research output: Book/ReportOther report

  35. Binding bit patterns to real world entities

    Christianson, B. & Malcolm, J., 1997, University of Hertfordshire. (UH Computer Science technical Report; vol. 306)

    Research output: Book/ReportOther report

  36. Community Care: Policy and Practice

    Young, K. R., 1997, London: South Bank University.

    Research output: Book/ReportOther report

  37. Concrete examples (using CSP) of process algebra templates and their children

    Taylor, P. N., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 280)

    Research output: Book/ReportOther report

  38. Concrete examples for templates and their children

    Taylor, P. N., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 279)

    Research output: Book/ReportOther report

  39. Conditional reasoning in language and logic : transfer of non-logical heuristics?

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 276)

    Research output: Book/ReportOther report

  40. Creating multimedia learning applications in a further education environment

    Barker, T., Jones, S., Britton, C. & Messer, D. J., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 271)

    Research output: Book/ReportOther report

  41. Designing a public access information system in a new domain

    Jones, S. & Hewitt, J., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 274)

    Research output: Book/ReportOther report

  42. Evaluating parsing schemes with entropy indicators

    Lyon, C., 1997, University of Hertfordshire. (UH Computer Science Technical Reports; vol. 275)

    Research output: Book/ReportOther report

  43. Exploiting BP & ISR in the Sri Lankan contect: an action research project

    Weerakkody, V., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 300)

    Research output: Book/ReportOther report

  44. Identifying the requirements for a tool to support the adoption of SSM within business systems analysis and design

    Pascoulis, C., 1997, University of Hertfordshire. (UH Computer Science Technical Reports; vol. 277)

    Research output: Book/ReportOther report

  45. Measuring human inferential complexity in formal specifications : a predictive model for the Z notation

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 304)

    Research output: Book/ReportOther report

  46. Needs Assessment and Community Care Provision

    Young, K. R., 1997, South Bank University.

    Research output: Book/ReportOther report

  47. Quantified reasoning in formal specification : transfer of everyday errors and biases?

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 299)

    Research output: Book/ReportOther report

  48. Research issues associated with process algebras and the object-orientated paradigm

    Taylor, P. N., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 281)

    Research output: Book/ReportOther report

  49. Resilient process theory (RsPT)

    Taylor, P. N., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 282)

    Research output: Book/ReportOther report

  50. Structural invariance, structural definability and the Galois theory of elementarily invariant structures

    Broido, J., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 272)

    Research output: Book/ReportOther report

  51. Teaching information systems at undergraduate level: a viewpoint

    Hinton, P., Jefferies, A. & Bennett, J., 1997, University of Hertfordshire. (UH Computer Science technical Reports; vol. 270)

    Research output: Book/ReportOther report

  52. The creation of task-based differentiated learning materials for students with learning difficulties and/or disabilities

    Barker, T., Jones, S. & Britton, C., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 285)

    Research output: Book/ReportOther report

  53. The development and application of multimedia in learning: a survey of literature

    Barker, T., Jones, S., Britton, C. & Messer, D. J., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 297)

    Research output: Book/ReportOther report

  54. The evaluation of: Encarta 97. A multimedia learning package

    Al-hunaiyyan, A., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 296)

    Research output: Book/ReportOther report

  55. The impact of multimedia tutorial on students' learning experience in the public authority for applied education and trainng, Kuwait

    Al-hunaiyyan, A., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 295)

    Research output: Book/ReportOther report

  56. The untrained eye : what makes a representation easy for novice readers to understand?

    Britton, C. & Jones, S., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 308)

    Research output: Book/ReportOther report

  57. Towards a framework for selecting notations for modelling requirements

    Jones, S., Britton, C. & Lam, W., 1997, University of Hertfordshire. (UH Computer Technical Report; vol. 307)

    Research output: Book/ReportOther report

  58. Use of case-based reasoning in the context-specific selection of notations for requirements specification

    Jones, S., Shankararaman, V. & Britton, C., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 310)

    Research output: Book/ReportOther report

  59. Using multimedia case study material for teaching requirements engineering

    Jones, S. & Britton, C., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 247)

    Research output: Book/ReportOther report

  60. Which properties make a modelling notation easy for untrained users to understand?

    Britton, C. & Jones, S., 1997, University of Hertfordshire. (UH Computer Science Technical Report; vol. 284)

    Research output: Book/ReportOther report

  61. 1996
  62. Oilseed rape: disease development, forecasting and yield loss relationships

    Sansford, C. E., Fitt, B. D. L., Gladders, P., Lockley, K. D. & Sutherland, K. G., Feb 1996, HGCA. (HGCA Project Report; no. OS17)

    Research output: Book/ReportOther report

  63. A frame work for business process & information systems reengineering (BP&ISR)

    Weerakkody, J., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 263)

    Research output: Book/ReportOther report

  64. A joint authorisation scheme

    Low, M. R., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 268)

    Research output: Book/ReportOther report

  65. A new notation for modelling multimedia systems with three case studies

    Britton, C., Jones, S., Myers, M. & Sharif, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 260)

    Research output: Book/ReportOther report

  66. A review of twenty formal specification notations

    Vinter, R. J., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 240)

    Research output: Book/ReportOther report

  67. A survey of tools for modelling multimedia systems

    Britton, C., Jones, S., Myers, M. & Sharif, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 259)

    Research output: Book/ReportOther report

  68. An introduction to the Hatfield superscalar architecture

    Steven, G. B., Christianson, B., Collins, R., Potter, R. & Steven, F. L., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 253)

    Research output: Book/ReportOther report

  69. An investigation into the measurement of notations used in software modelling

    Britton, C., Jones, S., Myers, M. & Sharif, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 257)

    Research output: Book/ReportOther report

  70. Artificial evolution: modelling the development of the retina

    Rust, A. G., Adams, R. G., George, S. & Bolouri, H., 1996, University of Hertfordshire. (UH Computer Science technical Report; vol. 255)

    Research output: Book/ReportOther report

  71. BP&ISR: an analysis of factors in the Sri Lankan context

    Weerakkody, V., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 251)

    Research output: Book/ReportOther report

  72. Developmental artificial neural networks for shape recognition: a model of the retina

    Rust, A. G., George, S., Bolouri, H. & Adams, R. G., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 243)

    Research output: Book/ReportOther report

  73. Developmental neural networks for shape recognition: motivation and review

    Rust, A. G. & Bolouri, H., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 241)

    Research output: Book/ReportOther report

  74. Discretionary non-repudiation

    Low, M. R., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 267)

    Research output: Book/ReportOther report

  75. Expressing a policy

    Low, M. R., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 266)

    Research output: Book/ReportOther report

  76. Formal methods: no cure for faulty reasoning

    Loomes, M. & Vinter, R. J., 1996, University of Hertfordshire. (UH Computer Science Report; vol. 265)

    Research output: Book/ReportOther report

  77. Instruction scheduling for a superscalar architecture

    Collins, R. & Steven, G. B., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 248)

    Research output: Book/ReportOther report

  78. Investigating the limits of instruction level parallelism

    Potter, R., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 245)

    Research output: Book/ReportOther report

  79. Key issues for successful exploitation of BP&ISR in Sri Lanka

    Weerakkody, J., Bennett, J. & Tagg, C., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 261)

    Research output: Book/ReportOther report

  80. Notations for modelling multimedia systems

    Britton, C., Jones, S., Myers, M. & Sharif, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 256)

    Research output: Book/ReportOther report

  81. Reasoning about formal software specifications : an initial investigation

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 249)

    Research output: Book/ReportOther report

  82. Seven lesser known myths of formal methods : uncovering the psychology of formal specification

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 250)

    Research output: Book/ReportOther report

  83. Teaching client server computing to undergraduates and postgraduates

    Malcolm, J. & Hu, P., 1996, University of Hertfordshire. (UH Computer Science Technical Reports; vol. 239)

    Research output: Book/ReportOther report

  84. The problem area of invoice matching at Neon Electrical- a case study of SSM in business systems analysis and design

    Pascoulis, C., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 254)

    Research output: Book/ReportOther report

  85. The special requirements of multimedia systems: how to choose the most effective modelling notations

    Britton, C., Jones, S., Myers, M. & Sharif, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 244)

    Research output: Book/ReportOther report

  86. Transfer of non-logical tendencies to formal reasoning

    Vinter, R. J., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 252)

    Research output: Book/ReportOther report

  87. Using single layer networks for discrete, sequential data: an example from natural language processing. [extended version]

    Lyon, C., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 242)

    Research output: Book/ReportOther report

  88. WISE (world wide integrated software engineering): a summary of work in progress

    Sapsford-Francis, J., Jones, S. & Brabrook-Norman, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 269)

    Research output: Book/ReportOther report

  89. 1995
  90. A brief history of time (before and after objects) - from a perspective of process algebras

    Taylor, P. N., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 238)

    Research output: Book/ReportOther report

  91. A technique for clarifying the implementation of relationships between objects to enhance software reuse

    Mayes, J. A., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 226)

    Research output: Book/ReportOther report

  92. Applications of neural networks in telecommunications

    Field, S., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 219)

    Research output: Book/ReportOther report

  93. Authentication v Certification

    Low, M. R. & Christianson, B., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 216)

    Research output: Book/ReportOther report

  94. BPR - a UK case study

    Weerakkody, V., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 230)

    Research output: Book/ReportOther report

  95. Bridging the gap between business process reeingineering and information systems: identifying key issues

    Weerakkody, J., Tagg, C. & Bennett, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 262)

    Research output: Book/ReportOther report

  96. Case study - an information systems strategy: development and evolution at the University of Hertfordshire

    Bennett, J. & Hinton, P., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 221)

    Research output: Book/ReportOther report

  97. Dynamic competitive learning applied to the clone detection problem

    Barson, P., Davey, N., Frank, R. & Tansley, D., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 220)

    Research output: Book/ReportOther report

  98. Early elicitation and definition of requirements for an interactive multimedia information system

    Jones, S. & Britton, C., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 236)

    Research output: Book/ReportOther report

  99. Hades - towards the design of an asynchronous superscalar processor

    Elston, C. J., Christianson, B., Findlay, P. & Steven, G. B., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 218)

    Research output: Book/ReportOther report

  100. Inheritance, subtyping and the is-a relationship (PhD Transfer Report)

    Buchanan, M., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 237)

    Research output: Book/ReportOther report

  101. Investigation of self-organising dynamic neural tree networks

    Butchart, K., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 225)

    Research output: Book/ReportOther report

  102. Is your computing environment secure? Security problems with interrupt handling mechanisms

    Christianson, B. & Hu, P., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 222)

    Research output: Book/ReportOther report

  103. Modelling changes in organisations for a complex world

    Taylor, P. N. & De Maria, E., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 228)

    Research output: Book/ReportOther report

  104. Nested signature blocks

    Low, M. R. & Christianson, B., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 223)

    Research output: Book/ReportOther report

  105. Providing public access to information in complex and weakly structures domains: a 3-layered model for hypermedia information systems

    Bearne, M., Jones, S., Hewitt, J. & Sapsford-Francis, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 235)

    Research output: Book/ReportOther report