University of Hertfordshire

Publications

  1. Other report › Research
  2. 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

  3. Shrink-wrapped optimism: the DODA approach to distributed document processing

    Christianson, B. & Snook, J. F., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 187)

    Research output: Book/ReportOther report

  4. Silver Surfers: Social Inclusion or Exclusion in a Digital World

    Choudrie, J. & Grey, S., 31 Aug 2008, Hatfield: University of Hertfordshire. 71 p.

    Research output: Book/ReportOther report

  5. Six curricular questions of Michael Gove

    Bage, G., Mar 2013, Cambridge Primary Review Website. 5 p.

    Research output: Book/ReportOther report

  6. Smoothing the transition from formal specification to object-oriented implementation

    Taylor, P. N. & Smith, D. E., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 213)

    Research output: Book/ReportOther report

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

  8. Social Economy and Resilience in the UK, RESCUE Project Report

    Dagdeviren, H., Donoghue, M. & Wearmouth, A., 31 May 2016, (Unpublished) University of Hertfordshire.

    Research output: Book/ReportOther report

  9. Specific Frontostriatal Circuits for Impaired Cognitive Flexibility and Goal-Directed Planning in Obsessive-Compulsive Disorder: Evidence From Resting-State Functional Connectivity

    Vaghi, M. M., Vértes, P. E., Kitzbichler, M. G., Apergis-Schoute, A. M., van der Flier, F. E., Fineberg, N., Sule, A., Zaman, R., Voon, V., Kundu, P., Bullmore, E. T. & Robbins, T. W., 15 Apr 2017, 8 ed. Elsevier. 10 p. (Biological Psychiatry)

    Research output: Book/ReportOther report

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

  11. Static instruction scheduling for the HARP multiple-instruction-issue architecture

    Gray, S. M., Adams, R. G., Green, G. J. & Steven, G. B., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 142)

    Research output: Book/ReportOther report

  12. Status of diseases of linseed in the U.K

    Mercer, P. C., Hardwick, N. V., Fitt, B. D. L. & Sweet, J. B., 1 Oct 1991, HGCA. (HGCA Research Review; no. OS4)

    Research output: Book/ReportOther report

  13. Steiner Schools in England

    Woods, P., Ashley, M. & Woods, G. J., 2005, University of the West of England. 208 p. (Research Report; no. 645)

    Research output: Book/ReportOther report

  14. Stem Canker of oilseed rape: Molecular methods and mathematical modelling to deploy durable resistance

    Evans, N., Fitt, B. D. L., van den Bosch, F., Eckert, M. R., Huang, Y., Pietravalle, S., Rouxel, T., Balesdent, M-H., Ross, S., Gout, L., Brun, H., Andrivon, D., Bousset, L., Gladders, P., Pinochet, X., Penaud, A., Jedryczka, M., Kachlicki, P., Stachowiak, A., Olechnowicz, J. & 4 others, Happstadius, I., Podlesna, A., Renard, M. & Karolewski, Z., 2008, Fourth SECURE Annual Report for the European Union. 336 p.

    Research output: Book/ReportOther report

  15. Stem Canker of oilseed rape: Molecular methods and mathematical modelling to deploy durable resistance

    Evans, N., Fitt, B., van den Bosch, F., Eckert, M., Huang, Y., Pietravalle, S., Rouxel, T., Balesdent, M. H., Ross, S., Gout, L., Brun, H., Andrivon, D., Bousset, L., Gladders, P., Pinochet, X., Penaud, A., Jedryczka, M., Kachlicki, P., Stachowiak, A., Olechnowicz, J. & 4 others, Happstadius, I., Podlesna, A., Renard, M. & Karolewski, Z., 2006, Third SECURE Annual Report for the European Union . 367 p.

    Research output: Book/ReportOther report

  16. Stem Canker of oilseed rape: Molecular methods and mathematical modelling to deploy durable resistance

    Evans, N., Fitt, B., van den Bosch, F., Eckert, M., Huang, Y., Pietravalle, S., Rouxel, T., Balesdent, M. H., Ross, S., Gout, L., Brun, H., Andrivon, D., Bousset, L., Gladders, P., Pinochet, X., Penaud, A., Jedryczka, M., Kachlicki, P., Stachowiak, A., Olechnowicz, J. & 4 others, Happstadius, I., Podlesna, A., Renard, M. & Karolewski, Z., 2003, First SECURE Annual Report for the European Union. 204 p.

    Research output: Book/ReportOther report

  17. Stem Canker of oilseed rape: Molecular methods and mathematical modelling to deploy durable resistance

    Evans, N., Fitt, B., van den Bosch, F., Eckert, M., Huang, Y., Pietravalle, S., Rouxel, T., Balesdent, M. H., Ross, S., Gout, L., Brun, H., Andrivon, D., Bousset, L., Gladders, P., Pinochet, X., Penaud, A., Jedryczka, M., Kachlicki, P., Stachowiak, A., Olechnowicz, J. & 4 others, Happstadius, I., Podlesna, A., Renard, M. & Karolewski, Z., 2004, Second SECURE Annual Report for the European Union.

    Research output: Book/ReportOther report

  18. Still not receiving the support they deserve... Final evaluation report for the Stella Project Young Women's Initiative

    Horvath, M. A. H., Hansen, S., Rogers, S. A. & Adler, J. R., 1 Aug 2013, London, UK: AVA (Against Violence Abuse). 28 p.

    Research output: Book/ReportOther report

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

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

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

    Research output: Book/ReportOther report

  21. Sustainable living?

    Parham, S., Nov 2012, UH Centre for Sustainable Communities. 10 p.

    Research output: Book/ReportOther report

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

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

  24. Temporal logic and "reverse semantics"

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

    Research output: Book/ReportOther report

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

  26. Testing should help to insert new bugs or how to modify programs predictably?

    Christianson, B. & Barrett, R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 144)

    Research output: Book/ReportOther report

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

  28. The Motivation of Software Engineers: Developing a Rigorous and Usable Model

    Beecham, S., Hall, T., Baddoo, N., Robinson, H. & Sharp, H., 2007, University of Hertfordshire. 12 p. (Computer Science Technical Report; no. 458)

    Research output: Book/ReportOther report

  29. The Notary

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

    Research output: Book/ReportOther report

  30. The Oberon-2 language and environment

    Mayes, A. & Buchanan, M., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 190)

    Research output: Book/ReportOther report

  31. The Role of Autonomy and Interaction Type on Spatial Comfort in an HRI Scenario

    Syrdal, D. S., Walters, M. L., Koay, K. L. & Dautenhahn, K., 2008, University of Hertfordshire.

    Research output: Book/ReportOther report

  32. The analysis of formal models of communication for the specification of reusable systems (progress report)

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

    Research output: Book/ReportOther report

  33. The appropriate assessment of spatial plans: A guide to when, why and how to do it

    Dodd, A., Cleary, B., Dawkins, J., Byron, H., Palframan, L. & Williams, G., 2007, Royal Society for the Protection of Birds (RSPB). 78 p.

    Research output: Book/ReportOther report

  34. The clinical effectiveness and cost-effectiveness of treat-to-target strategies in rheumatoid arthritis: a systematic review and cost-effectiveness analysis

    Wailoo, A., Hock, E. S., Stevenson, M., Martyn-St James, M., Rawdin, A., Simpson, E., Wong, R., Dracup, N., Scott, D. L. & Young, A., 1 Dec 2017, 71 ed. National Institute for Health Research (NIHR). 258 p. (Health Technology Assessment)

    Research output: Book/ReportOther report

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

  36. The design of a user interface management system which provides speech input for text processing

    Hewitt, J. & Furner, S., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 110)

    Research output: Book/ReportOther report

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

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

  39. The fusion method: a second generation object-oriented software development method

    Diedrichsen, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 231)

    Research output: Book/ReportOther report

  40. The health impact of free bus travel for young people in London: protocol for an observational study

    Wilkinson, P., Edwards, P., Steinbach, R., Petticrew, M., Goodman, A., Jones, A. J. H., Roberts, H., Kelly, C., Nellthorpe, J. & Green, J., Feb 2011, London: London School of Hygiene and Tropical Medicine. 22 p. (Occasional Papers in Transport and Health; no. 2)

    Research output: Book/ReportOther report

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

  42. The impact of distance from home on children in custody. A thematic review by HM Inspectorate of Prisons. London: HMIP.

    Johnson, A., McSweeney, T., Mulready-Jones, A., Ranns, H., Redmond, A. & Shaw, C., 2016

    Research output: Book/ReportOther report

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

  44. The influence of the formal description technique LOTOS on concurrent system design

    Taylor, P. N. & Smith, D. E., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 203)

    Research output: Book/ReportOther report

  45. The justice data lab synthesis and review of findings

    Adler, J. R. & Coulson, M., 1 Oct 2016, NPC.

    Research output: Book/ReportOther report

  46. The object modeling technique

    Levine, D. & Britton, C., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 165)

    Research output: Book/ReportOther report

  47. The odd couple or formal notations and the development of information systems

    Britton, C. & Omer, K., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 100)

    Research output: Book/ReportOther report

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

  49. The representation of rules in connectionist models

    St Aubyn, M., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 227)

    Research output: Book/ReportOther report

  50. The responsibility driven object-oriented design method advocated by Wirfs-Brock, Wilkerson and Weiner

    Mayes, A., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 149)

    Research output: Book/ReportOther report