Jim Davies

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 19

Top Venues

CogSci

Sci. Comput. Program.

CoRR

HICSS

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Lara Chammas, Owen P. Dwyer, Emanuel Sallinger, Jim Davies, Eva Ja Morris
Care records and healthcare processes: adding context to clinical codes. HICSS (2024)
Owen P. Dwyer, Lara Chammas, Emanuel Sallinger, Jim Davies
Investigating an Ontology-Informed Approach to Event Log Generation in Healthcare. ICPM Workshops (2023)
Owen P. Dwyer, Teodoro Baldazzi, Jim Davies, Emanuel Sallinger, Adriano Vlad
Reasoning over Health Records with Vadalog: a Rule-based Approach to Patient Pathways. RuleML+RR (Companion) (2023)
John-Dennis Parsons, Jim Davies
The Neural Correlates of Analogy Component Processes. Cogn. Sci. 46 (3) (2022)
George Tilston, Richard Williams, Emily Griffiths, Sarah Al-Adely, Saskia Lawson-Tovey, William Hulme, Andrea Short, Jim Davies, James Welch, Niels Peek
Can Researchers Assess the Suitability of Datasets to Answer Their Research Questions, with Access to Metadata Only? MedInfo (2021)
Vincent Breault, Sébastien Ouellet, Jim Davies
Let CONAN tell you a story: Procedural quest generation. Entertain. Comput. 38 (2021)
Jim Davies, James Welch, David Milward, Steve Harris
A formal, scalable approach to semantic interoperability. Sci. Comput. Program. 192 (2020)
Vincent Breault, Sébastien Ouellet, Jim Davies
Let CONAN tell you a story: Procedural quest generation. CoRR (2018)
Michael O. Vertolli, Matthew A. Kelly, Jim Davies
Coherence in the Visual Imagination. Cogn. Sci. 42 (3) (2018)
Matt Murdoch, Jim Davies
Spiritual and Affective Responses to a Physical Church and Corresponding Virtual Model. Cyberpsychology Behav. Soc. Netw. 20 (11) (2017)
Jay Jennings, Jim Davies
The Motor System Does Not Use a Curvilinear Impetus Belief: Folk Physics and Embodied Cognition. CogSci (2017)
Michael O. Vertolli, Jim Davies
Image Quality Assessment Techniques Show Improved Training and Evaluation of Autoencoder Generative Adversarial Networks. CoRR (2017)
Jim Davies
What is Learning? A Definition for Cognitive Science. CogSci (2017)
Deirdre Kelly, Jim Davies
The Charon Model of Moral Judgment. CogSci (2016)
Jim Davies, Kourken Michaelian
Identifying and individuating cognitive systems: a task-based distributed cognition alternative to agent-based extended cognition. Cogn. Process. 17 (3) (2016)
Katherine Lamb, Martijn Boosman, Jim Davies
Introspect Model: Competency Assessment in the Virtual World. ISCRAM (2015)
Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch
Domain specific modelling for clinical research. DSM@SPLASH (2015)
Wahida Chowdhury, Christopher Burt, Ahmad Akkaoui, Jim Davies
Quanty: An online game for eliciting the wisdom of the crowd. Comput. Hum. Behav. 49 (2015)
Jim Davies, David Milward, Chen-Wei Wang, James Welch
Formal model-driven engineering of critical information systems. Sci. Comput. Program. 103 (2015)
Michael O. Vertolli, Matthew A. Kelly, Jim Davies
Compression and Decompression in Cognition. AGI (2014)
Jim Davies, Jeremy Gibbons, Steve Harris, Charles Crichton
The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. Sci. Comput. Program. 89 (2014)
Michael O. Vertolli, Vincent Breault, Sébastien Ouellet, Sterling Somers, Jonathan Gagné, Jim Davies
Theoretical Assessment of the SOILIE Model of the Human Imagination. CogSci (2014)
Christopher B. Stapleton, Janet D. Whiteside, Jim Davies, Dana S. Mott, Jennifer Vick
Transforming Lives Through Story Immersion: Innovation of Aphasia Rehabilitation Therapy through Storytelling Learning Landscapes. ImmersiveMe@MM (2014)
Elsa Estevez, Wojciech Cellary, Jim Davies
Introduction to E-Government Education Minitrack. HICSS (2014)
Michael O. Vertolli, Jim Davies
Coherence in the Visual Imagination: Local Hill Search Outperforms Thagard's Connectionist Model. CogSci (2014)
Michael O. Vertolli, Jim Davies
Coherence Net - A New Model of Generative Cognition. IJCCI (ECTA) (2014)
Jim Davies, Jeremy Gibbons, James Welch, Edward Crichton
Model-driven engineering of information systems: 10 years and 1000 versions. Sci. Comput. Program. 89 (2014)
Tomasz Janowski, Wojciech Cellary, Jim Davies
Introduction to Electronic Government Education, Training and Professionalization Minitrack. HICSS (2013)
Hua Li, David Mould, Jim Davies
Structure and aesthetics in non-photorealistic images. Graphics Interface (2013)
Eamonn Maguire, Philippe Rocca-Serra, Susanna-Assunta Sansone, Jim Davies, Min Chen
Visual Compression of Workflow Visualizations with Automated Detection of Macro Motifs. IEEE Trans. Vis. Comput. Graph. 19 (12) (2013)
Jonathan Gagné, Jim Davies
Visuo: A model of visuospatial instantiation of quantitative magnitudes. Knowl. Eng. Rev. 28 (3) (2013)
Lorna Morris, Andrew Tsui, Charles Crichton, Steve Harris, Peter Maccallum, William J. Howat, Jim Davies, James D. Brenton, Carlos Caldas
A metadata-aware application for remote scoring and exchange of tissue microarray images. BMC Bioinform. 14 (2013)
Harold R. Solbrig, Eric Prud'hommeaux, Christopher G. Chute, Jim Davies
A Formal Model for RDF Dataset Constraints. JIST (2013)
David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko
Machine learning and software engineering in health informatics. RAISE@ICSE (2012)
Chen-Wei Wang, Jim Davies
Formal Model-Driven Engineering: Generating Data and Behavioural Components FTSCS (2012)
Tomasz Janowski, Theresa A. Pardo, Jim Davies
Erratum to "Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts" [Government Information Quarterly 29S1 (2012) 1-10]. Gov. Inf. Q. 29 (2) (2012)
Tomasz Janowski, Theresa A. Pardo, Jim Davies
Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts. Gov. Inf. Q. 29 (Supplement-1) (2012)
Jim Davies, Jeremy Gibbons, David Milward, James Welch
Compositionality and Refinement in Model-Driven Engineering. SBMF (2012)
Eamonn Maguire, Philippe Rocca-Serra, Susanna-Assunta Sansone, Jim Davies, Min Chen
Taxonomy-Based Glyph Design - with a Case Study on Visualizing Workflows of Biological Experiments. IEEE Trans. Vis. Comput. Graph. 18 (12) (2012)
Jordan R. Schoenherr, Robert Thomson, Jim Davies
What Makes an Explanation Believable?: Mechanistic and Anthropomorphic Explanations of Natural Phenomena. CogSci (2011)
Craig Comstock, Zhizhong Jiang, Jim Davies
Economies and diseconomies of scale in software development. J. Softw. Maintenance Res. Pract. 23 (8) (2011)
Chen-Wei Wang, Alessandra Cavarra, Jim Davies
Formal and Model-Based Testing of Concurrent Workflows. QSIC (2011)
Mohammed A. Aboulsamh, Jim Davies
A Formal Modeling Approach to Information Systems Evolution and Data Migration. BMMDS/EMMSAD (2011)
Sterling Somers, Jonathan Gagné, César A. Astudillo, Jim Davies
Using semantic similarity to predict angle and distance of objects in images. Creativity & Cognition (2011)
Christopher B. Stapleton, Jim Davies
Imagination: The third reality to the virtuality continuum. ISMAR-AMH (2011)
Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui
Form Follows Function - Model-Driven Engineering for Clinical Trials. FHIES (2011)
Daniel Abler, Charles Crichton, James Welch, Jim Davies, Steve Harris
Models for forms. SPLASH Workshops (2011)
Mohammed A. Aboulsamh, Jim Davies
Specification and Verification of Model-Driven Data Migration. MEDI (2011)
Jim Davies, Jonathan Gagné
Estimating Quantitative Magnitudes Using Semantic Similarity. Visual Representations and Reasoning (2010)
Aadya Shukla, Steve Harris, Jim Davies
Semantic Interoperability in Practice. HICSS (2010)
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
Modelling English Spatial Preposition Detectors. Diagrams (2010)
Jim Davies
The Graduate Student Symposium of Diagrams 2010. Diagrams (2010)
Jim Davies, Jeremy Gibbons
Semantic Frameworks - Meanings in the Architecture. ICDCIT (2010)
Chen-Wei Wang, Jim Davies, James Welch
A Guarded Workflow Language and Its Formal Semantics. TASE (2010)
Mohammed A. Aboulsamh, Edward Crichton, Jim Davies, James Welch
Model-Driven Data Migration. ER Workshops (2010)
Mohammed A. Aboulsamh, Jim Davies
A Metamodel-Based Approach to Information Systems Evolution and Data Migration. ICSEA (2010)
Jolie Bell, Jim Davies
Are Pixel Graphs Are Better at Representing Information than Pie Graphs? Diagrams (2010)
Andrew P. Martin, Jim Davies, Steve Harris
Towards a Framework for Security in eScience. eScience (2010)
Jim Davies, Ashok K. Goel, Nancy J. Nersessian
A computational model of visual analogies in design. Cogn. Syst. Res. 10 (3) (2009)
Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui
Semantics-Driven Development for Electronic Government Applications. HICSS (2009)
Jim Davies, Jeremy Gibbons
Formal methods for future interoperability. ACM SIGCSE Bull. 41 (2) (2009)
Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James D. Brenton
Metadata-driven software for clinical trials. SEHC@ICSE (2009)
Mohammed A. Aboulsamh, Jim Davies
Towards a Model-Driven Approach to Information System Evolution. ISD (2009)
Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton
Semantic technologies in electronic government. ICEGOV (2008)
James Welch, David Faitelson, Jim Davies
Automatic maintenance of association invariants. Softw. Syst. Model. 7 (3) (2008)
Jim Davies, Ashok K. Goel, Patrick W. Yaner
Proteus: Visuospatial analogy in problem-solving. Knowl. Based Syst. 21 (7) (2008)
Jim Davies, David Faitelson, James Welch
Domain-specific Semantics and Data Refinement of Object Models. Electron. Notes Theor. Comput. Sci. 195 (2008)
Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos Caldas
Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience (2008)
Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons
Metadata standards for semantic interoperability in electronic government. ICEGOV (2008)
Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID (2008)
Jim Davies, Ashok K. Goel
Transfer of problem-solving strategy using Covlan. J. Vis. Lang. Comput. 18 (2) (2007)
Jim Davies, Tomasz Janowski, Adegboyega K. Ojo, Aadya Shukla
Technological foundations of electronic governance. ICEGOV (2007)
David Faitelson, James Welch, Jim Davies
From Predicates to Programs: The Semantics of a Method Language. Electron. Notes Theor. Comput. Sci. 184 (2007)
Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla
Semantic frameworks for e-government. ICEGOV (2007)
Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl
Model-driven architecture for cancer research. SEFM (2007)
Christie Bolton, Jim Davies
A singleton failures semantics for Communicating Sequential Processes. Formal Aspects Comput. 18 (2) (2006)
Matthew John Leslie, Jim Davies, Todd Huffman
Replication Strategies for Reliable Decentralised Storage. ARES (2006)
Jim Davies, Janice I. Glasgow, Tony Kuo
Protein Structure Prediction with Visuospatial Analogy. Spatial Cognition (2006)
Matthew John Leslie, Jim Davies, Todd Huffman
A Comparison of Replication Strategies for Reliable Decentralised Storage. J. Networks 1 (6) (2006)
Jim Davies, Janice I. Glasgow, Tony Kuo
Visio-Spatial Case-Based Reasoning: A Case Study in Prediction of Protein Structure. Comput. Intell. 22 (3-4) (2006)
Janice I. Glasgow, Tony Kuo, Jim Davies
Protein Structure from Contact Maps: A Case-Based Reasoning Approach. Inf. Syst. Frontiers 8 (1) (2006)
Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton
On the Generation of Object Databases using Booster. ICECCS (2006)
Jim Davies, Ashok K. Goel, Nancy J. Nersessian
A Cognitive Model of Visual Analogical Problem-Solving Transfer. IJCAI (2005)
Jim Davies, Ashok K. Goel, Nancy J. Nersessian
Transfer of Problem-Solving Strategy Using the Cognitive Visual Language. DMS (2005)
Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen
Formality, Evolution, and Model-driven Software Engineering. Electron. Notes Theor. Comput. Sci. 130 (2005)
Jim Davies, Ashok K. Goel, Nancy J. Nersessian
Transfer in Visual Case-Based Problem Solving. ICCBR (2005)
James Welch, David Faitelson, Jim Davies
Automatic Maintenance of Association Invariants. SEFM (2005)
Jim Davies, Andrew Simpson, Andrew P. Martin
Teaching Formal Methods in Context. TFM (2004)
Jim Davies
Using CSP. PSSE (2004)
Alessandra Cavarra, Charles Crichton, Jim Davies
A method for the automatic generation of test suites from object models. Inf. Softw. Technol. 46 (5) (2004)
Jim Davies, Charles Crichton, Alessandra Cavarra
A Method for the Automatic Generation of Test Suites from Object Models. SAC (2003)
Jim Davies, Charles Crichton
Using State Diagrams to Describe Concurrent Behaviour. ICFEM (2003)
Jim Davies, Ashok K. Goel
Visual Case-Based Reasoning II: Transfer and Adaptation. IICAI (2003)
Jim Davies, Charles Crichton
Concurrency and Refinement in the Unified Modeling Language. Formal Aspects Comput. 15 (2-3) (2003)
Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. ICSE (2003)
Jim Davies, Charles Crichton
Concurrency and refinement in the UML. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Christie Bolton, Jim Davies
A comparison of refinement orderings and their associated simulation rules. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Christie Bolton, Jim Davies
Refinement in Object-Z and CSP. IFM (2002)
Lillian (Boots) Cassel, Mark A. Holliday, Deepak Kumar, John Impagliazzo, Kevin Bolding, Murray Pearson, Jim Davies, Gregory S. Wolffe, William Yurcik
Distributed expertise for teaching computer organization & architecture. ACM SIGCSE Bull. 33 (2) (2001)
Jim Davies, Ashok K. Goel
Visual Analogy in Problem Solving. IJCAI (2001)

Jim Davies.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jim Davies