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

Related topics

Related topics

7 relations
BCS-FACSBrian RandellComputer scientistDependability
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Document Spanners: A Formal Approach to Information Extraction
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
‘ We ’ ve Got Some Underground Business Selling Junk Food ’ : Qualitative Evidence of the Unintended Effects of English School Food Policies
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
Patriotism , Nationalism , and China ’ s U . S . Policy : Structures and Consequences of Chinese National Identity
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
Multilateral Trade Liberalization , Exports and Technology Upgrading : Evidence on the Impact of MERCOSUR on Argentinean Firms
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
The connection between two ways of reasoning about partial functions
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
Triumphs and Challenges for the Industrial Application of Model- Oriented Formal Methods
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
Reasoning About Partial Functions in the Formal Development of Programs
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
vdmML : using XML to represent VDM on the Web . Some initial thoughts
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
Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++
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
Drug consumption facilities in Europe and the establishment of supervised injecting centres in Australia
Kate Dolan PhD, Senior Lecturer, Jo Kimber BSc(Psych)Hons, National Drug and Alcohol Research Centre, University of New South… (More)
Is this relevant?