Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Jim Woodcock

Known as: J. C. P. Woodcock 
Professor James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist. Woodcock gained his PhD from the University of Liverpool… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In this paper, we outline our vision for building verification tools for Cyber-Physical Systems based on Hoare and He’s Unifying… Expand
Is this relevant?
2015
2015
A runtime verification technique has been developed for CSP via translation of CSP models to Kripke structures. With this… Expand
  • figure 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
2015
2015
Ten years after Aneesur Rahman’s seminal 1964 paper on simulating liquid argon using computer simulations of atoms interacting… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2015
2015
An action research study of practices used to nominate English Learners (ELs) for special education services was conducted to… Expand
  • table 2
  • figure 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2012
2012
P152 Figure 1 THE IMPACT OF TRPV1 ANTAGONISM ON THE TREATMENT OF SEASONAL ALLERGIC RHINITIS doi:10.1136/thoraxjnl-2012-202678.214… Expand
Is this relevant?
2010
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming… Expand
Is this relevant?
2010
2010
This paper describes an extension adding priority to slotted-Circus, a generic framework for reasoning about discretely timed and… Expand
  • figure 2
Is this relevant?
Review
2009
Review
2009
The Relationship of Language Proficiency, General Intelligence, and Reading Achievement with a Sample of Low Performing, Limited… Expand
  • table 3
  • table 4
  • table 5
  • table 6
  • table 7
Is this relevant?
2000
2000
data types and processes Jim Woodcock, Jim Davies, and Christie Bolton Software engineering is about the judicious application of… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1996
1996
Dompierre examines how the four artists' installations "re-act with one another" and express their personal relationship to the… Expand
Is this relevant?