The Singapore vision: an information-based economy. - Jim Davies (J. Inf. Sci., 1988)

Factorizing Proofs in Timed CSP. - Jim Davies; Steve A. Schneider (Mathematical Foundations of Programming Semantics, 1989)

Timed CSP: Theory and Practice. - Steve A. Schneider; Jim Davies; D. M. Jackson; George M. Reed; Joy N. Reed; A. W. Roscoe 001 (REX Workshop, 1991)

Specification and proof in real-time systems. - Jim Davies (1991)

Using CSP to Verify a Timed Protocol over a Fair Medium. - Jim Davies; Steve A. Schneider (CONCUR, 1992)

Broadcast Communication for Real-time Processes. - Jim Davies; Dave Jackson; Steve A. Schneider (FTRTFT, 1992)

Specification and proof in real-time CSP. - Jim Davies (Cambridge University Press, 1993)

Recursion Induction for Real-Time Processes. - Jim Davies; Steve A. Schneider (Formal Aspects Comput., 1993)

On the formal specification and verification of network routing algorithms. - Jim Davies; Matt Wallis (FORTE, 1994)

Towards a denotational semantics for ET-LOTOS. - Jeremy W. Bryans; Jim Davies; Steve A. Schneider (CONCUR, 1995)

Real-time LOTOS and Timed Observations. - Jim Davies; Jeremy W. Bryans; Steve A. Schneider (FORTE, 1995)

A Brief History of Timed CSP. - Jim Davies; Steve A. Schneider (Theor. Comput. Sci., 1995)

Using Z - specification, refinement, and proof. - J. C. P. Woodcock; Jim Davies (Prentice Hall, 1996)

Safety through Security. - Andrew Simpson 001; Jim Woodcock 001; Jim Davies (IWSSD, 1998)

On the Refinement and Simulation of Data Types and Processes. - Christie Bolton; Jim Davies; Jim Woodcock 001 (IFM, 1999)

When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. - Charles Crichton; Jim Davies; Jim Woodcock 001 (TOOLS (30), 1999)

Using CSP to Verify Sequential Consistency. - Gavin Lowe; Jim Davies (Distributed Comput., 1999)

Using Relational and Behavioural Semantics in the Verification of Object Models. - Christie Bolton; Jim Davies (FMOODS, 2000)

Activity Graphs and Processes. - Christie Bolton; Jim Davies (IFM, 2000)

Visual Analogy in Problem Solving. - Jim Davies; Ashok K. Goel 001 (IJCAI, 2001)

Distributed expertise for teaching computer organization & architecture. - Lillian (Boots) Cassel; Mark A. Holliday; Deepak Kumar 002; John Impagliazzo; Kevin Bolding; Murray Pearson; Jim Davies; Gregory S. Wolffe; William Yurcik (ACM SIGCSE Bull., 2001)

Refinement in Object-Z and CSP. - Christie Bolton; Jim Davies (IFM, 2002)

A comparison of refinement orderings and their associated simulation rules. - Christie Bolton; Jim Davies (Refine, 2002)

Concurrency and refinement in the UML. - Jim Davies; Charles Crichton (Refine, 2002)

Using State Diagrams to Describe Concurrent Behaviour. - Jim Davies; Charles Crichton (ICFEM, 2003)

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. - Andrew Simpson 001; Andrew P. Martin; Jeremy Gibbons; Jim Davies; Steve McKeever (ICSE, 2003)

Visual Case-Based Reasoning II: Transfer and Adaptation. - Jim Davies; Ashok K. Goel 001 (IICAI, 2003)

Concurrency and Refinement in the Unified Modeling Language. - Jim Davies; Charles Crichton (Formal Aspects Comput., 2003)

Using CSP. - Jim Davies (PSSE, 2004)

Teaching Formal Methods in Context. - Jim Davies; Andrew Simpson 001; Andrew P. Martin (TFM, 2004)

Formality, Evolution, and Model-driven Software Engineering. - Jim Davies; Charles Crichton; Edward Crichton; David Neilson; Ib Holm Sørensen (SBMF, 2004)

A method for the automatic generation of test suites from object models. - Alessandra Cavarra; Charles Crichton; Jim Davies (Inf. Softw. Technol., 2004)

Transfer of Problem-Solving Strategy Using the Cognitive Visual Language. - Jim Davies; Ashok K. Goel 001; Nancy J. Nersessian (DMS, 2005)

Transfer in Visual Case-Based Problem Solving. - Jim Davies; Ashok K. Goel 001; Nancy J. Nersessian (ICCBR, 2005)

A Cognitive Model of Visual Analogical Problem-Solving Transfer. - Jim Davies; Ashok K. Goel 001; Nancy J. Nersessian (IJCAI, 2005)

