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 othersHappstadius, 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 othersHappstadius, 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 othersHappstadius, 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 othersHappstadius, 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