John Fitzgerald (computer scientist)

Known as: J. S. Fitzgerald, John Fitzgerald 
John S. Fitzgerald (born 1965) is a British computer scientist and Chair of Formal Methods Europe. He is a Reader in the School of Computing Science… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
An intrinsic part of information extraction is the creation and manipulation of relations extracted from text. In this article… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
Drawing on two qualitative studies, we report evidence of pervasive black markets in confectionery, ‘junk’ food and energy drinks… (More)
Is this relevant?
Review
2009
Review
2009
What is the nature of Chinese patriotism and nationalism, how does it differ from American patriotism and nationalism, and what… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?
2007
2007
Several empirical studies have documented that exporters have positive performance characteristics relative to firms only… (More)
  • figure I
  • figure 2
  • figure 3
  • figure 1
  • figure 2
Is this relevant?
2007
2007
Undefined terms involving the application of partial functions and operators are common in program specifications and in… (More)
  • figure 1
Is this relevant?
2007
2007
The “lightweight formal methods” paradigm emphasises the use of abstract modelling as an aid to understanding and design of… (More)
Is this relevant?
2006
2006
Partial functions and operators are used extensively in the formal development of programs and thusdevelopment methods have to… (More)
  • figure 2
  • figure 6
  • figure 7
  • table A.2
  • table A.3
Is this relevant?
2006
2006
In this paper we describe some initial investigations into the use XML to support the use of VDM. This presents a snapshot of… (More)
Is this relevant?
2006
2006
We describe the design and delivery of two courses that aim to develop skills of use to students in their subsequent professional… (More)
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Kate Dolan PhD, Senior Lecturer, Jo Kimber BSc(Psych)Hons, National Drug and Alcohol Research Centre, University of New South… (More)
Is this relevant?