From Predicates to Programs: The Semantics of a Method Language. - David Faitelson; James Welch; Jim Davies (SBMF, 2005)

Replication Strategies for Reliable Decentralised Storage. - Matthew John Leslie; Jim Davies; Todd Huffman (ARES, 2006)

On the Generation of Object Databases using Booster. - Jim Davies; James Welch; Alessandra Cavarra; Edward Crichton (ICECCS, 2006)

Protein Structure Prediction with Visuospatial Analogy. - Jim Davies; Janice I. Glasgow; Tony Kuo (Spatial Cognition, 2006)

Visio-Spatial Case-Based Reasoning: A Case Study in Prediction of Protein Structure. - Jim Davies; Janice I. Glasgow; Tony Kuo (Comput. Intell., 2006)

Domain-specific Semantics and Data Refinement of Object Models. - Jim Davies; David Faitelson; James Welch (SBMF, 2006)

A singleton failures semantics for Communicating Sequential Processes. - Christie Bolton; Jim Davies (Formal Aspects Comput., 2006)

Protein Structure from Contact Maps: A Case-Based Reasoning Approach. - Janice I. Glasgow; Tony Kuo; Jim Davies (Inf. Syst. Frontiers, 2006)

A Comparison of Replication Strategies for Reliable Decentralised Storage. - Matthew John Leslie; Jim Davies; Todd Huffman (J. Networks, 2006)

Semantic frameworks for e-government. - Charles Crichton; Jim Davies; Jeremy Gibbons; Steve Harris; Aadya Shukla (ICEGOV, 2007)

Technological foundations of electronic governance. - Jim Davies; Tomasz Janowski; Adegboyega K. Ojo; Aadya Shukla (ICEGOV, 2007)

Model-driven architecture for cancer research. - Radu Calinescu; Steve Harris; Jeremy Gibbons; Jim Davies; Igor Toujilov; Sylvia B. Nagl (SEFM, 2007)

Transfer of problem-solving strategy using Covlan. - Jim Davies; Ashok K. Goel 001 (J. Vis. Lang. Comput., 2007)

WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. - Tianyi Zang; Radu Calinescu; Steve Harris; Andrew Tsui; Marta Z. Kwiatkowska; Jeremy Gibbons; Jim Davies; Peter Maccallum; Carlos Caldas (CCGRID, 2008)

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. - Tianyi Zang; Radu Calinescu; Steve Harris; Andrew Tsui; Charles Crichton; Marta Z. Kwiatkowska; Jeremy Gibbons; Jim Davies; James D. Brenton; Carlos Caldas (eScience, 2008)

Metadata standards for semantic interoperability in electronic government. - Jim Davies; Steve Harris; Charles Crichton; Aadya Shukla; Jeremy Gibbons (ICEGOV, 2008)

Semantic technologies in electronic government. - Steve Harris; Jeremy Gibbons; Jim Davies; Andrew Tsui; Charles Crichton (ICEGOV, 2008)

Proteus: Visuospatial analogy in problem-solving. - Jim Davies; Ashok K. Goel 001; Patrick W. Yaner (Knowl. Based Syst., 2008)

Automatic maintenance of association invariants. - James Welch; David Faitelson; Jim Davies (Softw. Syst. Model., 2008)

GNU Scientific Library - Reference Manual, Third Edition, for GSL Version 1.12. - Mark Galassi; Jim Davies; James Theiler; Brian Gough; Gerard Jungman (Network Theory Ltd, 2009)

Semantics-Driven Development for Electronic Government Applications. - Charles Crichton; Jim Davies; Jeremy Gibbons; Steve Harris; Aadya Shukla; Andrew Tsui (HICSS, 2009)

Metadata-driven software for clinical trials. - Charles Crichton; Jim Davies; Jeremy Gibbons; Steve Harris; Andrew Tsui; James D. Brenton (SEHC@ICSE, 2009)

Towards a Model-Driven Approach to Information System Evolution. - Mohammed A. Aboulsamh; Jim Davies (ISD, 2009)

A computational model of visual analogies in design. - Jim Davies; Ashok K. Goel 001; Nancy J. Nersessian (Cogn. Syst. Res., 2009)

Formal methods for future interoperability. - Jim Davies; Jeremy Gibbons (ACM SIGCSE Bull., 2009)

Estimating Quantitative Magnitudes Using Semantic Similarity. - Jim Davies; Jonathan Gagné (Visual Representations and Reasoning, 2010)

Are Pixel Graphs Are Better at Representing Information than Pie Graphs? - Jolie Bell; Jim Davies (Diagrams, 2010)

The Graduate Student Symposium of Diagrams 2010. - Jim Davies (Diagrams, 2010)

Modelling English Spatial Preposition Detectors. - Connor Smith; Allen Cybulskie; Nic Di Noia; Janine Fitzpatrick; Jobina Li; Korey MacDougall; Xander Miller; Jeanne-Marie Musca; Jennifer Nutall; Kathy Van Bentham; Jim Davies (Diagrams, 2010)

