About us
Contact us
Alumni
Jobs
Login
University of Hertfordshire
Home
Courses
Study with us
International
Business services
Research
News and events
Home
>
Research
>
Research Database
>
Publications
Home
Research
Research Database
People
Publications
Refine your results
Contribution to conference
·· Paper
·· Poster
·· Abstract
·· Other
·· Presentation
Other contribution
·· Other contribution
Book/Report
·· Book
·· Anthology
·· Commissioned report
·· Other report
Working paper
·· Working paper
·· Discussion paper
Contribution to journal
·· Article
·· Letter
·· Comment/debate
·· Book/Film/Article review
·· Literature review
·· Editorial
·· Special issue
·· Meeting abstract
·· Review article
·· Conference article
Contribution to specialist publication
·· Article
·· Featured article
·· Book/Film/Article review
·· Editorial
·· Special issue
Non-textual form
·· Data set/Database
·· Digital or Visual Products
·· Web publication/site
·· Artefact
·· Exhibition
·· Performance
·· Composition
Chapter in Book/Report/Conference proceeding
·· Chapter (peer-reviewed)
·· Chapter
·· Entry for encyclopedia/dictionary
·· Conference contribution
·· Foreword/postscript
·· Other chapter contribution
Patent
·· Patent
Remove limitation on type
Published in 2021
Published in 2020
Published in 2019
Published in 2018
Published in 2017
Published in 1990-2016
In preparation
Submitted
Accepted/In press
E-pub ahead of print
Published
Unpublished
Remove status limitation
Does not have full text
Has full text
Remove full text limitation
Publications
Advanced search options
Advanced search options
Organisational unit
Reset
University of Hertfordshire
Centre for Climate Change Research
Centre for Future Societies Research
Hertfordshire Business School
Business and Management
Enterprise and Value Research Group
Global Work and Employment
Managing Complex Change Research Group
Organisation, Markets and Policy Research Group
Statistical Services Consulting Unit
Hertfordshire Law School
Law
School of Creative Arts
Art and Design
Design Research Group
Zero Carbon Lab
Media Research Group
Games and Visual Effects Research Lab (G+VERL)
Theorising Visual Art and Design
Contemporary Arts Practice Group
Music
School of Education
Centre for Research in Professional and Work-Related Learning
Education
Science Learning Centre
School of Health and Social Work
Allied Health Professions
Paramedic Science
Physiotherapy
Centre for Research in Public Health and Community Care
Communities, Young People and Family Lives
Older People's Health and Complex Conditions
Patient Experience and Public Involvement
Department of Allied Health Professions, Midwifery and Social Work
Department of Nursing, Health and Wellbeing
Nursing, Midwifery and Social Work
Social Work, Mental Health and Learning Disabilities
School of Humanities
Centre for Regional and Local History
Critical Humanities and International Politics Research Group
English Language and Communication
English Literature and Creative Writing
Creative Writing
English Literature
History
Media
Philosophy
School of Life and Medical Sciences
Agriculture, Food and Veterinary Sciences
Agriculture and Environmental Management Research
Biosciences Research Group
Crop Protection and Climate Change
Food Policy, Nutrition and Diet
Centre for Agriculture, Food and Environmental Management Research
Agriculture and Environmental Management Research
Crop Protection and Climate Change
Food Policy, Nutrition and Diet
Centre for Health Services and Clinical Research
Basic and Clinical Science Unit
Health Research Methods Unit
Pharmaceutics
Psychopharmacology, Drug Misuse and Novel Psychoactive Substances Unit
Public Health and Patient Safety Unit
TRP Ion channels
Centre for Research in Psychology and Sport Sciences
Behaviour Change in Health and Business
Cognitive Neuropsychology
Health and Clinical Psychology group
Learning, Memory and Thinking
Psycho-haematology Research Unit
Psychology and NeuroDiversity Applied Research Unit
Psychology of Movement
Research Unit in Sport, Physical Activity and Ageing
Sport, Health and Exercise
Adaptive Physiology and Functional Nutrition
Applied Coaching and Leadership
Functional Therapy and Biomechanics
Health and Wellbeing
Sports and Exercise Psychology
i-dojo
Centre for Research into Topical Drug Delivery and Toxicology
Airway Group
Bioadhesive Drug Delivery Group
Modified Release Dosage Forms
Nanopharmaceutics
Natural Product Chemistry and Drug Design
Pharmaceutical Analysis and Product Characterisation
Skin and Nail Group
Toxicology
Department of Clinical, Pharmaceutical and Biological Science
Department of Psychology, Sport and Geography
Extracellular Vesicle Research Unit
Smart Mobility Unit
University of Hertfordshire Urbanism Unit
School of Physics, Engineering & Computer Science
Department of Computer Science
Centre for Computer Science and Informatics Research
Adaptive Systems
Algorithms
Biocomputation
Compiler Technology & Computer Architecture
Networks and Security
Centre of Data Innovation Research
Department of Engineering and Technology
Centre for Engineering Research
BioEngineering
Communications and Intelligent Systems
Energy and Sustainable Design
Materials and Structures
Micro Electro-Mechanical Systems
Microfluidics and Microengineering
Optical Networks
Centre for Research in Biodetection Technologies
Department of Physics, Astronomy and Mathematics
Centre for Astrophysics Research
Centre for Atmospheric and Climate Physics Research
Atmospheric Dynamics & Air Quality
Light Scattering and Radiative Processes
Particle Instruments and diagnostics
Centre for Research in Biodetection Technologies
Centre of Data Innovation Research
Mathematical and Theoretical Physics
Type
Contribution to conference
→ Paper
→ Poster
→ Abstract
→ Other
→ Presentation
Other contribution
→ Other contribution
Book/Report
→ Book
→ Anthology
→ Commissioned report
→ Other report
Working paper
→ Working paper
→ Discussion paper
Contribution to journal
→ Article
→ Letter
→ Comment/debate
→ Book/Film/Article review
→ Literature review
→ Editorial
→ Special issue
→ Meeting abstract
→ Review article
→ Conference article
Contribution to specialist publication
→ Article
→ Featured article
→ Book/Film/Article review
→ Editorial
→ Special issue
Non-textual form
→ Data set/Database
→ Digital or Visual Products
→ Web publication/site
→ Artefact
→ Exhibition
→ Performance
→ Composition
Chapter in Book/Report/Conference proceeding
→ Chapter (peer-reviewed)
→ Chapter
→ Entry for encyclopedia/dictionary
→ Conference contribution
→ Foreword/postscript
→ Other chapter contribution
Patent
→ Patent
Publication year
Choose year
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
1978
1977
1976
1975
1974
1973
1972
1971
to
Choose year
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
1978
1977
1976
1975
1974
1973
1972
1971
Status
In preparation
Submitted
Accepted/In press
E-pub ahead of print
Published
Unpublished
Publication category
Research
Full text
Has full text
Does not have full text
Open Access status
Open
Embargoed
Closed
Indeterminate
None
Peer-reviewed
Peer-reviewed
Not peer-reviewed
Language
English
German
French
Spanish
Italian
Portuguese
Russian
German (Austria)
English (New Zealand)
Spanish (Peru)
Icelandic
Hebrew
Arabic (Israel)
Chinese (Traditional)
Chinese (Simplified)
Catalan
Spanish (Puerto Rico)
Ladino
English (Ireland)
Chinese (Hong Kong)
German (Switzerland)
Spanish (Bolivia)
Arabic (Saudi Arabia)
Other
Multiple languages
Undefined/Unknown
101 - 200 out of 275
Page size:
100
10
25
50
100
500
Sort by:
Publication date
Publication date
Title
Type
1997
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
Concrete examples for templates and their children
Taylor, P. N.
,
1997
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 279)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
Evaluating parsing schemes with entropy indicators
Lyon, C.
,
1997
,
University of Hertfordshire
. (UH Computer Science Technical Reports; vol. 275)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
Resilient process theory (RsPT)
Taylor, P. N.
,
1997
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 282)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
1996
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/Report
›
Other report
A joint authorisation scheme
Low, M. R.
,
1996
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 268)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
A review of twenty formal specification notations
Vinter, R. J.
,
1996
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 240)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
Discretionary non-repudiation
Low, M. R.
,
1996
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 267)
Research output
:
Book/Report
›
Other report
Expressing a policy
Low, M. R.
,
1996
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 266)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
Investigating the limits of instruction level parallelism
Potter, R.
,
1996
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 245)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
1995
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/Report
›
Other report
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/Report
›
Other report
Applications of neural networks in telecommunications
Field, S.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 219)
Research output
:
Book/Report
›
Other report
Authentication v Certification
Low, M. R.
&
Christianson, B.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 216)
Research output
:
Book/Report
›
Other report
BPR - a UK case study
Weerakkody, V.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 230)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
Investigation of self-organising dynamic neural tree networks
Butchart, K.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 225)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
Nested signature blocks
Low, M. R.
&
Christianson, B.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 223)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
Roles and rights
Low, M. R.
&
Christianson, B.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 232)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
Temporal logic and "reverse semantics"
Broido, J.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 233)
Research output
:
Book/Report
›
Other report
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/Report
›
Other report
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/Report
›
Other report
The representation of rules in connectionist models
St Aubyn, M.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 227)
Research output
:
Book/Report
›
Other report
UPQM: a framework for developing a small business IS/IT strategy
Bennett, J.
,
Hinton, P.
&
Tagg, C.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 214)
Research output
:
Book/Report
›
Other report
User interface design and computer music systems
Polfreman, R.
,
Sapsford-Francis, J.
,
Lewis, J.
&
Burrell, H.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 215)
Research output
:
Book/Report
›
Other report
Using a neural net to determine the language in which a text is written
Lyon, C.
&
Matthews, C.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 212)
Research output
:
Book/Report
›
Other report
Using neural networks to analyse software complexity
Field, S.
,
Davey, N.
&
Frank, R.
,
1995
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 217)
Research output
:
Book/Report
›
Other report
1994
3-dimensional modelling in knowledge engineering
Jones, S.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 174)
Research output
:
Book/Report
›
Other report
A case study for generic processes and reusability in LOTOS
Taylor, P. N.
&
Smith, D. E.
,
1994
,
University of Hertfordshire
.
15 p.
(Computer Science Technical Report; no. 209)
Research output
:
Book/Report
›
Other report
A comparative study of three neural networks that use soft competition
Butchart, K.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 211)
Research output
:
Book/Report
›
Other report
A comparison of Eiffel, C++ and Oberon-2
Mayes, A.
&
Buchanan, M.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 191)
Research output
:
Book/Report
›
Other report
A conservative extension to CCS for true concurrency semantics
Baillie, J.
&
Smith, D.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 200)
Research output
:
Book/Report
›
Other report
A data flow model for prototyping reactive systems. (PhD Transfer Report)
Fensome, D. A.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 185)
Research output
:
Book/Report
›
Other report
A knowledge extraction approach for capturing dispersed knowledge and its application to the modelling of working environments for people with disabilities
Hewitt, J.
&
Sapsford-Francis, J.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 194)
Research output
:
Book/Report
›
Other report
An application of task analysis to the development of a generic office reference model
Hewitt, J.
,
Hobson, J.
&
Sapsford-Francis, J.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 189)
Research output
:
Book/Report
›
Other report
An evaluation of the iHARP multiple instruction issue processor
Steven, F. L.
,
Steven, G. B.
&
Wang, L.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 179)
Research output
:
Book/Report
›
Other report
An explicitly declared delayed-branch mechanism for a superscalar architecture
Collins, R.
&
Steven, G. B.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 197)
Research output
:
Book/Report
›
Other report
An integrated approach to the development of advice systems to support learning and domain based information retrieval
Bearne, M.
,
Hewitt, J.
,
Jones, S.
&
Sapsford-Francis, J.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 180)
Research output
:
Book/Report
›
Other report
Clone detection in telecommunications software systems: a neural net approach
Carter, S.
,
Frank, R.
&
Tansley, D.
,
1994
,
University of Hertfordshire
.
11 p.
(Computer Science Technical Report; no. 208)
Research output
:
Book/Report
›
Other report
File server architecture for an open distributed document system
Christianson, B.
&
Hu, P.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 204)
Research output
:
Book/Report
›
Other report
Formal dialogue specification for hypertext and multimedia systems
Jacob, L.
&
Jones, S.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 175)
Research output
:
Book/Report
›
Other report
HARP: a statically scheduled multiple-instruction-issue architecture and its compiler
Adams, R. G.
,
Gray, S. M.
&
Steven, G. B.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 163)
Research output
:
Book/Report
›
Other report
Implementing associations between objects
Mayes, A.
,
Dickerson, B.
&
Britton, C.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 205)
Research output
:
Book/Report
›
Other report
Increasing the usability of formal specification techniques through a combination of complementary formal languages and automated verification tools
Taylor, P. N.
&
Britton, C.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 210)
Research output
:
Book/Report
›
Other report
Integrating formal and diagrammatic techniques in requirements capture and early system design
Hewitt, J.
,
Jones, S.
&
Sapsford-Francis, J.
,
1994
,
University of Hertfordshire
. (UH Computer Science Technical Report; vol. 188)
Research output
:
Book/Report
›
Other report
Previous
1
2
3
Next