Jim Davies
Jim Davies
E-mail megerősítve itt: cs.ox.ac.uk - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Using Z: Specification ‚Refinement ‚and Proof
J Woodcock, J Davies
Prentice Hall International, 1996
19291996
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
2632014
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
2442016
A brief history of Timed CSP
J Davies, S Schneider
Theoretical Computer Science 138 (2), 243-271, 1995
244*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
2132017
Specification and proof in real time CSP
J Davies
Cambridge University Press, 1993
1711993
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
1542015
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
146*1991
An Introduction to Timer CSP
J Davies, S Schneider
Oxford University Computing Laboratory, Programming Research Group, 1989
1041989
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
872017
Government information networks-mapping electronic governance cases through public administration concepts
T Janowski, TA Pardo, J Davies
Government Information Quarterly 29, S1-S10, 2012
812012
On the refinement and simulation of data types and processes
C Bolton, J Davies, J Woodcock
IFM’99, 273-292, 1999
701999
On the refinement and simulation of data types and processes
C Bolton, J Davies, J Woodcock
IFM’99, 273-292, 1999
701999
Concurrency and refinement in the unified modeling language
J Davies, C Crichton
Electronic Notes in Theoretical Computer Science 70 (3), 217-243, 2002
682002
Taxonomy-based glyph design—with a case study on visualizing workflows of biological experiments
E Maguire, P Rocca-Serra, SA Sansone, J Davies, M Chen
IEEE Transactions on Visualization and Computer Graphics 18 (12), 2603-2612, 2012
652012
Using UML for automatic test generation
A Cavarra, C Crichton, J Davies, A Hartman, L Mounier
Proceedings of ISSTA 15, 2002
612002
Specification and proof in real-time systems.
J Davies
University of Oxford, 1991
531991
Activity graphs and processes
C Bolton, J Davies
International Conference on Integrated Formal Methods, 77-96, 2000
482000
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
J Davies, W Schulte, M Barnett
Springer, 2004
432004
A brief history of Timed CSP
J Davies, S Schneider
University of Oxford, Computer Laboratory Programming Research Group, 1992
401992
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20