Towards a Framework for Security in eScience. - Andrew P. Martin; Jim Davies; Steve Harris (eScience, 2010)

Model-Driven Data Migration. - Mohammed A. Aboulsamh; Edward Crichton; Jim Davies; James Welch (ER Workshops, 2010)

Semantic Interoperability in Practice. - Aadya Shukla; Steve Harris; Jim Davies (HICSS, 2010)

Semantic Frameworks - Meanings in the Architecture. - Jim Davies; Jeremy Gibbons (ICDCIT, 2010)

A Metamodel-Based Approach to Information Systems Evolution and Data Migration. - Mohammed A. Aboulsamh; Jim Davies (ICSEA, 2010)

A Guarded Workflow Language and Its Formal Semantics. - Chen-Wei Wang; Jim Davies; James Welch (TASE, 2010)

A Formal Modeling Approach to Information Systems Evolution and Data Migration. - Mohammed A. Aboulsamh; Jim Davies (BMMDS/EMMSAD, 2011)

Using semantic similarity to predict angle and distance of objects in images. - Sterling Somers; Jonathan Gagné; César A. Astudillo; Jim Davies (Creativity & Cognition, 2011)

What Makes an Explanation Believable?: Mechanistic and Anthropomorphic Explanations of Natural Phenomena. - Jordan R. Schoenherr; Robert Thomson 001; Jim Davies (CogSci, 2011)

Form Follows Function - Model-Driven Engineering for Clinical Trials. - Jim Davies; Jeremy Gibbons; Radu Calinescu; Charles Crichton; Steve Harris; Andrew Tsui (FHIES, 2011)

Imagination: The third reality to the virtuality continuum. - Christopher B. Stapleton; Jim Davies (ISMAR-AMH, 2011)

Specification and Verification of Model-Driven Data Migration. - Mohammed A. Aboulsamh; Jim Davies (MEDI, 2011)

Models for forms. - Daniel Abler; Charles Crichton; James Welch; Jim Davies; Steve Harris (SPLASH Workshops, 2011)

Formal and Model-Based Testing of Concurrent Workflows. - Chen-Wei Wang; Alessandra Cavarra; Jim Davies (QSIC, 2011)

Economies and diseconomies of scale in software development. - Craig Comstock; Zhizhong Jiang; Jim Davies (J. Softw. Maintenance Res. Pract., 2011)

CSP (Communicating Sequential Processes). - A. W. Roscoe 001; Jim Davies (Encyclopedia of Parallel Computing, 2011)

Machine learning and software engineering in health informatics. - David A. Clifton; Jeremy Gibbons; Jim Davies; Lionel Tarassenko (RAISE@ICSE, 2012)

Compositionality and Refinement in Model-Driven Engineering. - Jim Davies; Jeremy Gibbons; David Milward; James Welch (SBMF, 2012)

Formal Model-Driven Engineering: Generating Data and Behavioural Components - Chen-Wei Wang; Jim Davies (FTSCS, 2012)

Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts. - Tomasz Janowski; Theresa A. Pardo; Jim Davies (Gov. Inf. Q., 2012)

Erratum to "Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts" [Government Information Quarterly 29S1 (2012) 1-10]. - Tomasz Janowski; Theresa A. Pardo; Jim Davies (Gov. Inf. Q., 2012)

Taxonomy-Based Glyph Design - with a Case Study on Visualizing Workflows of Biological Experiments. - Eamonn Maguire; Philippe Rocca-Serra; Susanna-Assunta Sansone; Jim Davies; Min Chen 001 (IEEE Trans. Vis. Comput. Graph., 2012)

Structure and aesthetics in non-photorealistic images. - Hua Li 006; David Mould; Jim Davies (Graphics Interface, 2013)

Introduction to Electronic Government Education, Training and Professionalization Minitrack. - Tomasz Janowski; Wojciech Cellary; Jim Davies (HICSS, 2013)

A Formal Model for RDF Dataset Constraints. - Harold R. Solbrig; Eric Prud'hommeaux; Christopher G. Chute; Jim Davies (JIST, 2013)

A metadata-aware application for remote scoring and exchange of tissue microarray images. - Lorna Morris; Andrew Tsui; Charles Crichton; Steve Harris; Peter Maccallum; William J. Howat; Jim Davies; James D. Brenton; Carlos Caldas (BMC Bioinform., 2013)

Visuo: A model of visuospatial instantiation of quantitative magnitudes. - Jonathan Gagné; Jim Davies (Knowl. Eng. Rev., 2013)

