Jim Davies
Title
Cited by
Cited by
Year
GNU scientific library
M Galassi, J Davies, J Theiler, B Gough, G Jungman, P Alken, M Booth, ...
Network Theory Limited, 2002
21542002
Using Z: Specification ‚Refinement ‚and Proof
J Woodcock, J Davies
Prentice Hall International, 1996
18661996
Ordering of mutations in preinvasive disease stages of esophageal carcinogenesis
JMJ Weaver, CS Ross-Innes, N Shannon, AG Lynch, T Forshew, ...
Nature genetics 46 (8), 837-843, 2014
2952014
Rapid, comprehensive, and affordable mycobacterial diagnosis with whole-genome sequencing: a prospective study
LJ Pankhurst, C del Ojo Elias, AA Votintseva, TM Walker, K Cole, J Davies, ...
The Lancet Respiratory Medicine 4 (1), 49-58, 2016
2852016
Interaction of antibiotics with A‐and P‐site‐specific bases in 16S ribosomal RNA.
J Woodcock, D Moazed, M Cannon, J Davies, HF Noller
The EMBO journal 10 (10), 3099-3103, 1991
2751991
A brief history of Timed CSP
J Davies, S Schneider
Theoretical Computer Science 138 (2), 243-271, 1995
253*1995
Effects of control interventions on Clostridium difficile infection in England: an observational study
KE Dingle, X Didelot, TP Quan, DW Eyre, N Stoesser, T Golubchik, ...
The Lancet Infectious Diseases 17 (4), 411-421, 2017
2522017
Specification and proof in real time CSP
J Davies
Cambridge University Press, 1993
2251993
Specification and proof in real time CSP
J Davies
Cambridge University Press, 1993
2251993
Positive imagery-based cognitive bias modification as a web-based treatment tool for depressed adults: a randomized controlled trial
SE Blackwell, M Browning, A Mathews, A Pictet, J Welch, J Davies, ...
Clinical Psychological Science 3 (1), 91-111, 2015
1932015
Timed CSP: Theory and practice
S Schneider, J Davies, DM Jackson, GM Reed, JN Reed, AW Roscoe
Proceedings of the Real-Time: Theory in Practice, REX Workshop, 640-675, 1991
154*1991
Using z
J Woodcock, J Davies
Prentice-Hall, 1996
1211996
Specification, Refinement, and Proof
J Woodcock, J Davies
Series in Computer Science, Prentice Hall International, Upper Saddle River …, 1996
1171996
An Introduction to Timer CSP
J Davies, S Schneider
Oxford University Computing Laboratory, Programming Research Group, 1989
1091989
Mortality risks associated with emergency admissions during weekends and public holidays: an analysis of electronic health records
AS Walker, A Mason, TP Quan, NJ Fawcett, P Watkinson, M Llewelyn, ...
The Lancet 390 (10089), 62-72, 2017
1052017
Government information networks-mapping electronic governance cases through public administration concepts
T Janowski, TA Pardo, J Davies
Government Information Quarterly 29, S1-S10, 2012
912012
Tocilizumab in patients admitted to hospital with COVID-19 (RECOVERY): a randomised, controlled, open-label, platform trial
O Abani, A Abbas, F Abbas, M Abbas, S Abbasi, H Abbass, A Abbott, ...
The Lancet 397 (10285), 1637-1645, 2021
81*2021
On the refinement and simulation of data types and processes
C Bolton, J Davies, J Woodcock
IFM¢99, 273-292, 1999
771999
On the refinement and simulation of data types and processes
C Bolton, J Davies, J Woodcock
IFM¢99, 273-292, 1999
771999
Concurrency and refinement in the unified modeling language
J Davies, C Crichton
Electronic Notes in Theoretical Computer Science 70 (3), 217-243, 2002
732002
The system can't perform the operation now. Try again later.
Articles 1–20