University of Hertfordshire

Publications

  1. 1994
  2. Minimum component multiple integrator loop OTA-grounded capacitor all-pole filters

    Sun, Y. & Fidler, J. K., 1994, Procs of the 37th Midwest Symposium on Circuits and Systems 1994. Vol.2. IEEE, p. 983-986

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Models of Dusty Discs in Active Galactic Nuclei

    Efstathiou, A., Hough, J. & Rowan-Robinson, M., 1994, In: Procs of the First Stromlo Symposium: The Physics of Active Galaxies.. Astronomical Society of the Pacific, p. 261-2

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Multicultural issues in the development of a Pan-European knowledge based system

    Hewitt, J. & Sapsford-Francis, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 176)

    Research output: Book/ReportOther report

  5. Near-IR Spectropolarimetry of NGC 1088

    Young, S., Hough, J., Bailey, J., Axon, D. J. & Ward, M. J., 1994, In: Procs of The First Stromlo Symposium: The Physics of Active Galaxies. ASP Conference Series 54. Astronomical Society of the Pacific, p. 277-80

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Overloading and polymorphism in the interpretation of inheritance in C++

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

    Research output: Book/ReportOther report

  7. Potential for asynchronous microprocessor design

    Elston, C. J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 182)

    Research output: Book/ReportOther report

  8. Resource efficiency profiling

    Tofallis, C., 1994, University of Hertfordshire, (Business School Working Papers; vol. UHBS 1994: 8).

    Research output: Working paper

  9. Reverse accumulation and attractive fixed points

    Christianson, B., 1994, In : Optimization Methods and Software. 3, 4, p. 311-326

    Research output: Contribution to journalArticle

  10. Selective targeting of nitric oxide synthase inhibitors to system y+ in activated macrophages

    Baydoun, A. R. & Mann, G. E., 1994, In : Biochemical and Biophysical Research Communications. 200, p. 726-731

    Research output: Contribution to journalArticle

  11. Self authenticating proxies

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

    Research output: Book/ReportOther report

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

  13. Spatially Resolved Spectropolarimetry of NGC 1068

    Inglis, M. D., Young, S., Hough, J., Axon, D. J., Bailey, J. & Ward, M. J., 1994, In: Procs of The First Stromlo Symposium: The Physics of Active Galaxies, ASP Conference Series 54. Astronomical Society of the Pacific, p. 313-4

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

  15. The Physics of Shocked Outflows In Star Forming Molecular Clouds

    Tedds, J. A., Brand, P. W. J. L., Burton, M., Chrysostomou, A. & Fernandes, A. J. L., 1994, In: Procs of Clouds, Cores, and Low Mass Stars - ASP Conf Series 65. Astronomical Society of the Pacific, p. 375-379

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. The Role of HI in the Star-Formation Processes in Spiral Disks

    Knapen, J. & Beckman, J. E., 1994, In: Physics of the Gaseous and Stellar Disks of the Galaxy - ASP Conf Series 66. Astronomical Society of the Pacific, p. 329-336

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

  18. The owl and the pussycat

    Larvor, B., 1994, In : Philosophical Quarterly. 44, 175, p. 233-239

    Research output: Contribution to journalArticle

  19. The role of graphical representations in early design and requirements specification

    Sapsford-Francis, J. & Jones, S., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 196)

    Research output: Book/ReportOther report

  20. To whom am I speaking? Remote booting in a hostile world

    Lomas, M. & Christianson, B., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 178)

    Research output: Book/ReportOther report

  21. Towards usability guidelines for multimedia systems

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

    Research output: Book/ReportOther report

  22. User and designer centred issues in the development of a multimedia exhibition guide

    Sapsford-Francis, J., Hewitt, J., Halford, P. & Waring, N., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 183)

    Research output: Book/ReportOther report

  23. Using a resource limited instruction scheduler to evaluate the iHARP processor

    Steven, F. L., Steven, G. B. & Wang, L., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 198)

    Research output: Book/ReportOther report

  24. Using conditional execution to exploit instruction level concurrency

    Gray, S. M. & Adams, R. G., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 181)

    Research output: Book/ReportOther report

  25. Using testing semantics to show safety and liveness in the development of CCS specifications

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

    Research output: Book/ReportOther report

  26. Validating knowledge models across multinational boundaries

    Sapsford-Francis, J. & Hewitt, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 184)

    Research output: Book/ReportOther report

  27. 1993
  28. An analysis of automatic differentiation on the VAX

    Abbott, S., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 159)

    Research output: Book/ReportOther report

  29. An evaluation of the HARP ORed indexing addressing mechanism

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

    Research output: Book/ReportOther report

  30. An evaluation of the architectural features of the iHARP processor

    Steven, F. L., Steven, G. B. & Wang, L., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 170)

    Research output: Book/ReportOther report

  31. Applying techniques from foreign language teaching to computer science

    Derrick, A., Britton, C. & Sapsford-Francis, J., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 164)

    Research output: Book/ReportOther report

  32. Bacterial endotoxin rapidly stimulates prolonged endothelium-dependent vasodilatation in the isolated perfused rat heart

    Baydoun, A. R., Foale, R. D. & Mann, G. E., 1993, In : British Journal of Pharmacology. 109, p. 987-991

    Research output: Contribution to journalArticle

  33. Coding or comprehension? The essence of software system design

    Loomes, M., Britton, C. & Taylor, P. N., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 162)

    Research output: Book/ReportOther report

  34. Cognitive and organisational aspects of design

    Loomes, M., Ridley, D. & Kornbrot, D., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 171)

    Research output: Book/ReportOther report

  35. Computer science and problem solving: encouraging self-directed learning with large classes

    Sapsford-Francis, J., Britton, C. & Brown, J., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 168)

    Research output: Book/ReportOther report

  36. Convective overshooting and the observed width of the main-sequence band

    Napiwotzki, R., Rieschick, A., Blocker, T., Schonberner, D. & Wenske, V., 1993, In: Procs Inside the Stars, IAU Colloquium 137. Astronomical Society of the Pacific, p. 461-463

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. Decomposing the corpus of neuropsychological tests

    Henderson, L. & Dittrich, W., 1993, In : Psycoloquy. 4, 32

    Research output: Contribution to journalArticle

  38. Developing a simulator for the Hatfield Superscalar processor

    Collins, R., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 172)

    Research output: Book/ReportOther report

  39. Education for flexibility: transferable skills, problem solving and information management

    Sapsford-Francis, J. & Britton, C., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 166)

    Research output: Book/ReportOther report

  40. Elman's model of natural language acquisition

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

    Research output: Book/ReportOther report

  41. H2 Spectroscopy in the Photodissociation Region of M17 Northern Bar

    Chrysostomou, A., Brand, P. W. J. L. & Burton, M., 1993, In: Astronomical Infrared Spectroscopy: Future Observational Directions - ASP Conf Series 41. Astronomical Society of the Pacific, p. 207-210

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Human factors design of a multimedia system: the Libtech International '93 Exhibition Guide

    Sapsford-Francis, J., Hewitt, J., Halford, P. & Waring, N., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 167)

    Research output: Book/ReportOther report

  43. Modelling real time systems functional requirements using existing data flow methods

    Fensome, D. A., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 160)

    Research output: Book/ReportOther report

  44. Modelling superscalar pipelines with finite state machines

    Steven, G. B. & Vintan, L., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 246)

    Research output: Book/ReportOther report

  45. Positive fixed points of lattices under semigroups of positive linear operators

    Christianson, B., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 177)

    Research output: Book/ReportOther report

  46. Process simulation for waste management

    Tucker, P. & Lewis, K., 1993, p. 47-54.

    Research output: Contribution to conferencePaper

  47. Reverse accumulation of functions containing gradients

    Christianson, B., 1993, Procs of the Theory Institute on Combinatorial Challenges in Automatic Differentiation. (Numerical Optimisation Centre Technical Report; vol. 278).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Self defence in open systems using self authenticating proxies

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

    Research output: Book/ReportOther report

  49. Sequential animation of a structured analysis required logical model of a vending machine controller

    Fensome, D. A., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 169)

    Research output: Book/ReportOther report

  50. Specific induction of intracellular calcium oscillations by complement membrane attack on oligodendroglia

    Wood, A., Wing, M., Benham, C. D. & Compston, D. A. S., 1993, In : Journal of Neuroscience. 13, 8, p. 3319-3332

    Research output: Contribution to journalArticle

  51. The astrophysical S-factor of the reaction Be-7(P,gamma)B-8 in the direct capture model

    Krauss, H., Grun, K., Rauscher, T. & Oberhummer, H., 1993, In : Annalen der Physik. 2, 3, p. 258-266 9 p.

    Research output: Contribution to journalArticle

  52. The blue straggler stars of galactic clusters

    Schonberner, D. & Napiwotzki, R., 1993, In: Inside the stars; Proceedings of the 137th IAU Colloquium, ASP Conference Series 40. Astronomical Society of the Pacific, p. 480-482

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  53. The object modeling technique

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

    Research output: Book/ReportOther report

  54. The use of metrics in connectionist psychological models

    Lyon, C. & Davey, N., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 157)

    Research output: Book/ReportOther report

  55. Training Kohonen feature maps in different topologies: an analysis using genetic algorithms

    Polani, D. & Uthmann, T., 1993, Procs 5th Int Conf on Genetic Algorithms: ICGA 1993. Morgan Kaufmann Publishers Inc., p. 326-333

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  56. Use of multimedia in a public information system

    Hewitt, J., Sapsford-Francis, J. & Halford, P., 1993, University of Hertfordshire. (UH Computer Science Technical Report; vol. 155)

    Research output: Book/ReportOther report

  57. Wittgenstein: Two Source Catalogues and a Bibliography: Catalogues of the Published Texts and of the Published Diagrams, each Related to its Sources

    Biggs, M. & Pichler, A., 1993, University of Bergen. 175 p. (Skriftserie fra Wittgensteinarkivet ved Universitetet i Bergen; vol. 7)

    Research output: Book/ReportBook

  58. 1992
  59. Particle Asymmetry Analyser

    Ludlow, I. & Kaye, P. H., 30 Sep 1992, Patent No. EP0316171 B1

    Research output: Patent

  60. Portable Particle Analysers

    Ludlow, I. & Kaye, P. H., 29 Jul 1992, Patent No. EP0316172 B1

    Research output: Patent

  61. A comparison of development methods used in traditional engineering and software engineering

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

    Research output: Book/ReportOther report

  62. A program for animating CCS specifications

    Stobo, J. R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 145)

    Research output: Book/ReportOther report

  63. A survey of the current state of reuse in a software environment

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

    Research output: Book/ReportOther report

  64. Adaptation of Kohonen feature map topologies by genetic algorithms

    Polani, D. & Uthmann, T., 1992, In: Parallel Problem Solving - Nature Conf procs (PPSN 2). Elsevier, p. 421-429

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  65. An investigation of types leading to an examination of some aspects of F-bounded interfaces and the type classes of Haskell

    Buchanan, K. M. & Dickerson, R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 154)

    Research output: Book/ReportOther report

  66. Are there any parallels between object-oriented system development and other branches of engineering?

    Mayes, A. & Britton, C., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 139)

    Research output: Book/ReportOther report

  67. Automatic Hessians by reverse accumulation

    Christianson, B., 1992, In : IMA Journal of Numerical Analysis. 12, 2, p. 135-150

    Research output: Contribution to journalArticle

  68. CCS and object-oriented concepts

    Buchanan, M. & Dickerson, R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 140)

    Research output: Book/ReportOther report

  69. Continuity and Discontinuity in Visual Experience

    Biggs, M., 1992, In : Critica. 24, 70, p. 3-15

    Research output: Contribution to journalArticle

  70. Do we still need the system life cycle?

    Britton, C., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 135)

    Research output: Book/ReportOther report

  71. Eiffel, the universe and everything. (somethings anyway)

    Mayes, A. & Barrett, R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 138)

    Research output: Book/ReportOther report

  72. Experience of using Coad and Yourdon object-oriented analysis and design

    Mayes, A. & Barrett, R., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 148)

    Research output: Book/ReportOther report

  73. Fine grained object protection in UNIX

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

    Research output: Book/ReportOther report

  74. Gastronomic Strategies for Australian Cities

    Parham, S., 1992, In : Urban Futures. 2, 2

    Research output: Contribution to journalArticle

  75. Minimal kernels and security

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

    Research output: Book/ReportOther report

  76. Neural nets for a language processing task: tag disambiguation

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

    Research output: Book/ReportOther report

  77. Prototyping real time engineering systems using Hatley & Pirbhai's requirement model

    Fensome, D. A., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 131)

    Research output: Book/ReportOther report

  78. Security system case study

    Loomes, M. & Britton, C., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 136)

    Research output: Book/ReportOther report

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

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

  81. The Notary

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

    Research output: Book/ReportOther report

  82. The reign of Prince Auto : psychology in an age of science

    Hutto, D., 1992, In : Philosophia. 21, 1-2, p. 61-80

    Research output: Contribution to journalArticle

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

  84. Towards a satisfaction relation between CCS specifications and their refinements

    Baillie, E. J., 1992, University of Hertfordshire. (UH Computer Science Technical Report; vol. 152)

    Research output: Book/ReportOther report

  85. Towards secure, optimistic, distributed, open systems

    Snook, J. F., 1992, University of Hertfordshire. 139 p. (Computer Science Technical Report; no. 151)

    Research output: Book/ReportOther report

  86. Why is software development so difficult to manage?

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

    Research output: Book/ReportOther report

  87. 1991
  88. A Parallel Pipelined Processor with Conditional Instruction Execution

    Adams, R. G. & Steven, G. B., 1991, In : Computer Architecture News. 19, 1, p. 135-142

    Research output: Contribution to journalArticle

  89. A system for reducing imprecision in speech interfaces to generalised text input devices

    Monaghan, J. & Cheepen, C., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 119)

    Research output: Book/ReportOther report

  90. An object oriented design of a speech driven user interface management system

    Frank, R. & Hewitt, J., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 173)

    Research output: Book/ReportOther report

  91. Complications of pregnancy and delivery in relation to psychosis in adult life: data from the British perinatal mortality survey sample

    Done, D. J., Johnstone, E. C., Frith, C. D., Golding, J., Shepherd, P. M. & Crow, T. J., 1991, In : British Medical Journal (Clinical Research ed). 302, 6792, p. 1576-1580

    Research output: Contribution to journalArticle

  92. Concurrent CCS - an introduction

    Smith, D., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 126)

    Research output: Book/ReportOther report

  93. Formal specification and object-oriented design

    Buchanan, M. & Britton, C., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 134)

    Research output: Book/ReportOther report

  94. HARP: a VLIW RISC processor

    Findlay, P., Trainis, S. A., Steven, G. B. & Adams, R. G., 1991, In: Procs of 5th Annual European Computer Conference, CompEuro'91. IEEE, p. 368-372

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  95. Modelling techniques for object-oriented design

    Britton, C. & Buchanan, M., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 133)

    Research output: Book/ReportOther report

  96. Relative width of sublattices

    Christianson, B., 1991, In : Mathematical Chronicle. 20, p. 75-78

    Research output: Contribution to journalArticle

  97. Review of the XXII APCOM International Symposium: Berlin, West germany, Sept 17-21, 1990

    Lewis, K., 1991, In : Minerals Engineering. 4, 2, p. 191-192 2 p.

    Research output: Contribution to journalComment/debate

  98. SOLVEX: The past, the present and the future

    Lewis, K. & Flett, D. S., 1991. 13 p.

    Research output: Contribution to conferencePaper

  99. The development of iHARP: a multiple instruction issue processor chip

    Steven, G. B., Adams, R. G., Findlay, P. & Trainis, S. A., 1991, Procs of the IEE Colloquium on RISC Architectures and Applications. IEEE, Vol. 2. p. 1 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  100. Vertical Z

    Loomes, M. & Britton, C., 1991, University of Hertfordshire. (UH Computer Science Technical Report; vol. 132)

    Research output: Book/ReportOther report

  101. 1990
  102. Expert system supervisory control of the Wheal Jane tin concentrator

    Lewis, K., Tucker, P. & LeJeune, G., 22 Nov 1990, p. 145-152.

    Research output: Contribution to conferencePaper

  103. A CCS case study: a safety-critical system

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

    Research output: Book/ReportOther report

  104. Address and data register separation of the M68000 family

    Williams, F. L. & Steven, G. B., 1990, University of Hertfordshire. (UH Computer Science Technical Report; vol. 102)

    Research output: Book/ReportOther report