Visual Compression of Workflow Visualizations with Automated Detection of Macro Motifs. - Eamonn Maguire; Philippe Rocca-Serra; Susanna-Assunta Sansone; Jim Davies; Min Chen 001 (IEEE Trans. Vis. Comput. Graph., 2013)

Compression and Decompression in Cognition. - Michael O. Vertolli; Matthew A. Kelly; Jim Davies (AGI, 2014)

Theoretical Assessment of the SOILIE Model of the Human Imagination. - Michael O. Vertolli; Vincent Breault; Sébastien Ouellet; Sterling Somers; Jonathan Gagné; Jim Davies (CogSci, 2014)

Coherence in the Visual Imagination: Local Hill Search Outperforms Thagard's Connectionist Model. - Michael O. Vertolli; Jim Davies (CogSci, 2014)

Introduction to E-Government Education Minitrack. - Elsa Estevez; Wojciech Cellary; Jim Davies (HICSS, 2014)

Coherence Net - A New Model of Generative Cognition. - Michael O. Vertolli; Jim Davies (IJCCI (ECTA), 2014)

Transforming Lives Through Story Immersion: Innovation of Aphasia Rehabilitation Therapy through Storytelling Learning Landscapes. - Christopher B. Stapleton; Janet D. Whiteside; Jim Davies; Dana S. Mott; Jennifer Vick (ImmersiveMe@MM, 2014)

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. - Jim Davies; Jeremy Gibbons; Steve Harris; Charles Crichton (Sci. Comput. Program., 2014)

Model-driven engineering of information systems: 10 years and 1000 versions. - Jim Davies; Jeremy Gibbons; James Welch; Edward Crichton (Sci. Comput. Program., 2014)

Introspect Model: Competency Assessment in the Virtual World. - Katherine Lamb; Martijn Boosman; Jim Davies (ISCRAM, 2015)

Domain specific modelling for clinical research. - Jim Davies; Jeremy Gibbons; Adam Milward; David Milward; Seyyed Shah; Monika Solanki; James Welch (DSM@SPLASH, 2015)

Quanty: An online game for eliciting the wisdom of the crowd. - Wahida Chowdhury; Christopher Burt; Ahmad Akkaoui; Jim Davies (Comput. Hum. Behav., 2015)

Formal model-driven engineering of critical information systems. - Jim Davies; David Milward; Chen-Wei Wang; James Welch (Sci. Comput. Program., 2015)

The Charon Model of Moral Judgment. - Deirdre Kelly; Jim Davies (CogSci, 2016)

Identifying and individuating cognitive systems: a task-based distributed cognition alternative to agent-based extended cognition. - Jim Davies; Kourken Michaelian (Cogn. Process., 2016)

What is Learning? A Definition for Cognitive Science. - Jim Davies (CogSci, 2017)

The Motor System Does Not Use a Curvilinear Impetus Belief: Folk Physics and Embodied Cognition. - Jay Jennings; Jim Davies (CogSci, 2017)

Spiritual and Affective Responses to a Physical Church and Corresponding Virtual Model. - Matt Murdoch; Jim Davies (Cyberpsychology Behav. Soc. Netw., 2017)

Image Quality Assessment Techniques Show Improved Training and Evaluation of Autoencoder Generative Adversarial Networks. - Michael O. Vertolli; Jim Davies (CoRR, 2017)

Coherence in the Visual Imagination. - Michael O. Vertolli; Matthew A. Kelly; Jim Davies (Cogn. Sci., 2018)

A formal, scalable approach to semantic interoperability. - Jim Davies; James Welch; David Milward; Steve Harris (Sci. Comput. Program., 2020)

Can Researchers Assess the Suitability of Datasets to Answer Their Research Questions, with Access to Metadata Only? - George Tilston; Richard Williams 001; Emily Griffiths; Sarah Al-Adely; Saskia Lawson-Tovey; William Hulme; Andrea Short; Jim Davies; James Welch; Niels Peek (MedInfo, 2021)

Let CONAN tell you a story: Procedural quest generation. - Vincent Breault; Sébastien Ouellet; Jim Davies (Entertain. Comput., 2021)

The Neural Correlates of Analogy Component Processes. - John-Dennis Parsons; Jim Davies (Cogn. Sci., 2022)

Investigating an Ontology-Informed Approach to Event Log Generation in Healthcare. - Owen P. Dwyer; Lara Chammas; Emanuel Sallinger; Jim Davies (ICPM Workshops, 2023)

Reasoning over Health Records with Vadalog: a Rule-based Approach to Patient Pathways. - Owen P. Dwyer; Teodoro Baldazzi; Jim Davies; Emanuel Sallinger; Adriano Vlad (RuleML+RR (Companion), 2023)

Care records and healthcare processes: adding context to clinical codes. - Lara Chammas; Owen P. Dwyer; Emanuel Sallinger; Jim Davies; Eva Ja Morris (HICSS, 2024)